Крч, сами потом поправите, если что-то не так. Я просто видос выложу.
Дата: 21 мая 2024
Преподаватель: Калинин Иван
Оператор:
Монтажёр: Хатымов Ренат
Плейлист:
1 view
2482
941
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. Разрешимость и перечеслимость множеств