Битюцкий В.П., Папуловская Н.В. Математическая логика. Исчисления высказываний и предикатов

Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теорию алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и их взаимосвязи. Понятие о сложности вычислений, различн...

Казань: Издательство КГТУ им. А. Н. Туполева, 2002. - 270 с. Пособие содержит следующие разделы: Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теория алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные...

Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

Бахтадзе Н. Н. (Институт проблем управления им. В. А. Трапезникова РАН). Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.

Название: Математическая логика. Курс лекций. Автор: Тимофеева И. Л. Издательство: КДУ. Год: 2007. Страниц: 304. Формат: pdf. Размер: 1,3 mb. ISBN 978-5-98227-307-9. Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает...

Калининградский государственный технический университет: Логика высказываний. Алгебра высказываний. Логические операции. Правила записи сложных формул. Законы алгебры логики. Эквивалентные преобразования формул. Нормальные формы формул. Алгоритм приведения к нормальной форме. Алгоритм преобразования ДНФ к виду СДНФ. Алгоритм преобразования КНФ к виду СКНФ. Исчисление высказываний. Интерпретация формул. Аксиомы исчисления высказываний. Правила в...

Темы: Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга. Владивосток, Вгуэс, 2010.

Методические указания для студентов II курса заочного отделения специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос. техн. ун-та, 2007. 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Программа курса: Логика высказываний. Логические операции. Формулы логики высказываний...

Учеб. пособие для ин-тов. М. Высшая школа. 1975. -176 с.: илл В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.