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.
