1 Úvod. - 2 Matematické prípravy. - 2. 1 Množiny a vzťahy. - 2. 2 Funkcie a spočítateľnosť. - 2. 3 Posety a Zornova lemma. - 2. 4 stromy. - 2. 5 Matematická indukcia. - 3 Syntax jazykov prvého rádu. - 3. 1 Jazyky prvého rádu. - 3. 2 Indukcia nad členmi a vzorcami. - 3. 3 voľné a viazané premenné. - 3. 4 Striedania. - 4 Sémantika jazykov prvého rádu. - 4. 1 Štruktúry a interpretácie. - 4. 2 Substitučná lema. - 5 Gentzenov kalkul G. - 5. 1 Počet G. - 5. 2 Úplnosť G. - 6 normálnych foriem a Herbrandova veta. - 6. 1 Normálne formy. - 6. 2 Gentzenov nabrúsený Hauptsatz. - 6. 3 Skolemizácia a Herbrandova veta. - 7 Rozlíšenie a zjednotenie. - 7. 1 Pozemné rozlíšenie. - 7. 2 Zjednotenie. - 7. 3 Zlepšenie algoritmov zjednocovania. - 7. 4 Rozlíšenie a zasunutie. - 7. 5 stratégií spravodlivého odvodzovania. - 8 Zlepšenie efektivity odpočtu. - 8. 1 Oddialenie zjednotenia. - 8. 2 Rozlíšenie jednotky. - 8. 3 Rozlíšenie vstupu. - 8. 4 Lineárne rozlíšenie. - 8. 5 Hyperrozlíšenie. - 8. 6 Sémantické rozlíšenie a stratégia súboru podpory. - 8. 7 Koncepty výberu a objednávania. - 8. 8 Pojem nadbytočnosti. - 9 Rozlíšenie v triedenej logike. - 9. 1 Úvod. - 9. 2 Syntax a sémantika elementárnej triedenej logiky. - 9. 3 Relativizácia. - 9. 4 Zoradená logika s deklaráciami termínov. - 9. 5 Zjednotenie a rozlíšenie v triedených podpisoch. - 9. 6 Zložitosť triedeného zjednotenia. -Referencie. Jazyk: angličtina