Подробное описание документа

Судоплатов С. В., Овчинникова Е. В.
   Математическая логика и теория алгоритмов : учебник / Судоплатов С. В., Овчинникова Е. В. ; Новосибирский гос. техн. ун-т. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2008. - 223 с. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4.

В книге излагаются основные исчисления математической логики:исчисления высказываний и исчисления предикатов;основы теории моделей и теории алгоритмов,а также элементы неклассических логик.
Для студентов младших курсов технических вузов,изучающих математическую логику и теорию алгоритмов.

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика - Учебники и пособия
• Алгоритмы - Учебники и пособия

Общее кол-во в фондах

3 экз.

Заказать на абонемент

Заказать в читальный зал

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Судоплатов С. В., Овчинникова Е. В.
   Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.: с. 224-226. - ISBN 978-5-7782-1838-3.

Читать онлайн

Кол-во в фондах 2 экз.

подробнее