Личный кабинет


Д10-20/83892
51/Г 186
Гамова, Алла Николаевна. Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского. - 4-е изд., доп. - Саратов : Изд-во Саратовского ун-та, 2020. - 87, [3] с. - Библиогр. в конце кн. - 100 экз. - ISBN 978-5-292-04648-6 : 100 р. - Текст (визуальный) : непосредственный.
ГРНТИ УДК
27.03.19510

Рубрики:
Математическая логика
Алгоритмы

Кл.слова (ненормированные): аксиоматический метод -- исчисление высказываний -- исчисление предикатов -- машины тьюринга -- сложность вычислений
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
Доп. точки доступа:
Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского
Экз-ры полностью Д10-20/83892
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)