0
Математическая логика и теория алгоритмов
Информация о книге:

Издательство: НГТУ

Год: 2012

ISBN: 978-5-7782-1838-3

Кол-во страниц: 254

Формат: pdf

Математическая логика и теория алгоритмов: учебник

Судоплатов С. В. , Овчинникова Е. В.

Серия Учебники НГТУ

(0)

Порекомендовать в соцсетях

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