Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge
 

Termine

Seminar Seminar Theoretische Informatik - Methoden des automatischen Theorembeweisens (3.04.2.01, von 15.10.2014 12:00 bis 15.10.2014 14:00)
Seminar, Frank, Mi. 12:00-14:00, 3.04.2.01
Artikelaktionen
Auf einen Blick
Sprechzeiten

Mittwoch, 14-15 Uhr

Raum: 3.04.1.23
Lehrform Seminar
Empfohlen ab FS 5
Voraussetzungen Grundkenntnisse der Informatik aus den ersten 4 Semestern, vor allen aus den Bereichen Theoretische Informatik und Logik.
Benotet Ja
Punkte gesamt 3
davon praktisch 3
Sprache deutsch/englisch
Fremdhörer zugelassen? Nein
Teilgebiete Theoretische Informatik(2000), Praktische Informatik(3000), Wahlfrei(7000)
Studiengang Bachelor, Master
Belegung via PULS