08.079.030 Programmiersprachen

Veranstaltungsdetails

Lehrende/r: Univ.-Prof. Dr. Sebastian Erdweg

Veranstaltungsart: Vorlesung/Übung

Anzeige im Stundenplan: Programmierspr.

Semesterwochenstunden: 4

Credits: 6,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Voraussetzungen / Organisatorisches:
Bitte beachten Sie, dass im Gegensatz zur Darstellung auf dem Studienverlaufsplan des B.Sc. die Vorlesung Programmiersprachen erst frühstens ab dem 3. Semester geeignet ist. Kenntnisse in Programmierung werden zwingend vorausgesetzt und auch Inhalte aus der Veranstaltung Formale Sprachen und Berechenbarkeit werden empfohlen.

Benötigte Vorkenntnisse: Inhalt der Vorlesung "Einführung in die Programmierung"

Inhalt:
Programmiersprachen sind das wohl wichtigste Werkzeug zur Entwicklung von Software, und das Erlangen von Programmierkompetenzen setzt immer zunächst die Beherrschung einer Programmiersprache voraus. In der Veranstaltung "Programmiersprachen" wollen wir untersuchen, was eine Programmiersprache eigentlich ausmacht, woraus sie besteht. Dazu untersuchen wir grundlegende Programmierkonzepte: wozu sie dienen und wie sie funtionieren. Wir behandeln die folgenden Konzepte:


  • Syntax
  • Intepreter Semantik
  • Variablen als Platzhalter
  • Funktionen erster und höherer Ordnung
  • Algebraische Datentypen und Pattern Matching
  • Rekursion
  • Veränderliche Variablen und Speicherverwaltung
  • Objektorientierung
  • Operationale Semantik

Empfohlene Literatur:
"Programming Languages: Application and Interpretation" by Shriram Krishnamurthi. Online at http://cs.brown.edu/courses/cs173/2012/book/

Digitale Lehre:
Alle weiteren Informationen werden wir auf Moodle bekanntgeben (https://lms.uni-mainz.de).

Termine
Datum Von Bis Raum Lehrende/r
1 Mo, 25. Apr. 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
2 Mo, 2. Mai 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
3 Mo, 9. Mai 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
4 Mo, 16. Mai 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
5 Mo, 23. Mai 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
6 Mo, 30. Mai 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
7 Mo, 13. Jun. 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
8 Mo, 20. Jun. 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
9 Mo, 27. Jun. 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
10 Mo, 4. Jul. 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
11 Mo, 11. Jul. 2022 12:00 14:00 00 319 C 01 Univ.-Prof. Dr. Sebastian Erdweg
12 Mo, 18. Jul. 2022 12:00 14:00 00 212 S 1 Univ.-Prof. Dr. Sebastian Erdweg
Veranstaltungseigene Prüfungen
Beschreibung Datum Lehrende/r Pflicht
1. Klausur Fr, 5. Aug. 2022 09:00-12:00 Univ.-Prof. Dr. Sebastian Erdweg Ja
2. Klausur (Wdh.) Fr, 16. Dez. 2022 12:00-15:00 Univ.-Prof. Dr. Sebastian Erdweg Ja
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
Lehrende/r
Univ.-Prof. Dr. Sebastian Erdweg