TheGI 4 (Bachelor): Unterschied zwischen den Versionen
PaulG (Diskussion | Beiträge) |
|||
| (4 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
| + | {{KlausurBox|TheGI_4}} | ||
| + | {{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. | '''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. | ||
== 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 == | ||
| Zeile 12: | Zeile 36: | ||
== Persönliche Kommentare == | == Persönliche Kommentare == | ||
| − | + | __NOTOC__ | |
| − | |||
[[Kategorie: Lehrveranstaltungen]] | [[Kategorie: Lehrveranstaltungen]] | ||
Aktuelle Version vom 5. März 2013, 19:00 Uhr
Musterklausuren
Bitte beachte die Hinweise zu Altklausuren.
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.
