Materiały Prof. Jerzego Pogonowskiego:
Mdtiar – Zakład Logiki Stosowanej (amu.edu.pl)
Aktualizowana lista zagadnień egzaminacyjnych:
- Metody dowodzenia twierdzeń i automatyzacji rozumowań – kontekst historyczny.
- Zbiory Hintikki, Lemat Hintikki.
- Własność niesprzeczności, twierdzenie o istnieniu modelu.
- Twierdzenie o dedukcji.
- Dedukcja naturalna – normalizacja.
- Rachunek lambda jako model obliczalności.
- Rachunek sekwentów – twierdzenie o eliminacji cięcia.
- II twierdzenie Godla.
- Twierdzenia limitacyjne.