КОД (ISBN):
978-5-16-001975-8

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

Товар № 2099880

учебник, ВУЗ

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

Издательство: Инфра-М, НГТУ

Вес: 0.340 кг.

Год издания: 2008

Страниц: 224

Товар отсутствует

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

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