расширенный поиск

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

учебник, ВУЗ

Товар отсутствует
Узнать о поступлении

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

Читать далее