TheGI 4 (Bachelor)

Klausuren

• 2008 Probeklausur
• 2008 Probeklausur Lösung
• 2008 Nachklausur
• 2008 Nachklausur Lösung
• 2009 Probeklausur
• 2009 Probeklausur Lösung
• 2010 Probeklausur
• 2010 Probeklausur Lösung

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 an, der zweite Teil vermittelt die Grundlagen der Petrienetze.

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)