filmov
tv
36 Топологическая семантика модальных логик
Показать описание
Определение топологической семантики,
аксиомы Куратовского,
истинность в топологической модели,
проверка аксиом и правил вывода S4 в топологической модели.
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
аксиомы Куратовского,
истинность в топологической модели,
проверка аксиом и правил вывода S4 в топологической модели.
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
0:27:10
1:36:26