Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
26 сентября 2024 г. 18:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
 


Лекция 3. Модальные логики предикатов и их модели

В. Б. Шехтман
Видеозаписи:
MP4 2,790.8 Mb

Количество просмотров:
Эта страница:173
Видеофайлы:56
Youtube:

В. Б. Шехтман



Аннотация:
1. Коммутирование формульных подстановок с заменами связанных переменных (окончание доказательства).
2. Прямые формульные подстановки преобразуют формулы в формулы. Определение действия формульной подстановки на формулу рекурсией по построению формулы.
3. Сильная конгруэнтность формул.
4. Конгруэнтность формул. Сохранение конгруэнтности при замене свободных переменных.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024