X
Расширенный поиск
Все разделы
Корзина
у вас нет товаров
Математическая логика и теория алгоритмов Гурова Л.М., Зайцева Е.В.

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

Авторы:
Издательство: Горная книга
ISBN 5-7418-0451-9; 2006 г.
Кол-во страниц: 262
Гриф: Допущено Учебно-методическим объединением вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».

Положить в корзину

Предварительный просмотр:

О книге:

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

Вверх