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

В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.

Унучек С.А. Математическая логика : учебное пособие / Унучек С.А.. — Саратов : Ай Пи Эр Медиа, 2018. — 239 c. — ISBN 978-5-4486-0086-9. — Текст : электронный // IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/69312.html (дата обращения: 22.03.2023). — Режим доступа: для авторизир. пользователей. - DOI: https://doi.org/10.23682/69312