Яворская Т.Л. - Математическая логика - 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. Примеры
Ссылки плейлист:
1 view
50
11
3 months ago 00:57:23 1
Яворская Т.Л. - Понятийный аппарат математики - 19. Комбинаторика. Бином Ньютона
7 months ago 01:19:50 1
Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции
9 months ago 01:53:53 1
Тамара Фирсова и Борис Тарасов, Игорь Яковлев. «Восток». «Синее озеро...».Санкт-Петербург.
10 months ago 00:52:56 1
Яворская Т.Л. - Математическая логика - 13. Минимальная модальная логика К и другие логики
11 months ago 00:54:27 86
Четверг на обочине . с Олегом Яворским
11 months ago 01:30:13 1
Лекция 3. Т.Л. Яворская. Неклассические логики
11 months ago 01:37:33 1
Лекция 2. Т.Л. Яворская. Неклассические логики
1 year ago 01:31:00 1
Лекция 2. Т.Л.Яворская. Полнота интуиционистской логики относительно семантики Крипке
1 year ago 00:11:11 1
Жаркое в горшочках по домашнему с мясом и грибами в духовке. Рецепт жаркое в горшочке со свининой.