Metody dowodzenia twierdzeń i automatyzacja rozumowań

Materiały Prof. Jerzego Pogonowskiego:

Mdtiar – Zakład Logiki Stosowanej (amu.edu.pl)

Aktualizowana lista zagadnień egzaminacyjnych:

  1. Metody dowodzenia twierdzeń i automatyzacji rozumowań – kontekst historyczny.
  2. Zbiory Hintikki, Lemat Hintikki.
  3. Własność niesprzeczności, twierdzenie o istnieniu modelu.
  4. Twierdzenie o dedukcji.