Математическая логика. Конспект лекций

Автор admin На чтение 1 мин Обновлено 02.05.2023

Математическая логика. Конспект лекций

Фильтр по заголовку

Количество строк:

№

Заголовок материала

1

Понятие высказывания

2

Булевы функции. Некоторые определения из теории множеств

3

Булевы функции

4

5

Равносильные формулы

6

Подстановка и замена

7

Формы представления высказываний

8

Минимизация сложных высказываний методом Квайна

9

Полные системы функций. Система функций {}

10

Замкнутые классы

11

Функциональная полнота

12

Автоматическое доказательство теорем. Постановка задачи

13

Приведенная форма представления предикатов

14

Основные равносильности для предикатов

15

Интерпретация

16

Логика и исчисление предикатов. Предикаты

17

Некоторые теоремы теории

18

Дедукция

19

Производные правила вывода

20

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

21

Интерпретация формальных теорий

22

Формальные теории

23

Примеры тождественно истинных формул высказываний

24

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

25

Классы сложности задач. Р задачи

26

Характеристики сложности вычислений

27

Разрешимые и неразрешимые задачи математики

28

Самоприменимость МТ

29

Проблема самоприменимости. Нумерация МТ

30

Алгоритмически неразрешимые проблемы

31

Нормальные алгорифмы Маркова

32

Рекурсивные функции

33

Конкретизация понятия алгоритма. Машины Тьюринга

34

Интуитивное понятие алгоритма

35

Основные положения МР (выводы)

36

Правило резолюции для исчисления предикатов

37

Правило резолюции для исчисления высказываний

38

Доказательство от противного

39

NP задачи