Automation of First- and Higher-Order Logic
Einführung in Theorie und Praxis des automatisierten Theorembeweisens mit Fokus auf klassische Aussagenlogik, erste und höhere Ordnung. Studierenden erwerben Kompetenzen in der Entwicklung von korrekten und vollständigen Beweiskalkeln sowie deren Implementierung in modernen funktionalen und agentenorientierten Programmiersprachen.