|
Лекция 1: Вводная лекция (часть 1)
|
2950 |
|
Лекция 2: Вводная лекция (часть 2)
|
1300 |
|
Лекция 3: Высказывания и действия над ними
|
1454 |
|
Лекция 4: Формулы алгебры высказываний. Тавтологии
|
1627 |
|
Лекция 5: Эквивалентные преобразования логических формул (часть 1)
|
1408 |
|
Лекция 6: Эквивалентные преобразования логических формул (часть 2)
|
1008 |
|
Лекция 7: Эквивалентные преобразования логических формул (часть 3)
|
980 |
|
Лекция 8: Нормальная форма алгебры высказываний (часть 1)
|
1040 |
|
Лекция 9: Нормальная форма алгебры высказываний (часть 2)
|
981 |
|
Лекция 10: Логическое следование формул
|
2691 |
