TheGI 4 (Bachelor): Unterschied zwischen den Versionen
(→Inhalt) |
|||
Zeile 2: | Zeile 2: | ||
== Inhalt == | == Inhalt == | ||
− | Die Veranstalung behandelt 2 Themen | + | Die Veranstalung behandelt 2 Themen: Das erste Themen setzt an TheGI 1 an, der zweite Teil vermittelt die Grundlagen der Petrienetze. |
== Tipps und nützliche Infos == | == Tipps und nützliche Infos == |
Version vom 29. März 2010, 09:11 Uhr
Theoretische Grundlagen der Informatik 4: Spezifikation und Semantik ist eine Pflichtveranstaltung im vierten Semester des Studiengangs Informatik nach neuer Bachelor-StuPO. Sie besteht aus 2 SWS Vorlesung und 2 SWS Übung und entspricht 6 ECTS-Leistungspunkten.
Inhaltsverzeichnis
Inhalt
Die Veranstalung behandelt 2 Themen: Das erste Themen setzt an TheGI 1 an, der zweite Teil vermittelt die Grundlagen der Petrienetze.
Tipps und nützliche Infos
Literatur
- Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik. Siehe Hinweise auf der TheGI-1-Seite.