Vorlesung: Vorkurs formale Methoden der Informatik
Veranstaltung
- Dozent(en):
- Beginn: 28.9.2015, 10:15, HS 2, Römerstr. 164
- Zeiten: 10.15 - 12:00, Mo-Fr bis 9.10.2015
- Studiengang: Bachelor
Beschreibung
In dem Vorkurs sollen für die Informatik wichtige formale und mathematisch Grundlagen behandelt werden. Inhalte sind u.a.: