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