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