04 исчисление предикатов

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

Видео 04 исчисление предикатов автора Основания математики для гурманов