Допсем Матлогика 12. Машины Тьюринга
Дата: 1 апреля 2024 Преподаватель: Калинин Иван Оператор: Малышев Сергей Плейлист:
1 view
786
285
4 weeks ago
03:22:31
20
[Допсем] Матлогика 1. Основы формальных языков
4 weeks ago
03:09:14
2
[Допсем] Матлогика 2. Пропозициональные формулы
4 weeks ago
03:12:05
3
[Допсем] Матлогика 3. Булевы функции
4 weeks ago
02:14:10
1
[Допсем] Матлогика 4. Исчисление высказываний
4 weeks ago
01:55:03
1
[Допсем] Матлогика 5. Метод резолюций
4 weeks ago
03:06:05
1
[Допсем] Матлогика 6. Языки первого порядка
4 weeks ago
01:51:25
1
[Допсем] Матлогика 7. Выразимость предикатов
4 weeks ago
02:02:41
2
[Допсем] Матлогика 8. Исчисление предикатов
4 weeks ago
02:29:20
1
[Допсем] Матлогика 9. Порядки
4 weeks ago
01:48:29
1
[Допсем] Матлогика 10. Ординалы
4 weeks ago
02:01:04
1
[Допсем] Матлогика 11. Мощность. Лемма Цорна
4 weeks ago
01:26:44
1
[Допсем] Матлогика 12. Машины Тьюринга
4 weeks ago
01:11:15
1
[Допсем] Матлогика 13. Разрешимость и перечеслимость множеств
4 weeks ago
02:06:39
1
[Допсем] Матлогика 14. Вычислимые функции. Арифметическая иерархия
4 weeks ago
02:10:29
1
[Допсем] Матлогика 15. Финал
Back to Top