PULS
Foto: Matthias Friel
In the focus of the seminar are proofs as emitted by automated systems. We will consider issues such as:
The seminar is based on literature that presents background material and recent research papers.
The course language is English or German, depending on the participants.
The schedule is planned as follows: A regular weekly introductory part at the beginning, some intermediate meetings, and a final part in blocked form with the main student presentations.
Basic knowledge of propositional logic and predicate logic is presupposed.
Helpful is some knowledge of processing methods for logics and practical systems that realize these. For example, Prolog, first-order theorem provers, proof assistants, SAT solvers, Answer Set Programming systems or Description Logic reasoners.
© Copyright HISHochschul-Informations-System eG