TheGI 4 (Bachelor): Unterschied zwischen den Versionen
Zeile 5: | Zeile 5: | ||
== Tipps und nützliche Infos == | == Tipps und nützliche Infos == | ||
+ | |||
+ | == Literatur == | ||
+ | * Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik. Siehe Hinweise auf der [[TheGI 1 (Bachelor)#Literatur|TheGI-1-Seite]]. | ||
Version vom 22. August 2006, 03:01 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
Tipps und nützliche Infos
Literatur
- Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik. Siehe Hinweise auf der TheGI-1-Seite.