Вид документа : Однотомное издание Шифр издания : 69312 Автор(ы) : Унучек С. А. Заглавие : Математическая логика : Учебное пособие Выходные данные : Саратов: Ай Пи Эр Медиа, 2018 Колич.характеристики :239 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-5-4486-0086-9: Б.ц. УДК : 510.6 ББК : 22.12 Ключевые слова (''Своб.индексиров.''): дискретная математика--логика--математика--математическая логика Аннотация: В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.