Лекция 11: Правила логических умозаключений. Модусы. (Часть 1)
|
1575 |
Лекция 12: Правила логических умозаключений. Модусы. (Часть 2)
|
1080 |
Лекция 13: Булева алгебра
|
9918 |
Лекция 14: Многочлены Жегалкина
|
2490 |
Лекция 15: Замкнутые классы функций
|
1008 |
Лекция 16: Полные системы функций
|
950 |
Лекция 17: Реализация булевых функций с помощью логических схем
|
1442 |
Лекция 18: Четыре фигуры силлогизмов
|
1371 |
Лекция 19: Логика предикатов. Кванторы
|
5946 |
Лекция 21: Наивная теория множеств и нечёткая логика
|
2833 |