Seminar Introduction in Algorithms: Algorithms in Propositional Logic
Requirements
There are no specific requirements for participation in the seminar. Students should, however, demonstrate a high degree of personal responsibility and initiative, familiarize themselves with the new subject matter, i.e., mathematical structures and algorithms, and be able to explain these independently using examples they have created themselves.
Seminar Information
Moodle
Further Information
LSF