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

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

Товар № 1840710

учебник, ВУЗ

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

Издательство: Инфра-М

Вес: 0.320 кг.

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

Страниц: 224 Переплет: Твердый переплет

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

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

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