Logik

Sommersemester 2020


Lehrbeauftragter: Prof. Dr. Till Mossakowski
Wochenstunden: 2 SWh Vorlesung, 2 SWh Übung
Zuhörerkreis: Bachelor CV, INF, IngIF, WIF, 1./2. Semester (für WIF sind 5 CP möglich)
Voraussetzungen: keine
Prüfung: durch Klausur am Ende des Semesters
Unbenoteter Schein: durch Klausur am Ende des Semesters

Moodle zur Lehrveranstaltung:

Inhalt: Literatur: Software: Software „Bivalence World“:

Aktuelle Informationen:
Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster