РЕШАЕМ МАТЕМАТИКУ ВМЕСТЕ!
 
СТУДЕНТАМ:    Учебники     Решебники    Шпаргалки    Контрольные работы   Видео уроки

ШКОЛЬНИКАМ:  ГДЗ - 1 класс  2 класс  3 класс  4 класс  5 класс  6 класс  7 класс  8 класс  9 класс  10 класс  11 класс

Главная » Файлы » Учебные материалы » Математическая логика и теория алгоритмов
В.Ф. Пономарев Математическая логика. часть 1. Логика высказываний. Логика предикатов.

15.12.2011, 15:08

Оглавление

Введение………………………………………………………....................3

1 Логика высказываний…………………………........................................5

1.1 Алгебра высказываний …………......................................................7

1.1.1 Логические операции………………………...............................8

1.1.2 Правила записи сложных формул............................................14

1.1.3 Законы алгебры логики……………………….........................24

1.1.4 Эквивалентные преобразования формул….............................28

1.1.5 Нормальные формы формул…………………..........................33

1.1.5.1 Алгоритм приведения к нормальной форме ....................35

1.1.5.2 Алгоритм преобразования ДНФ к виду СДНФ................36

1.1.5.3 Алгоритм преобразования КНФ к виду СКНФ................37

1.2 Исчисление высказываний................................................................39

1.2.1 Интерпретация формул...............................................................39

1.2.2 Аксиомы исчисления высказываний.........................................42

1.2.3 Правила вывода...........................................................................44

1.2.3.1 Правила подстановки..........................................................45

1.2.3.2 Правила введения и удаления логических связок .......... 46

1.2.3.3 Правила заключения...........................................................50

1.3 Метод дедуктивного вывода …………………………...................51

1.4 Принцип резолюции..........................................................................58

1.4.1 Алгоритм вывода по принципу резолюции.............................58

1.5 Проблемы исчисления высказываний..............................................65

1.6 Описание высказываний на языке Prolog.........................................66

Контрольные вопросы…………………………..................................69

Расчетно-графическая работа..............................................................71

2. Логика предикатов....................................................................................73

2.1. Алгебра предикатов……………………..............................................79

2.1.1 Логические операции............................................. ... ...................80

2.1.2 Правила записи сложных формул............................................  ...83

2.1.3 Законы алгебры предикатов..........................................................85

2.1.4 Предваренная нормальная форма .......................  .......................88

2.1.4.1 Алгоритм приведения формулы к виду ПНФ.. ...................89

2.1.5 Сколемовская стандартная форма........................ .......................92

2.1.5.1 Алгоритм Сколева....................... ...........................................93

2.2 Исчисление предикатов........................................................................94

2.2.1 Интерпретация формул.................................................................95

2.2.2 Правила вывода.............................................................................97

2.2.2.1 Правила подстановки............................................................98

2.2.2.2 Правила введения и удаления кванторов............................99

2.2.2.3 Правила заключения............................................................101

2.2.3 Метод дедуктивного вывода......................................................102

2.2.4 Принцип резолюции...................................................................109

2.3 Проблемы в исчислении предикатов...............................................116

2.4 Логическое программирование........................................................117

   Контрольные вопросы....................................................................120

   Расчетно-графическая работа........................................................122

   Литература.......................................................................................124

   Предметный указатель....................................................................125





Размер файла: (212.2Kb)

Категория: Математическая логика и теория алгоритмов | Добавил: nikka
Просмотров: 2052 | Загрузок: 375 | Рейтинг: 5.0/1


Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]



ВЫБОР ПО КАТЕГОРИЯМ:

Аналитическая геометрия и алгебра [0]
Высшая алгебра [52]
История математики [55]
Математика для технарей [21]
Математика для экономистов, юристов и т.д.. [5]
Математическая логика и теория алгоритмов [40]
Теория вероятностей и мат. статистика [28]
Теория чисел [33]
Учебники по математике [46]



При полном или частичном использовании материалов
активная ссылка на портал VMATE.RU обязательна


Высшая математика онлайн - всё бесплатно, наш портал создан специально для студентов кому интересна высшая математика. У нас на портале возможно скачать бесплатно учебники по высшей математике, книги по математике или сделать заказ учебных пособий, скачать контрольные по высшей математике, заказать, задачники по высшей математики и решебники. Оставить запрос по предмету - аналитическая геометрия или задать вопрос - справочная по математике Заказать решение и т.д. Высшая математика онлайн - математический портал и здесь собраны шпаргалки по высшей математике и видео уроки. Добро пожаловать! Вход