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