TheGI 4 (Bachelor): Unterschied zwischen den Versionen
TheGI 4 Klausuren veröffentlicht |
→Inhalt: Inhalt aus Modulbeschreibung ergänzt |
||
| Zeile 17: | Zeile 17: | ||
== Inhalt == | == Inhalt == | ||
Die Veranstalung behandelt 2 Themen: Das erste Themen setzt an TheGI 1 an, der zweite Teil vermittelt die Grundlagen der Petrienetze. | 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 == | == Tipps und nützliche Infos == | ||
Version vom 31. August 2010, 08:04 Uhr
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.
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.