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