19307601
Vorlesung
SoSe 21: ProInformatik II: Funktionale Programmierung
Katharina Klost
Zusätzl. Angaben / Voraussetzungen
Kommentar
Inhalte
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.
SchließenLiteraturhinweise
- Simon Thompson: Haskell: The Craft of Functional Programming, Third Edition, Addison-Wesley, 2011.
- Graham Hutton: Programming in Haskell, Cambridge University Press, 2007
- Bird, R./Wadler, Ph.: Einführung in Funktionale Programmierung, Hanser Verlag, 1982.
- Hans Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Springer-Verlag, 1978.
50 Termine
Regelmäßige Termine der Lehrveranstaltung
Mo, 19.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Di, 20.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mi, 21.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Do, 22.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Fr, 23.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mo, 26.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Di, 27.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mi, 28.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Do, 29.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Fr, 30.07.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mo, 02.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Di, 03.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mi, 04.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Do, 05.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Fr, 06.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mo, 09.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Di, 10.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mi, 11.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Do, 12.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Fr, 13.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mo, 16.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Di, 17.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mi, 18.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Do, 19.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Fr, 20.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
Mo, 19.07.2021 09:00 - 12:00
Di, 20.07.2021 09:00 - 12:00
Mi, 21.07.2021 09:00 - 12:00
Do, 22.07.2021 09:00 - 12:00
Fr, 23.07.2021 09:00 - 12:00
Mo, 26.07.2021 09:00 - 12:00
Di, 27.07.2021 09:00 - 12:00
Mi, 28.07.2021 09:00 - 12:00
Do, 29.07.2021 09:00 - 12:00
Fr, 30.07.2021 09:00 - 12:00
Mo, 02.08.2021 09:00 - 12:00
Di, 03.08.2021 09:00 - 12:00
Mi, 04.08.2021 09:00 - 12:00
Do, 05.08.2021 09:00 - 12:00
Fr, 06.08.2021 09:00 - 12:00
Mo, 09.08.2021 09:00 - 12:00
Di, 10.08.2021 09:00 - 12:00
Mi, 11.08.2021 09:00 - 12:00
Do, 12.08.2021 09:00 - 12:00
Fr, 13.08.2021 09:00 - 12:00
Mo, 16.08.2021 09:00 - 12:00
Di, 17.08.2021 09:00 - 12:00
Mi, 18.08.2021 09:00 - 12:00
Do, 19.08.2021 09:00 - 12:00
Fr, 20.08.2021 09:00 - 12:00
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
ProInformatik II: Funktionale Programmierung
Inhalte
Studentinnen und Studenten erlernen die Grundlagen des Programmierens im Kleinen. Es werden die Grundlagen der Berechenbarkeit (Lambda-Kalkül, primitive Rekursion, Fixpunkte), eine ... Lesen Sie weiter