12470 - Semantik von Programmiersprachen: Konzepte und Vergleiche Modulübersicht

Modulnummer: 12470 - Modul nicht mehr im Angebot ab SS 2010
Modultitel:Semantik von Programmiersprachen: Konzepte und Vergleiche
  Semantics of Programming Languages: Concepts and Comparisons
Einrichtung: Fakultät 1 - Mathematik, Naturwissenschaften und Informatik
Verantwortlich:
  • Prof. Dr.rer.nat.habil. Bachmann, Peter
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: sporadisch nach Ankündigung
Leistungspunkte: 8
Lernziele:Die Studierenden erhalten einen Einblick in verschiedene semantische Konzepte von Programmiersprachen und in Formen der Semantik-Beschreibung.
Damit werden sie befähigt, die Konzepte hinsichtlich ihrer Nutzbarkeit und ihrer Grenzen zu bewerten sowie eigene Forschungsbeiträge auf diesem Gebiet, zum Beispiel beim Entwurf von Sprachen, zu leisten.
Inhalte:- Grundlegende Programmierparadigmen und íhre Semantik: imperative, funktionale, logische.
- Arten der Semantik-Beschreibung und ihre Eignung hinsichtlich der formalen Verifikation: operational, denotational, axiomatisch.
- Vergleich von Programmiersprachen hinsichtlich Typen und Klassen, Modularisierung und Kapselung, Funktionen und Bindungen, Steuerstrukturen.
- Einführung in die Domain-Theorie.
Empfohlene Voraussetzungen:- Allgemeine Kenntnisse zur Programmierung in höheren Programmiersprachen.
- Kenntnis des Stoffes von Modul 12-1-01: „Algorithmieren und Programmieren.“.
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 4 SWS
  • Übung / 2 SWS
  • Selbststudium / 150 Stunden
Unterrichtsmaterialien und Literaturhinweise:Werden zu Beginn der Lehrveranstaltung ausgegeben.
Modulprüfung:Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich!
Prüfungsleistung/en für Modulprüfung:Prüfungsgespräch, mündlich
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
Bemerkungen:- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 400
- Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400
- Studiengang IMT Master, Komplex „Methodische Grundlagen"
Veranstaltungen zum Modul:Vorlesung: Semantik von Programmiersprachen: Konzepte und Vergleiche
Übung zur Vorlesung
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden