- Добавил: M5662
- Дата: 27-10-2016, 17:01
- Комментариев: 0
Название: Математическая логика и теория алгоритмов
Автор: Судоплатов С.В., Овчинникова Б.В.
Издательство: М.: Инфра-М; Новосибирск: НГТУ
Год: 2004
Страниц: 224
ISBN: 5-16-001975-8, 5-7782-0458-2
Формат: PDF
Размер: 20.4 Мб
Язык: русский
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик.