Описание

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

О книге

ИздательствоГорная книга
Год издания2017
Языкru
ФорматыPDF
Возрастное ограничение0
ISBN5-7418-0451-9, 978-5-7418-0451-3

Частые вопросы

О чём книга «Математическая логика и теория алгоритмов»?
«Математическая логика и теория алгоритмов» — это информатика и вычислительная техника. Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков;…
Где читать или купить «Математическая логика и теория алгоритмов»?
Книгу можно читать или купить у партнёра ЛитРес (эл. книга). Цена у партнёра — 364 ₽. Переход — по кнопке в блоке «Где читать или купить».
Что почитать похожее на «Математическая логика и теория алгоритмов»?
Близкие по теме книги: «Информационные технологии и лингвистика XXI века», «Теория принятия решений», «Материалы студенческой научной сессии, г. Москва, 03-08 апреля 2017 г.». Полный список — в блоке «Похожие книги».