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. 

Lecturer

Lisa-Marie Jaser

Prof. Dr. Jacobo Torán

(responsible Professor)

Seminar Information

Moodle

Further Information

LSF