Letztes Semester

Programmiersprachen

Dozent:innen: Univ.-Prof. Dr. Sebastian Erdweg
Kurzname: Programmierspr.
Kurs-Nr.: 08.079.030
Kurstyp: Vorlesung/Übung

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"

Digitale Lehre

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

Empfohlene Literatur

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

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:

  1. Syntax
  2. Intepreter Semantik
  3. Variablen als Platzhalter
  4. Funktionen erster und höherer Ordnung
  5. Algebraische Datentypen und Pattern Matching
  6. Rekursion
  7. Veränderliche Variablen und Speicherverwaltung
  8. Objektorientierung
  9. Operationale Semantik

Termine

Datum (Wochentag) Zeit Ort
17.04.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
24.04.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
08.05.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
15.05.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
22.05.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
05.06.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
12.06.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
19.06.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
26.06.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
03.07.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
10.07.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude
17.07.2023 (Montag) 12:00 - 14:00 00 319 C 01
2321 - Schulz-Horner-Gebäude