|
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
12 сентября 2024 г. 18:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
 |
|
|
|
Лекция 1. Модальные логики предикатов и их модели
В. Б. Шехтман
|
| Видеозаписи: |
 |
MP4 |
1,451.1 Mb |
|
MP4 |
2,933.3 Mb |
| Количество просмотров: |
| Эта страница: | 215 | | Видеофайлы: | 132 | | Youtube: | |
|
Аннотация:
1. Модальные предикатные формулы.
2. Подстановки в словах, композиция подстановок.
3. Интуиционистское исчисление высказываний. Суперинтуиционистские логики высказываний. Модальные логики высказываний.
4. Выводимость из гипотез. Теорема дедукции. Схемы аксиом вместо правила подстановки.
|
|
Обратная связь: