Математическая логика. Учебное пособие
Об издании
В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.
Библиографическая запись
Унучек, С. А. Математическая логика : учебное пособие / С. А. Унучек. — Саратов : Ай Пи Эр Медиа, 2018. — 239 c. — ISBN 978-5-4486-0086-9. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/69312.html (дата обращения: 14.10.2024). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Кузнецов А.Ф., Кочиш И.И., Семёнов В.Г., Софронов В.Г., Муромцев А.Б., Аристов А.В.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семенов В.Г., Софронов В.Г., Дементьев Е.П., Рожков К.А.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семёнов В.Г., Холдоенко А.М., Рожков К.А., Лунегова И.В.
(Квадро)
Верещагин Н.К., Шень А.Х.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Кузнецов А.Ф., Кочиш И.И., Семёнов В.Г., Софронов В.Г., Муромцев А.Б., Аристов А.В.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семенов В.Г., Софронов В.Г., Дементьев Е.П., Рожков К.А.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семёнов В.Г., Холдоенко А.М., Рожков К.А., Лунегова И.В.
(Квадро)
Верещагин Н.К., Шень А.Х.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Дебердиева Е.М., Ленкова О.В., Фролова С.В., Зубарев А.А., Кот А.Д.
(Тюменский индустриальный университет)
Лосева М.А., Расщепкина Н.А., Кудряшов С.Ю.
(Самарский государственный технический университет, ЭБС АСВ)
Гладков Л.А., Гладкова Н.В.
(Издательство Южного федерального университета)
Куклина И.Г.
(Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ)
Павлов И.И., Павлова М.С., Абрамова Е.С., Абрамов С.С.
(Сибирский государственный университет телекоммуникаций и информатики)
Томина Н.Н., Максимов Н.М., Тыщенко В.А., Пимерзин А.А.
(Самарский государственный технический университет, ЭБС АСВ)
Томина Н.Н., Максимов Н.М., Тыщенко В.А., Пимерзин А.А.
(Самарский государственный технический университет, ЭБС АСВ)
Дебердиева Е.М., Ленкова О.В., Фролова С.В., Зубарев А.А., Кот А.Д.
(Тюменский индустриальный университет)
Лосева М.А., Расщепкина Н.А., Кудряшов С.Ю.
(Самарский государственный технический университет, ЭБС АСВ)
Гладков Л.А., Гладкова Н.В.
(Издательство Южного федерального университета)
Куклина И.Г.
(Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ)
Павлов И.И., Павлова М.С., Абрамова Е.С., Абрамов С.С.
(Сибирский государственный университет телекоммуникаций и информатики)
Томина Н.Н., Максимов Н.М., Тыщенко В.А., Пимерзин А.А.
(Самарский государственный технический университет, ЭБС АСВ)
Томина Н.Н., Максимов Н.М., Тыщенко В.А., Пимерзин А.А.
(Самарский государственный технический университет, ЭБС АСВ)