Direkt zum Inhalt | Direkt zur Navigation

Sektionen

Institut

Benutzerspezifische Werkzeuge

Anmelden

Sie sind hier: Startseite → Willkommen → Professuren → Ordentliche Professuren → Theoretische Informatik → Lehrveranstaltungen → Sommersemester 2014 → Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese → Aktuelles

Theoretische Informatik

Aktuelles: Veranstaltung ab sofort Mittwoch 9:30-13:00; Weiter…

Aktuelles

Veranstaltung ab sofort Mittwoch 9:30-13:00: Beide Veranstaltungstermine finden jetzt am Mittwoch als Block statt. 9:30-13:00 im Raum 1.02

Artikelaktionen

Auf einen Blick: Lehrform diverse Formen; Empfohlen ab FS 6; Voraussetzungen Teilnahme an Automatisierte Logik und Programmierung I; Benotet Ja; Punkte gesamt 6; davon praktisch 0; Sprache deutsch; Fremdhörer zugelassen? Nein; Teilgebiete Theoretische Informatik(2000), Angewandte Informatik(4000), Wahlfrei(7000); Studiengang Bachelor, Master; Belegung via PULS