8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (39597)
Высшее образование
Естественные науки (2579)
Естественные науки
Общественные науки (3163)
Общественные науки
Информатика и компьютерные технологии (4253)
Информатика и компьютерные технологии
Инженерное дело (1408)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1360)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (634)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4221)
Юридические науки.Право
Отрасли права (2689)
Отрасли права
Гуманитарные науки (6042)
Гуманитарные науки
Экономика. Экономические науки (6613)
Экономика. Экономические науки
Образование. Педагогические науки (3351)
Образование. Педагогические науки
Медицина и здравоохранение (951)
Медицина и здравоохранение
Физическая культура и спорт (474)
Физическая культура и спорт
Среднее профессиональное образование (14+) (2819)
Среднее профессиональное образование
Коллекции (43755)
Коллекции
Издательские коллекции (43332)
Издательские коллекции
Журналы (999)
Журналы
Остаться в выбранном разделе
Назад к каталогу

Математическая логика и теория алгоритмов: Учебное пособие

Математическая логика и теория алгоритмов: Учебное пособие ISBN 5-7418-0451-9
ISBN 5-7418-0451-9
Авторы: 
Гурова Л. М., Зайцева Е. В.
Тип издания: 
Учебное пособие
Издательство: 
Москва: Горная книга (МГГУ)
Год: 
2006
Количество страниц: 
262
Аннотация

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

Библиографическое описание Скопировать библиографическое описание

Гурова Л. М. Математическая логика и теория алгоритмов: Учебное пособие / Л.М. Гурова, Е.В. Зайцева. - Москва : Горная книга (МГГУ), 2006. - 262 с. - ISBN 5-7418-0451-9. - URL: http://new.ibooks.ru/bookshelf/334946/reading (дата обращения: 28.03.2024). - Текст: электронный.