ЭБС "КОНСУЛЬТАНТ СТУДЕНТА"
Студенческая электронная библиотека

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

Для каталогаГурова Л.М., Математическая логика и теория алгоритмов [Электронный ресурс] : Учебное пособие / Гурова Л.М., Зайцева Е.В. - М: Издательство Московского государственного горного университета, 2006. - ISBN 5-7418-0451-9 - Режим доступа: http://www.studentlibrary.ru/book/ISBN5741804519.html
АвторыГурова Л.М., Зайцева Е.В.
ИздательствоГорная книга
Тип изданияучебное пособие
Год издания2006
ПрототипЭлектронное издание на основе: Математическая логика и теория алгоритмов [Электронный ресурс] / Гурова Л.М., Зайцева Е.В. - М. : Горная книга, 2006. - ISBN 5-7418-0451-9.
Озвучить текст
АннотацияИзложен материал основного курса "Математическая логика и теория алгоритмов", читаемого на факультете "Автоматизации и информатики (АИ)" МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 "Информатика и вычислительная техника", специальности 220200 "Автоматизированные системы обработки информации и управления".
Загружено 2014-04-30 12:00:00