Унучек, С. А.
Математическая логика : учебное пособие / С. А. Унучек. - Электрон. дан. (1 файл). - Саратов : Ай Пи Эр Медиа, 2018. - 239 c. - URL: http://www.iprbookshop.ru/69312.html.

Аннотация: В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=128766&idb=mega1