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.