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