Содержание курса
1. Тема1. Введение. Классификация формул высказываний.
10 уроков
12
0
0м
0
Закрытый
1.1
Введение в алгебру логики
↗
3
0
-
0
Закрытый
1.2
Таблицы истинности
↗
1
0
-
0
Закрытый
1.3
Законы логики высказываний
↗
1
0
-
0
Закрытый
1.4
Дополнительные логические действия
↗
1
0
-
0
Закрытый
1.5
Формулы высказываний
↗
1
0
-
0
Закрытый
1.6
Классификация формул
↗
1
0
-
0
Закрытый
1.7
Логическая равносильность формул
↗
1
0
-
0
Закрытый
1.8
Нормальные формы высказываний
↗
1
0
-
0
Закрытый
1.9
СДНФ
↗
1
0
-
0
Закрытый
1.10
СКНФ
↗
1
0
-
0
2. Тема 2. Логическое следование высказываний. Булевы функции.
4 урока
5
0
0м
0
Закрытый
2.1
Логическое следование высказываний
↗
1
0
-
0
Закрытый
2.2
Булевы функции
↗
1
0
-
0
Закрытый
2.3
Бинарные отношения и функции
↗
2
0
-
0
Закрытый
2.4
Свойства булевых функций
↗
1
0
-
0