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