Uniwersytet Ślaski w Katowicach - Centralny System Uwierzytelniania
Strona główna

TEORIA MODELI [0301-TMO-IS-09] semestr letni 2009/2010
Ćwiczenia, grupa nr 1

Przejdź do planu zaznaczono terminy wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: TEORIA MODELI [0301-TMO-IS-09]
Zajęcia: semestr letni 2009/2010 [2009/2010L] (zakończony)
Ćwiczenia [C], grupa nr 1 [pozostałe grupy]
Termin i miejsce: Podana informacja o terminie jest orientacyjna. W celu uzyskania pewnej informacji obejrzyj kalendarz roku akademickiego lub skontaktuj się z wykładowcą (nieregularności zdarzają się przede wszystkim w przypadku zajęć odbywających się rzadziej niż co tydzień).
każda środa, 14:00 - 16:00
sala 225
Wydział Nauk Ścisłych i Technicznych (Katowice, ul. Bankowa 14) jaki jest adres?
Terminy najbliższych spotkań: Daty odbywania się zajęć grupy. Prezentują informacje na podstawie zdefiniowanych w USOS terminów oraz spotkań.
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem. 		Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań.
Data i miejsceProwadzący
Liczba osób w grupie: 0
Limit miejsc: 100
Zaliczenie: Zaliczenie na ocenę
Prowadzący: Tomasz Połacik
Literatura:

K. Doets, Basic Model Theory, CSLI Publications, 1996.
Zakres tematów:

1. Podstawowe pojęcia teorii modeli.

2. Twierdzenie o pełności dla logiki pierwszego rzędu.

3. Gry Ehrenfeuchta-Fraisse.

4. Twierdzenie o zwartości i jego zastosowania.

5. Diagramy i diagramy elelmentarne.

6. Ultraprodukty.

7. Twierdzenie o omijaniu typów.

8. Modele nasycone.
Metody dydaktyczne:

Rozwiązywanie zadań z podręcznika dotyczących materiału przedstawionego na wykładzie.

Uwagi:

wykłady do wyboru, studia jednolite magisterskie i studia II stopnia
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.
kontakt deklaracja dostępności USOSweb 7.0.3.0-1 (2024-04-02)