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