Математическая логика. Учебное пособие
Об издании
В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.
Библиографическая запись
Унучек, С. А. Математическая логика : учебное пособие / С. А. Унучек. — Саратов : Ай Пи Эр Медиа, 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 года
Заполните форму, и мы свяжемся с вами!
Программа ППК предназначена для студентов и выпускников следующих направлений подготовки:
По итогам программы слушатели получат:
