Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

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.

Inhalt

Tipps und nützliche Infos

Literatur

  • Ehrig, Mahr: Mathematisch-strukturelle Grundlagen der Informatik. Siehe Hinweise auf der TheGI-1-Seite.


Persönliche Kommentare

Entsprechung in der (alten) StuPO 90: THI Basis.
(Dort findet ihr Klausuren und mehr)