По-прежнему мусолим классическое исчисление предикатов. На этот раз разбираемся с понятием модели сигнатуры и смотрим некотоые свойства и определения, связанные с моделями. Теорема о корректности ИП. Теорема Гёделя о полноте ИП. Теорема Мальцева о компактности. Теорема Лёвенгейма-Сколема.
Hide player controls
Hide resume playing