Myvideo

Guest

Login

Математика как иностранный. A2-2. Теория моделей в классической логике.

Uploaded By: Myvideo
1 view
0
0 votes
0

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

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later