00:00:00 В предыдущих сериях...
00:09:15 Аксиомы
00:18:00 Modus ponens
00:20:20 Теоремы о корректности и полноте
00:22:10 Получение новой формулы выводом
00:28:45 Вывод из посылок
00:43:55 Вывод по аксиомам 3-7
00:54:20 Задача 25
00:59:30 Лемма о дедукции
01:02:53 Задача 26
01:12:08 Задача 27
01:27:00 Задача 28
01:33:30 Задача 29
01:56:40 Задача 30
02:08:06 Обзор используемых инструментов
Дата: 22 октября 2023
Преподаватель: Калинин Иван
Оператор: Малышев Сергей
Плейлист:
1 view
340
99
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. Разрешимость и перечеслимость множеств