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