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

Гурова Л. М., Зайцева Е. В.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Гурова Л. М., Зайцева Е. В. ; Моск. гос. горный ун-т. - М. : Изд-во Моск. гос. горн. ун-та, 2006. - 261 с. - (Высшее горное образование). - Библиогр.: с. 259. - ISBN 5-7418-0451-9. - ISBN 918-5-7418-0451-3.

Аннотация

Изложен материал основного курса "Математическая логика и теория алгоритмов",читаемого на факультете "Автоматизации и информатики(АИ) МГГУ:основные понятия,относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов,элементы теории множеств,основы теории моделей и алгоритмов,показано практическое использование алгебры к задачам математической логики,
Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника»,специальности 220200 «Автоматизированные системы обработки информации и управления».

УДК

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

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

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

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

2 экз.

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