Обложка книги Математическая логика и теория алгоритмов. Учебник

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

,

ISBN: 978-5-16-001975-8; 978-5-7782-0458-4; 5-16-001975-8;
Серия:
Издательство: Инфра-М
Страниц: 224

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