Селезнева С.Н., Дайняк А.Б. Функции многозначных логик и полиномы

Учебник — Тверь: Твер. гос. ун-т, 2013. — 480 с. Данный учебник полностью охватывает материал курса "Основы теории моделей". Он адресован, прежде всего, студентам старших курсов, изучающих указанный предмет или смежные с ним, а также всем, кто интересуется математической логикой. Основы теории множеств. Аксиомы теории множеств. Наследственно конечные множества. Подмножества и...

М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...

Учебник. — М.: Издательство ЛКИ, 2010. — 448 с. Классическая логика. Логические связки. Истиностные таблицы. Законы логики высказываний. Функциональная полнота. Логическое следование. Аксиоматизация. Адекватность. Историческая справка. Логика Предикатов. Интуитивное понимание многозначной логики и ее возникновение. Трехзначные логики. Трехзначная Логика Лукасевича....

М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....

Учебное пособие. — Калининград: КГТУ, 2001. — 140 с. Учебное пособие предназначено для студентов университета, изучающих “Математическую логику”. В нем изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством...

Геометрический метод. Метод неопределенных коэффициентов. Метод минимизирующих карт Карно. Метод Квайна. Метод Патрика нахождение всех возможных тупиковых форм. Метод Мак-Класки. Метод диаграмм Вейча.