1 Inleiding. - 2 Wiskundige voorrondes. - 2. 1 Sets en relaties. - 2. 2 Functies en telbaarheid. - 2. 3 Posets en het lemma van Zorn. - 2. 4 bomen. - 2. 5 Wiskundige inductie. - 3 Syntaxis van eerste-orde talen. - 3. 1 Talen van de eerste orde. - 3. 2 Inductie over termen en formules. - 3. 3 vrije en gebonden variabelen. - 3. 4 Wissels. - 4 Semantiek van eerste-orde talen. - 4. 1 Structuren en interpretaties. - 4. 2 Het vervangingslemma. - 5 De Gentzen Calculus G. - 5. 1 De Calculus G. - 5. 2 Volledigheid van G. - 6 Normaalvormen en de stelling van Herbrand. - 6. 1 Normale vormen. - 6. 2 Gentzen's Geslepen Hauptsatz. - 6. 3 Skolemisatie en de stelling van Herbrand. - 7 Resolutie en eenwording. - 7. 1 Resolutie op de grond. - 7. 2 Eenwording. - 7. 3 Verbetering van unificatie-algoritmen. - 7. 4 Resolutie en subsumptie. - 7. 5 Eerlijke afleidingsstrategieën. - 8 Verbetering van de aftrekefficiëntie. - 8. 1 Eenwording uitstellen. - 8. 2 Eenheid resolutie. - 8. 3 Invoer resolutie. - 8. 4 Lineaire resolutie. - 8. 5 Hyperresolutie. - 8. 6 Semantische resolutie en de ondersteuningsstrategie. - 8. 7 Selectie- en bestelconcepten. - 8. 8 Een begrip van redundantie. - 9 Resolutie in gesorteerde logica. - 9. 1 Inleiding. - 9. 2 Syntaxis en semantiek van elementaire gesorteerde logica. - 9. 3 Relativering. - 9. 4 Gesorteerde logica met termdeclaraties. - 9. 5 Unificatie en resolutie in gesorteerde handtekeningen. - 9. 6 Complexiteit van gesorteerde eenwording. -Verwijzingen. Taal: Engels