39 топологическая семантика логики доказуемости

Описание к видео 39 топологическая семантика логики доказуемости

Смотрим специальную топологическую семантику для модльной логики GL (известную также, как логика доказуемости).
- понятие разреженного пространства;
- топологическая производная;
- связь с аксиомами отделимости T0 и T1.

💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: https://boosty.to/mathreisender

Комментарии

Информация по комментариям в разработке

Похожие видео