Пропустить и перейти к материалам
Пропустить и перейти к главной навигации
Пропустить и перейти к первому столбцу
Пропустить и перейти ко второму столбцу
Логика - доступно для всех
Математическая логика. Конспект лекций
Фильтр по заголовку
Количество строк:
5
10
15
20
25
30
50
100
Все
№
Заголовок материала
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 задачи
Главное меню
Главная
Поиск по сайту от Google
Лекционные материалы
Подборка лекций по логике
Лекции по предмету "Логика"
Основы логики
Ответы на вопросы по математической логике
Обновленные курсы лекций по логике
Шпаргалки по дисциплине "Логика"
Лекции по "Математической логике"
Файлы по логике
Курсовые и дипломные работы по логике
Лабораторные, задачи и контрольные работы по логике
Случайная новость
Типы несовместимости: соподчинение, противоположность, противоречие
Соподчинение (координация) -
это отношение...