Издательство: Инфра-М,Новосибирский государственный технический университет (НГТУ), 2008
Переплёт: Твердый переплет, 224 страницы
Серия: Высшее образование
Категория: Учебная литература
ISBN: 978-5-16-001975-8, 978-5-7782-0458-4
Тираж: 3000
📒 В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.