Логика высказываний

1.1. Высказывания и операции над ними

1.2. Формулы логики высказываний

1.3. Равносильность формул

1.4. Принцип двойственности

1.5. Тождественно истинные формулы

1.6. Система натурального вывода

1.7. Принцип резолюций

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

2.1. Понятие предиката

2.2. Логические операции над предикатами

2.3. Кванторы

2.4. Формулы логики предикатов и логические законы

2.5. Выполнимые формулы и проблема разрешения

2.6. Логика предикатов и математическая практика

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

3.1. Формализация в математике

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

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

3.4. Теории первого порядка. Формальная

арифметика

Алгоритмы и вычислимость

4.1. Мощность множества

4.2. Счетные множества

4.3. Диагональный метод Кантора

4.4. Уточнение понятия алгоритма

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

4.6. Вычислимость и разрешимость

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

5.1. Двоичные векторы

5.2 Понятие булевой функции

5.3. Булевы функции от одной и двух переменных

5.4. ДНФ и КНФ

5.5. Полные системы булевых функций

5.6. Важнейшие замкнутые классы булевых

функций. Теорема Поста о полноте

Элементы теории кодирования

6.1. Двоичное кодирование

6.2. Векторное пространство {0,1}ⁿ

6.3. Отображения {0,1}ⁿ в {0,1}^m

6.4. Блочные двоичные коды

6.5. Коды Хемминга

Не нашли, что искали? Воспользуйтесь поиском: