Математическая логика и теория алгоритмов
Гурова Л.М., Зайцева Е.В.
Изложен материал основного курса «Математическая логика и теория алго¬ритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».;Гриф:Допущено Учебно-методическим объединением вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Рік:
2006
Видавництво:
Издательство "Горная книга"
Мова:
russian
Сторінки:
262
ISBN 10:
5741804519
ISBN 13:
9785741804513
Файл:
PDF, 2.66 MB
IPFS:
,
russian, 2006