Moderne Funktionale Programmierung
Titel auf Englisch: Modern Functional Programming
Lernergebnisse
Qualifikationsziel dieses Moduls ist es, die Studierenden mit modernen funktionalen Programmiertechniken vertraut zu machen. Die erlernten theoretischen und praktischen Grundlagen und weiterführenden funktionalen Techniken erlauben ihnen, sich selbstständig in aktuelle Forschungsthemen und Entwicklungen auf dem Gebiet der funktionalen Sprachen einzuarbeiten.
Inhalte
- Theoretische und praktische Grundlagen funktionaler Sprachen und der funktionalen Programmierung
- Funktionale Algorithmen (Funktionen höherer Ordnung, funktionale Scanner und Parser, Fixpunkte, Gleichungssysteme und transitive Hüllen)
- Funktionale Datenstrukturen
- Monaden
- Typisierung
- Programmtransformationen
- Funktional-logische Programmierung
Voraussetzungen
Verpflichtende Voraussetzungen
Keine
Empfohlene Voraussetzungen
Grundkenntnisse in der Programmierung.
Prüfungsmodalitäten
- Mündliche Prüfung, 30-45 min. ODER
- Klausur, 90 min. (bei erhöhter Teilnehmerzahl)
Angeboten in
- Angewandte MathematikM.Sc.
Wahlpflichtkomplex: Anwendungen
- Angewandte MathematikM.Sc.
Wahlpflichtkomplex: Informatik
- InformatikB.Sc.
Wahlpflichtkomplex: Grundlagen der Informatik
| Studiengang | Abschluss | Wahlpflichtkomplex |
|---|---|---|
| Angewandte Mathematik | M.Sc. | Anwendungen |
| Angewandte Mathematik | M.Sc. | Informatik |
| Informatik | B.Sc. | Grundlagen der Informatik |
Literatur und Materialien
Aktuelle Literaturhinweise sind auf der Web-Seite zur Lehrveranstaltung zu finden.
Bewertungen von Studierenden
Was Studierende über dieses Modul sagen. Die BTU hat damit nichts zu tun — hier schreiben nur Studierende, und jede Bewertung ist die Meinung einer einzelnen Person.