Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 3. Генценовское исчисление высказываний
Лекция из курса:
Математическая логика
Яворская Татьяна Леонидовна
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 3. Генценовское исчисление высказываний
Видео закончится через
NaN:NaN
00:00
00:00
00:19
Следующая секция начнется через 03:11
Определение логического следования
03:11
Следующая секция начнется через 03:11
Постановка задачи
04:12
Следующая секция начнется через 03:11
Пример A->B,C->D |= A\/C->B\/D
15:36
Следующая секция начнется через 03:11
Пример A->(B->C) |= A&B->C
20:14
Следующая секция начнется через 03:11
Пример A->B,C->D |= (A->C)->(B->D)
30:33
Следующая секция начнется через 03:11
Секвенции, аксиомы и правила
38:28
Следующая секция начнется через 03:11
Что такое вывод?
42:42
Следующая секция начнется через 03:11
Формулировка теоремы об эквивалентности
43:38
Следующая секция начнется через 03:11
Пример (P->Q)->R |= неR->P&неQ
51:22
Следующая секция начнется через 03:11
Доказательство теоремы
58:10
Следующая секция начнется через 03:11
Пример не(P&Q) |= неP&неQ
1:02:34
Следующая секция начнется через 03:11
Пример P\/Q->R |= R \/ не(неP->Q)
1:10:03
Следующая секция начнется через 03:11
Заключение по логике высказываний
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 3. Генценовское исчисление высказываний

00:19
Следующая секция начнется через 03:11
Определение логического следования
03:11
Следующая секция начнется через 03:11
Постановка задачи
04:12
Следующая секция начнется через 03:11
Пример A->B,C->D |= A\/C->B\/D
15:36
Следующая секция начнется через 03:11
Пример A->(B->C) |= A&B->C
20:14
Следующая секция начнется через 03:11
Пример A->B,C->D |= (A->C)->(B->D)
30:33
Следующая секция начнется через 03:11
Секвенции, аксиомы и правила
38:28
Следующая секция начнется через 03:11
Что такое вывод?
42:42
Следующая секция начнется через 03:11
Формулировка теоремы об эквивалентности
43:38
Следующая секция начнется через 03:11
Пример (P->Q)->R |= неR->P&неQ
51:22
Следующая секция начнется через 03:11
Доказательство теоремы
58:10
Следующая секция начнется через 03:11
Пример не(P&Q) |= неP&неQ
1:02:34
Следующая секция начнется через 03:11
Пример P\/Q->R |= R \/ не(неP->Q)
1:10:03
Следующая секция начнется через 03:11
Заключение по логике высказываний
Свернуть таймкоды