0:00:19 1. Модель Крипке
0:05:36 2. Примеры модели
0:29:28 3. Какие ещё свойства можно записать при помощи модальных формул (примеры)
1:00:01 4. Свойства, которые нельзя выразить модальными формулами
Ссылки плейлист:
1 view
76
17
4 months ago 00:57:23 1
Яворская Т.Л. - Понятийный аппарат математики - 19. Комбинаторика. Бином Ньютона
8 months ago 01:19:50 1
Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции
10 months ago 01:53:53 1
Тамара Фирсова и Борис Тарасов, Игорь Яковлев. «Восток». «Синее озеро...».Санкт-Петербург.
11 months ago 00:52:56 1
Яворская Т.Л. - Математическая логика - 13. Минимальная модальная логика К и другие логики
1 year ago 00:54:27 86
Четверг на обочине . с Олегом Яворским
1 year ago 01:30:13 1
Лекция 3. Т.Л. Яворская. Неклассические логики
1 year ago 01:37:33 1
Лекция 2. Т.Л. Яворская. Неклассические логики
1 year ago 01:31:00 1
Лекция 2. Т.Л.Яворская. Полнота интуиционистской логики относительно семантики Крипке
1 year ago 00:11:11 1
Жаркое в горшочках по домашнему с мясом и грибами в духовке. Рецепт жаркое в горшочке со свининой.