TheGI 4 (Bachelor): Unterschied zwischen den Versionen

Aktuelle Version vom 24. Januar 2026, 17:05 Uhr

History Lesson!
Dieser Artikel spiegelt sehr wahrscheinlich nicht mehr den aktuellen Stand wider, könnte aber trotzdem von Interesse sein.

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

» Klausuren-Sammlung «

Fehler in den Lösungen an uns melden

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

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.

Auszüge aus der Modulbeschreibung:

Prozesse
- Einführung und Modellierung mit Petrinetzen
- Nebenläufigkeit, Parallelität und Konflikte
- Linear-algebraische Darstellung von Petrinetzen und Invariantenberechnung
- Semantik und Korrektheit von Prozessmodellierungen
- Universell-algebraische Darstellung und Morphismen von Petrinetzen
- Strukturierung von Netzen durch Union und Fusion
Datentypen
- algebraische Spezifikation abstrakter Datentypen
- klassische Semantik algebraischer Spezifikationen
- Termalgebra
- Quotiententermalgebra
- initiale Semantik
- Korrektheit und Vollständigkeit
- Strukturierung und Parametrisierung algebraischer Spezifikationen
- Modellierung kleinerer Systeme
Ausblick
- Weitere Datentyp- und Prozessmodellierungstechniken
- Integration von Datentyp und Prozessmodellierung.

Tipps und nützliche Infos

Literatur

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

Persönliche Kommentare

@@ Zeile 1: / Zeile 1: @@
-<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+{{historisch}}
-<h2>Klausuren</h2>
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/Probeklausur.pdf 2008 Probeklausur]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/ProbeklausurLsg.pdf 2008 Probeklausur Lösung]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2008_nachklausur.pdf 2008 Nachklausur]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2008_nachklausur_loesung.pdf 2008 Nachklausur Lösung]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2009_probeklausur.pdf 2009 Probeklausur]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2009_probeklausur_loesung.pdf 2009 Probeklausur Lösung]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2010_probeklausur.pdf 2010 Probeklausur]
-* [http://docs.freitagsrunde.org/Klausuren/TheGI_4/2010_probeklausur_loesung.pdf 2010 Probeklausur Lösung]
-__NOTOC__
+{{KlausurBox|TheGI_4}}
-</div>
+{{EntsprechungD|[[THI Basis]]}}
 '''Theoretische Grundlagen der Informatik 4: Spezifikation und Semantik''' ist eine Pflichtveranstaltung im vierten Semester des [[Lehrveranstaltungen Informatik|Studiengangs Informatik]] nach neuer [[StuPO Informatik|Bachelor-StuPO]]. Sie besteht aus 2 SWS [[Vorlesung]] und 2 SWS [[Übung]] und entspricht 6 [[ECTS]]-Leistungspunkten.
@@ Zeile 17: / Zeile 8: @@
 == Inhalt ==
 Die Veranstalung behandelt 2 Themen: Das erste Themen setzt an TheGI 1 an, der zweite Teil vermittelt die Grundlagen der Petrienetze.
+Auszüge aus der Modulbeschreibung:
+* Prozesse
+** Einführung und Modellierung mit Petrinetzen
+** Nebenläufigkeit, Parallelität und Konflikte
+** Linear-algebraische Darstellung von Petrinetzen und Invariantenberechnung
+** Semantik und Korrektheit von Prozessmodellierungen
+** Universell-algebraische Darstellung und Morphismen von Petrinetzen
+** Strukturierung von Netzen durch Union und Fusion
+*Datentypen
+** algebraische Spezifikation abstrakter Datentypen
+** klassische Semantik algebraischer Spezifikationen
+** Termalgebra
+** Quotiententermalgebra
+** initiale Semantik
+** Korrektheit und Vollständigkeit
+** Strukturierung und Parametrisierung algebraischer Spezifikationen
+** Modellierung kleinerer Systeme
+* Ausblick
+** Weitere Datentyp- und Prozessmodellierungstechniken
+** Integration von Datentyp und Prozessmodellierung.
 == Tipps und nützliche Infos ==
@@ Zeile 26: / Zeile 38: @@
 == Persönliche Kommentare ==
-{{EntsprechungD|[[THI Basis]]}}
+__NOTOC__
 [[Kategorie: Lehrveranstaltungen]]