ВУЗ:
Составители:
Рубрика:
Математическая Логика и Теория Алгоритмов стр. 2 из 64
© 2003 Галуев Геннадий Анатольевич
УДК 681.3.067(075.8)
Галуев Г. А. Математическая Логика и Теория Алгоритмов Учебно-
Методическое пособие. Таганрог: Изд-во ТРТУ 2003. – 65 с.
В настоящем пособии изложены основные законы и теоремы математи-
ческой логики лежащей в основе современной теории алгоритмов, а также
задачи по теории множеств.
Пособие предназначено для изучения лекционных курсов «Математи-
ческая
Логика и Теория Алгоритмов» студентам специальности 07500
Табл. 5. Ил. 7. Библиогр. : 8 назв.
Рецензент: И. А. Каляев
Д.т.н., профессор, Директор НИИ МВС.
