Пособие по Математической Логике

формат doc
размер 335 КБ
добавлен 09 января 2011 г.

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

Похожие разделы

Смотрите также

Булос Дж., Джеффри Р. Вычислимость и логика

формат djvu
размер 9.81 МБ
добавлен 02 мая 2010 г.

Пер. с англ. - М., Мир, 1994 - 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знамен...

Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств

формат djvu
размер 445.67 КБ
добавлен 16 марта 2009 г.

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

Гудстейн Р.Л. Математическая логика

формат djvu
размер 3.68 МБ
добавлен 22 ноября 2010 г.

М.: ИЛ, 1961. - 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при неболь...

Задачи по математической логике (+примеры решения и комментарии)

Контрольная работа

формат rtf
размер 5.68 МБ
добавлен 27 апреля 2011 г.

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

Задачи по математической логике (+примеры решения)

Контрольная работа

формат rtf
размер 3.34 МБ
добавлен 27 апреля 2011 г.

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

Клини С. Введение в метаматематику

формат pdf
размер 10.14 МБ
добавлен 23 февраля 2011 г.

М.: Издательство иностранной литературы, 1957. - 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и н...

Клини С. Введение в метаматематику

формат djvu
размер 9.32 МБ
добавлен 22 апреля 2010 г.

Лекции по математической логике

Статья

формат doc
размер 168.15 КБ
добавлен 05 сентября 2008 г.

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

Такеути Г. Теория доказательств

формат djvu
размер 3.26 МБ
добавлен 20 марта 2011 г.

М.: Мир, 1978, 412 с., УДК 517.11,517.12 Перевод с английского Соболева С. К., под ред. Адяна С. И. Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечении и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, вклю...

Шпоры по математической логике

pottee

формат doc
размер 1.02 МБ
добавлен 07 января 2010 г.

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