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

 
(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 ==
  
{{EntsprechungD|[[THI Basis]]}}
+
__NOTOC__
 
 
 
[[Kategorie: Lehrveranstaltungen]]
 
[[Kategorie: Lehrveranstaltungen]]

Aktuelle Version vom 5. März 2013, 19:00 Uhr

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