Edit course information: Proseminar Anwendungen der Logik in der Informatik (SS2021)

Name of the lecture, in the language of the lecture

Research groups offering this lecture; use Ctrl+click to select multiple groups

List of lecturers, separated by semicolon

List of exercise tutors, separated by semicolon

Semester of this lecture; for winter semesters, the start year is used, e.g., WS 2014 for WS 2014/2015

List of lecture series this lecture belongs to

Matrix channel associated with the course, e.g., #example:example.org

Associated module ids, separated by commas

SWS for lectures/exercises/practicals

Type(s) of examination; could be more than one; documentation of possible values

Description of topics and goals.

Literature list (free text), use "*" at the start of lines to create bulleted lists