| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинар по многомерному комплексному анализу (Семинар Витушкина)
|
|||
|
|
|||
|
Пространственные логики В. Б. Шехтман |
|||
|
Аннотация: Пространственные логики — это формальные теории, которые описывают геометрические и топологические структуры. Первые теории такого типа были построены Тарским в середине прошлого века, а в конце века появились первые применения пространственных логик в информатике. В докладе будет дан обзор некоторых результатов о пространственных модальных логиках. |
|||