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: |
|
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: |
|
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: |
|
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: |
|