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

В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.

Название: Математическая логика и теория алгоритмов
Серия: Высшее образование
Авторы: Судоплатов С.В., Овчинникова Б.В.
Издательство: М.: Инфра-М; Новосибирск: НГТУ
Год издания: 2004
Качество: Хорошее
Страниц: 224
Формат: PDF
Язык: Русский
Размер: 17.6 Mb