Новые поступления (книга в стадии обработки) Унучек, С. А. Математическая логика [Электронный ресурс] : Учебное пособие / С. А. Унучек. - Саратов : Ай Пи Эр Медиа, 2018. - 239 с. - ISBN 978-5-4486-0086-9 : Б. ц. Книга находится в премиум-версии ЭБС IPR BOOKS.
Кл.слова (ненормированные): математика -- логика -- математическая логика -- дискретная математика Аннотация: В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения. |