Судоплатов С.В., Овчинникова Б.В. - Математическая логика и теория алгоритмов. Учебник
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
Название: Математическая логика и теория алгоритмов Серия: Высшее образование Авторы: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год издания: 2004 Качество: Хорошее Страниц: 224 Формат: PDF Язык: Русский Размер: 17.6 Mb
Скачать "Математическая логика и теория алгоритмов. Учебник":
