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