Formale Methoden 2 WS 2014/2015

 Veranstaltungsnummer  043043
 Titel  Formale Methoden 2
 Veranstalter  MSc. Gaetano Geck
 Klassifikation
  • Pflichtveranstaltung im Bachelor Lehramt Informatik Gy/Ge
  • Pflichtveranstaltung im Bachelor Lehramt Informatik BK
 Semester  Wintersemester 2014/15
 SWS  2 (1V+1Ü)
 Kreditpunkte
  • Bachelor Lehramt Informatik Gy/Ge: 3
  • Bachelor Lehramt Informatik BK: 2
 Ort und Zeit  OH 14, E02; freitags, 12:15 - 14:00 Uhr
 Querverbindungen  Vorbereitungskurs zu Grundbegriffe der Theoretischen Informatik
 Voraussetzungen
 Forum  InPUD
 Übungsleiter Gaetano Geck