Myvideo

Guest

Login

Lecture 3

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