Zagadnienia na egzamin z logiki, I.Recław, 2005, UG
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.