|
|
Семинар по многомерному комплексному анализу (Семинар Витушкина)
1 ноября 2017 г. 16:45, г. Москва, МГУ, ауд. 13-06
|
 |
|
 |
|
|
|
Пространственные логики
В. Б. Шехтман |
| Количество просмотров: |
| Эта страница: | 220 |
|
Аннотация:
Пространственные логики — это формальные теории, которые описывают геометрические и топологические структуры. Первые теории такого типа были построены Тарским в середине прошлого века, а в конце века появились первые применения пространственных логик в информатике. В докладе будет дан обзор некоторых результатов о пространственных модальных логиках.
|
|
Обратная связь: