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

(Inhalt)
Zeile 2: Zeile 2:
  
 
== Inhalt ==
 
== Inhalt ==
 
+
Die Veranstalung behandelt 2 Themen das erste Themen setzt an TheGI 1 , der zweite Teil vermittelt die Grundlagen der Petrie Netze.
  
 
== Tipps und nützliche Infos ==
 
== Tipps und nützliche Infos ==

Version vom 26. Oktober 2008, 00:33 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

Die Veranstalung behandelt 2 Themen das erste Themen setzt an TheGI 1 , der zweite Teil vermittelt die Grundlagen der Petrie Netze.

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)