|
|
Неклассические логики
1 марта 2021 г. 11:30–12:55, г. Москва, МФТИ - МИАН
|
 |
|
 |
|
|
|
Лекция 3. Следствия теоремы о полноте интуиционистской логики по Крипке. Модальная логика, семантика Крипке для нее
Т. Л. Яворская
|
| Видеозаписи: |
 |
MP4 |
1,478.5 Mb |
| Дополнительные материалы: |
 |
Adobe PDF |
155.1 Kb |
| Количество просмотров: |
| Эта страница: | 370 | | Видеофайлы: | 112 | | Материалы: | 113 | | Youtube: | |
|
Дополнительные материалы:
int_logic_lect3.pdf (155.1 Kb)
|
|
Обратная связь: