08.079.030 Programmiersprachen

Veranstaltungsdetails

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

Veranstaltungsart: online: Vorlesung/Übung

Anzeige im Stundenplan: Programmierspr.

Semesterwochenstunden: 4

Credits: 6,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Voraussetzungen / Organisatorisches:
Empfohlene Vorkenntnisse: Inhalte der Vorlesungeen "Einführung in die Programmierung" und "Einführung in die Softwareentwicklung"

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 Do, 15. Apr. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
2 Do, 22. Apr. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
3 Do, 29. Apr. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
4 Do, 6. Mai 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
5 Do, 20. Mai 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
6 Do, 27. Mai 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
7 Do, 10. Jun. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
8 Do, 17. Jun. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
9 Do, 24. Jun. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
10 Do, 1. Jul. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
11 Do, 8. Jul. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
12 Do, 15. Jul. 2021 12:00 14:00 Online Univ.-Prof. Dr. Sebastian Erdweg
Veranstaltungseigene Prüfungen
Beschreibung Datum Lehrende/r Pflicht
1. Klausur Mi, 18. Aug. 2021 09:00-12:00 N.N. Ja
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
Lehrende/r
Univ.-Prof. Dr. Sebastian Erdweg