Studentinnen und Studenten erlernen die Grundlagen des Programmierens im Kleinen.
Es werden die Grundlagen der Berechenbarkeit (Lambda-Kalkül, primitive Rekursion, Fixpunkte), eine Einführung in die Theorie der Programmiersprachen (Syntax (Backus-Naur-Form), operationale Semantik, Daten und Programm) gegeben.
Es werden Konzepte funktionaler Programmierung (z. B. elementare Datentypen, Ausdrücke, Funktionsdefinition, Rekursion, Funktionsabstraktion, Closure, Funktionen höherer Ordnung, universelle Polymorphie) und deren Ausführung (Auswertungsstrategien) eingeführt. Es werden Techniken zum Beweisen von Programmeigenschaften (Termersetzung, strukturelle Induktion, Terminierung, Church-Rosser-Theorem) und deren Anwendungen (Typsysteme, Typherleitung und Typüberprüfung) eingeführt.
Grundlegende Abstraktionen wie algebraische und abstrakte Datentypen und modularer Programmentwurf, sowie Nebenwirkungen (z. B. durch Monaden) anhand von Ein- und Ausgabe werden behandelt.
Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!
Course No | Course Type | Hours |
---|---|---|
19307601 | Vorlesung | 4 |
19307602 | Übung | 2 |
Time Span | 03.08.2020 - 04.09.2020 |
---|---|
Instructors |
Alexander Baumann
Johannes Sebastian Obenaus
|
Day | Time | Location | Details |
---|---|---|---|
Daily | 9-12 | 2020-08-03 - 2020-09-04 |
Day | Time | Location | Details |
---|---|---|---|
Mo,Tue,Thu,Fr | 14:30-16 | Maximilian Glinka | |
Mo,Tue,Thu,Fr | 14:30-16 | Tamara Fischer |