Zagadnienia na egzamin z logiki, I.Recław, 2005, UG

Komentarze

Transkrypt

Zagadnienia na egzamin z logiki, I.Recław, 2005, UG
Lista tematów egzaminacyjnych na egzamin z Logiki Matematycznej
Jeden lub dwa z nich bedą na egzminie pisemnym ( lub podobne)
1. Definicja systemu relacyjnego; przykłady
2. Definicja jezyka, termu i formuły, przykłady.
3. Definicja prawdziwooci formuł w systemie relacyjnym, teoria i jej model
4. Aksjomaty logiki, definicja dowodu.
5. Twierdzenie o dedukcji, przykłady twierdzen logiki.
6. Twierdzenie o pełności Goedla oraz twierdzenie o zwartości.
7. Twierdzenie Lindenbauma, zdania nieroztrzygalne, przykłady.
8. Aksjomatyka arytmetyki Peano. Model standardowy i niestandardowe.
9. Twierdzenia Skolema-Loewenheima i inne twierdzenia o mocach modeli.

Podobne dokumenty