- 1:13:3421 Наивная теория множеств и нечёткая логика32 просмотра
- 55:5220 Машина Тьюринга49 просмотров
- 58:0719 Логика предикатов. Кванторы46 просмотров
- 1:06:0318 Четыре фигуры силлогизмов6 просмотров
- 1:11:5117 Реализация булевых функций с помощью логических схем5 просмотров
- 1:29:2616 Полные системы функций2 просмотра
- 1:02:3215 Замкнутые классы функций18 просмотров
- 1:09:5714 Многочлены Жегалкина22 просмотра
- 1:07:0813 Булева алгебра17 просмотров
- 1:05:1912 Правила логических умозаключений. Модусы. (Часть 2)10 просмотров
- 58:5311 Правила логических умозаключений. Модусы. (Часть 1)10 просмотров
- 49:2510 Логическое следование формул11 просмотров
- 1:35:139 Нормальная форма алгебры высказываний (часть 2)5 просмотров
- 1:11:318 Нормальная форма алгебры высказываний (часть 1)5 просмотров
- 1:00:367 Эквивалентные преобразования логических формул (часть 3)7 просмотров
- 1:18:336 Эквивалентные преобразования логических формул (часть 2)30 просмотров
- 1:08:315 Эквивалентные преобразования логических формул (часть 1)13 просмотров
- 1:24:354 Формулы алгебры высказываний. Тавтологии10 просмотров
- 1:19:083 Высказывания и действия над ними10 просмотров
- 1:04:232 Вводная лекция (часть 2)9 просмотров
