В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.
Унучек С.А. Математическая логика : учебное пособие / Унучек С.А.. — Саратов : Ай Пи Эр Медиа, 2018. — 239 c. — ISBN 978-5-4486-0086-9. — Текст : электронный // IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/69312.html (дата обращения: 02.10.2023). — Режим доступа: для авторизир. пользователей. - DOI: https://doi.org/10.23682/69312
Издательство: Лаборатория знаний
Автор: Лагутин М.Б.
Год издания: 2023
ISBN: 978-5-93208-651-3
Издательство: Институт мировых цивилизаций
Автор: Шорохова С.П.
Год издания: 2022
ISBN: 978-5-907445-77-2
Издательство: Вузовское образование
Автор: Горюшкин А.П.
Год издания: 2022
ISBN: 978-5-4487-0808-4
Издательство: Инфра-Инженерия
Автор: Гальянов А.В.
Год издания: 2022
ISBN: 978-5-9729-0815-8
Издательство: Инфра-Инженерия
Автор: Зенков А.В.
Год издания: 2022
ISBN: 978-5-9729-0866-0
Издательство: Вятский государственный гуманитарный университет
Автор: Галицких Е.О., Карпов И.П., Григорьева Л.П., Загвоздкина Т.Е., Поздеев В.А., Дунаевская И.К., Мельникова Л.А.
Год издания: 2011
ISBN: 978-5-93825-950-8
Издательство: Московский государственный университет имени М.В. Ломоносова
Автор: Зуев Н.Н.
Год издания: 2000
ISBN: 5-211-04278-6
Издательство: Петрополис
Автор: Кашурников Н.А.
Год издания: 2012
ISBN: 978-5-9676-0402-7