 |
Formale Methoden (Wirtschaftsinformatik)
Pflichtbereich 3. Semester Wirtschaftsinformatik
| Vorlesung | 2V+1Ü |
|---|
| Dozenten: | Claus |
|---|
| Termine: | Di 9:45 bis 11:15 | im 0.124 | | Vorlesung | ab 14.10. |
|---|
| Übungen: | Di 8:00 bis 9:30 | im 0.124 | | Übung 14-tägig | ab 21.10. |
|---|
Voraussetzungen
Mathematische Grundkenntnisse aus einer mindestens 4-SWS-Mathematikvorlesung und die Informatikinhalte aus den
Grundvorlesungen "Einführung in die Informatik I und II" (vor allem Programmierung und Datenstrukturen).
Übungen
Da höchstens 30 Teilnehmer(innen) erwartet werden, erfolgen die Verwaltung und Abgabe der Übungen
in altem Stil mit Übungsblättern und Papierlösungen.
|
Pro