Линдон Р. Заметки по логике

Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. - 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов» Приводятся основные понятия и утверждения логики высказываний и предикатов. В логике высказываний даются основные методы построения вывода. В логике предикатов вводятся нормальные формы описания предметной области и получение вывода с помощью метода резолюций.

М. : ИЛ, 1963. -55 с. Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств. Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исслед...

М.: Наука, 1979. - 256 с. Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специа...

Задачи по математической логике (+примеры решения и комментарии). Содержание: Элементы алгебры высказываний. Логические операции над высказываниями. Равносильные формулы алгебры высказываний. Нормальные формы. Логические следствия. Решение задач с помощью алгебры высказываний. Исследование рассуждений. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез реле...

Задачи по математической логике. Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.rn

Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

Операции логики Буля. Формы представления булевых операций. Методы доказательства в логике Буля. Задания на практическую работу по логике высказываний. Введение в логику высказываний. Построение доказательств в логике высказываний. Аксиоматический метод. Таблицы истинности. Метод Вонга. Метод натурального исчисления. Задания на практическую работу по логике высказываний. Примеры решения задач. Доказать методом натурального исчисления истинность с...

Содержание. Введение. Исчисление высказываний. Высказывания. Формулы. Выполнимые и общезначимые формулы. Алгебраический подход. Дизъюнкты и нормальные формы. Логический вывод. Прямой вывод. Доказательство «от противного». Метод резолюций. Фразы Хорна. Примеры использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Исчисление предикатов. Предикаты. Применение логических связок. Кванторы....

Ответы по темам за 1 семестр математической логики. Ответы на экзаменационные билеты по математической логике всего 24 вопроса. Вопросы по темам от: 1) Двузначная логика, булевы функции, до 24) Множества и операции над ними.

Метод. пособие по логике. Ростов-на-Дону. 2007г. – 42 с. Примеры решения задач по матем. логике. Темы пособия: 1. Алгебра высказываний. 2. Исчисление высказываний ИС генценовского типа. 3. Исчисление высказываний ИВ гильбертовского типа. 4. Общезначимость формул. 5. Логические программы.