Syntaxe a sémantika výrokové a predikátové logiky: Rezoluční metoda v predikátové logice. Lineární rezoluce a Hornovy klauzule, SLD-rezoluce a logické programování. Tablové důkazy. Deduktivní metody v modální logice. Induktivní inference. Specializační operátory a problém odvození modelu. Nemonotonní odvozování. Logika a reprezentace znalostí.