Яворская Т.Л. - Математическая логика - 9. Выводимость в логике I порядка. Исчисление предикатов.
0:00:19 1. Логика высказываний
0:03:54 2. Аналогичное исчисление для логики I порядка
0:15:28 3. Пример 1
0:18:28 4. Пример 2
0:21:50 5. Пример 3
0:23:54 6. Пример 4
0:26:06 7. Пример 5
0:40:01 8. Пример 6
0:46:59 9. Как связаны выводимость и логическое следование?
0:53:13 10. Примеры
Ссылки плейлист:
5 views
50
11
2 months ago 00:10:30 2
Интервью с Олегом Яворским об .: Clear Sky
2 months ago 05:31:45 22
.: Новый горизонт RP (DayZ) ☢ 4x09 - Долговский дед угрожает расправой
2 months ago 06:20:10 2
.: Новый горизонт RP (DayZ) ☢ 4x10 - Первый раз в Припяти
2 months ago 08:02:00 28
.: Новый горизонт RP (DayZ) ☢ 4x12 - Я всегда буду твоим якорем (с)
2 months ago 07:47:40 32
.: Новый горизонт RP (DayZ) ☢ 4x13 - Голос прошлого
2 months ago 06:44:40 12
.: Новый горизонт RP (DayZ) ☢ 4x14 - Поход на военную базу
2 months ago 04:48:10 12
.: Новый горизонт RP (DayZ) ☢ 4x15 - Угодил в аномалию!
2 months ago 06:38:30 15
.: Новый горизонт RP (DayZ) ☢ 4x16 - От заката до рассвета
2 months ago 04:28:00 25
.: Новый горизонт RP (DayZ) ☢ 4x18 - Руки вверх, СОП работает!
2 months ago 04:54:20 3
.: Новый горизонт RP (DayZ) ☢ 4x17 - Шо?
2 months ago 05:42:40 8
.: Новый горизонт RP (DayZ) ☢ 4x19 - В поисках иностранца...
2 months ago 05:11:55 3
.: Новый горизонт RP (DayZ) ☢ 4x20 - Большой куш!
2 months ago 06:24:57 218
.: ERA RP (DayZ) ☢ 4x23 - Корпорация монстров
2 months ago 07:54:53 27
.: ERA RP (DayZ) ☢ 4x22 - Темные...
2 months ago 04:21:00 52
.: ERA RP (DayZ) ☢ 4x21 - Зоне свойственно меняться
2 months ago 07:45:30 60
.: ERA RP (DayZ) ☢ 4x24 - Кубок Лунтика
2 months ago 05:39:40 12
.: ERA RP (DayZ) ☢ 4x25 - Ужасная дева
2 months ago 06:39:45 44
.: ERA RP (DayZ) ☢ 4x26 - Под прицелом Монолита
2 months ago 03:54:45 17
.: ERA RP (DayZ) ☢ 4x27 - День мусорных тайников
2 months ago 04:20:55 9
.: ERA RP (DayZ) ☢ 4x29 - Заклинил АКМ за 150к!
2 months ago 06:32:35 23
.: ERA RP (DayZ) ☢ 4x31 - Кровосос ушатал за три удара!
2 months ago 06:52:45 14
.: ERA RP (DayZ) ☢ 4x32 - Покупка Севы и Винтореза
2 months ago 06:03:50 35
.: ERA RP (DayZ) ☢ 4x30 - Четверо ребят и одна Лиса