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