Vorlesung: Vorkurs formale Methoden der Informatik
Veranstaltung
- Dozent(en):
- Beginn: 15.9.2014, 10:15, Hörsaal VII, Am Hof 1
- Zeiten: 10.15 - 12:00, Mo-Fr bis 26.9.2014
- Studiengang: Bachelor
Beschreibung
In dem Vorkurs sollen für die Informatik wichtige formale und mathematisch Grundlagen behandelt werden. Inhalte sind u.a.: