Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов

Учебник — М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. — 224 с. — (Высшее образование). — ISBN: 5-16-001975-8, 5-7782-0458-2 В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик.
Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов. Оглавление
Предиcловие
Введение
Исчиcление высказываний
Лоrика и исчисления предикатов
Элементы теории моделей
Элементы теории алrоритмов
Нeклaссичеcкие логики
Список литeратуры
Предметный указатель