185.A03 Funktionale Programmierung
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022W, VU, 2.0h, 3.0EC, wird geblockt abgehalten
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Hybrid

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage (u.a.)

  • die grundlegenden Prinzipien und Konzepte des funktionalen Programmierstils und seiner theoretischen Fundierung
    • zu erläutern und von anderen Programmierstilen wie prozeduraler, objektorientierter, logischer Programmierung abzugrenzen,
    • am Beispiel der funktionalen Programmiersprache Haskell aufzuzeigen und zu illustrieren.
  • programmiertechnische Aufgabenstellungen im Kleinen
    • in aufgabenangemessene Haskell-Programme umzusetzen,
    • aussagekräftige Testfälle für die Validierung dieser Programme zu erstellen,
    • die Programme mit einem Sprachinterpretierer wie GHCi oder Hugs auszuführen.
  • die Bedeutung und Auswertungsweise von Haskell-Programmen
    • zu erklären,
    • schrittweise mit Papier und Bleistift für verschiedene Auswertungsordnungen auszuführen. 
  • das gewählte programmier- und nichtprogrammiersprachliche Vorgehen sachlich und fachlich zu begründen.
  • Haskell-Programme auf syntaktische und semantische Korrektheit, Allgemeinheit, Wiederverwendbarkeit, Effizienz- und Performanzeigenschaften, angemessene Verwendung funktionaler programmiersprachlicher Konzepte zu untersuchen, beurteilen und wertend zu vergleichen.

 

Inhalt der Lehrveranstaltung

Die Vorlesung führt in Theorie und Praxis in die Prinzipien und
Konzepte des funktionalen Programmierstils ein und spannt dabei den
Bogen von den Grundlagen bis zur Anwendung. In den
vorlesungsbegleitenden Übungen wird am Beispiel
konkreter Aufgabenstellungen praktisch vorgeführt und diskutiert, wie
sich diese zur Lösung einsetzen lassen. Dabei sollen insbesondere auch
eigene Lösungsvorschläge vorgestellt und zur Diskussion gestellt
werden. Im Übungsteil wird der funktionale Programmierstil anhand von
Beispielen eigenständig angewendet und eingeübt und so ein vertieftes
theoretisches und praktisches Verständnis für die Konzepte und
Prinzipien funktionaler Programmierung erarbeitet und erworben. Als
Demonstrations- und Implementierungssprache wird in Vorlesung und
Übung die funktionale state-of-the-art Programmiersprache Haskell
verwendet.

Teil I: Einführung

  • Motivation

Teil II: Grundlagen

  • Elementare Typen, Tupel, Listen, Zeichenreihen
  • Funktionen
  • Typsynonyme, Neue Typen, Typklassen
  • Algebraische Datentypdeklarationen
  • Muster und mehr

Teil III: Applikative Programmierung       

  • Rekursion
  • Auswertung von Ausdrücken
  • Programmentwicklung, Programmverstehen

Teil IV: Funktionale Programmierung

  • Funktionen höherer Ordnung
  • Polymorphie

Teil V: Fundierung funktionaler Programmierung

  • Lambda-Kalkül
  • Auswertungsordnungen
  • Typprüfung, Typinferenz

Teil VI: Weiterführende Konzepte

  • Ein- und Ausgabe
  • Fehlerbehandlung
  • Module
  • Reflexives Programmieren
  • Programmieren mit Strömen und Funktionen höherer Ordnung

Teil VII: Abschluss

  • Rückschau, Ausschau

 Literaturverzeichnis

Anhänge

  • Formale Rechenmodelle
  • Andere funktionale Programmiersprachen
  • Implementierungsaspekte

Ausgewählte Leseempfehlungen

  • Simon Thompson. Haskell: The Craft of Functional Programming.
    Addison-Wesley/Pearson, 3. Auflage, 2011.
  • Ernst-Erich Doberkat. Haskell: Eine Einführung für Objektorientierte.
    Oldenbourg Verlag, 2012.
  • Peter Pepper. Funktionale Programmierung in OPAL, ML, Haskell und Gofer.
    Springer-V., 2. Auflage, 2003.
  • Simon Peyton Jones (Hrsg.). Haskell 98: Language and Libraries.
    The Revised Report. Cambridge University Press, 2003. 

Methoden

Methoden:

  1. Angeleitetes eigenständiges Erlernen und Einüben: Durch Vorträge (Orientierung, Einordnung) und umgekehrte Klassenzimmersitzungen (Übung, Vertiefung nach Eigenstudium) angeleitetes eigenständiges Erlernen und Einüben der in den Lernergebnissen beschriebenen Fähigkeiten mithilfe bereit gestellter Lehr- und Lernunterlagen, programmier- und nichtprogrammiertechnischer Übungsaufgaben und weiterer nach Bedarf, Interesse selbstgewählter Materialien aus zur ergänzend und vertiefend vorgeschlagenen Lehrbüchern, Tutorien und wissenschaftlichen Originalarbeiten.
  2. Vorbild- und rückmeldungsgeleitetes Lernen: Präsentieren, erläutern, begründen, vergleichen, wertend gegenüberstellen eigener und fremder Aufgabenlösungen aus sachlicher und fachlicher Sicht in tutorgeleiteten Übungsgruppen.
  3. Selbsteinschätzungstests: Tests, Leit- und Kontrollfragen zur regelmäßigen Seibsteinschätzung und Selbstreflexion des bisherigen eigenen Lernfortschritts und Lernerfolgs.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Die Veranstaltung ist als Präsenzveranstaltung geplant. Im Fall erneuter pandemie- oder neu energiebedingter Einschränkungen wird die Lehrveranstaltung auf einen Online-Modus umgestellt.

Aufteilung der ECTS-Punkte:

Der Lehrveranstaltung sind 3.0 ECTS-Punkte zugeordnet. Diese
entsprechen einem durchschnittlichen Lernaufwand von 75
Stunden. Dieser durchschnittliche Lernaufwand verteilt sich in
folgender Weise auf die einzelnen Lernaktivitäten der Lehrveranstaltung
(die Angaben Teil I bis Teil VII beziehen sich auf die entsprechenden Teile
der Lehrveranstaltungsunterlagen):

  • Angeleitete Lernaktivitäten (14.0h)
    • Vortrag: 7.0h (7 Termine * 1.0h)
    • Umgekehrtes Klassenzimmer: 1.75h (7 Termine * 0.25h)
    • Übungen: 5.25h (7 Termine * 0.75h)
  • Eigenständige Lernaktivitäten (58.75h)
    • Selbstgeleitetes Erarbeiten von Lernergebnissen: 29.0h (Richtwert: Teil I/3.0h, Teil II/5.0h, Teil III/3.0h, Teil IV/6.5h, Teil V/6.5h, Teil VI/4.0h, Teil VII/1.0h)
    • Speziell: Lösen der Übungsaufgaben: 25.5h (Richtwert: 4 Angaben * 3.0h + 3 Angaben * 4.5h)
    • Vorbereitung auf schriftliche Tests (z.B. Frage&Antwort-Vorlesungs- und Laborforen): 4.25h
  • Schriftlicher Test (in Hörsaalpräsenz, falls möglich, sonst online, 1.5h)

Die Lehrveranstaltung beginnt mit Vorbesprechung und erstem Vortragsteil am Donnerstag, den 06.10.2022, 13:15-14:45 Uhr, im Informatik-Hörsaal.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.13:00 - 15:0006.10.2022 - 15.12.2022Informatikhörsaal - ARCH-INF Vorlesung
Mi.10:00 - 12:0016.11.2022Seminarraum Techn. Informatik 185.A03 Funktionale Programmierung
Funktionale Programmierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.06.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Do.13.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Do.20.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Do.27.10.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Do.03.11.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Do.10.11.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Mi.16.11.202210:00 - 12:00Seminarraum Techn. Informatik 185.A03 Funktionale Programmierung
Do.17.11.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Do.24.11.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Do.01.12.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
Do.15.12.202213:00 - 15:00Informatikhörsaal - ARCH-INF Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

  • 7 beurteilte Angaben programmiertechnischer Aufgaben mit je 2 Abgabemöglichkeiten.
  • 3 beurteilte 90-minütige schriftliche Tests über Vorlesungs- und Übungsstoff mit 1 bis 3 Testteilnahmen nach eigener Wahl.

Weitere beurteilte Leistungsnachweise gibt es nicht.

Beurteilung, Beurteilungsschema

Gesamtbeurteilung gewichtet im Verhältnis 1 zu 1 aus Beurteilungen der programmiersprachlichen Aufgabenlösungen und der schriftlichen Tests, falls beide Teilbeurteilungen positiv sind, sonst nicht genügend.

Erreichte Punkte aus programmiersprachlichen Angaben: Summe der Punkte aus allen 7 Angaben; erreichte Punkte pro Angabe: Hälfte der Punktsumme aus Erst- und Zweitabgabe zu einer Angabe. Erreichte Punkte aus schriflichen Tests: Summe der Punkte aus allen Testteilnahmen geteilt durch die Anzahl an Testteilnahmen.

Beurteilungsschema für programmiersprachliche Aufgabenlösungen, schriftlicheTests und Gesamtbeurteilung: ab 50% genügend, ab 62.5% befriedigend, ab 75% gut, ab 87.5% sehr gut.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Do.16:00 - 18:0019.01.2023FH Hörsaal 1 - MWB schriftlich01.12.2022 02:00 - 05.01.2023 18:00in TISSSchriftlicher Test 1 auf Papier / Do, 19.01.2023, 16-18 Uhr
Fr.16:00 - 18:0003.03.2023FH Hörsaal 1 - MWB schriftlich31.01.2023 02:00 - 24.02.2023 18:00in TISSSchriftlicher Test 2 auf Papier / Fr, 03.03.2023, 16-18 Uhr
Fr.10:00 - 12:0002.06.2023FH Hörsaal 1 - MWB schriftlich01.05.2023 02:00 - 26.05.2023 18:00in TISSSchriftlicher Test 3 auf Papier / Fr, 02.06.2022, 10-12 Uhr

Gruppentermine

GruppeTagZeitDatumOrtBeschreibung
RaumreservierungDo.09:00 - 14:0003.11.2022 - 22.12.2022Seminarraum Techn. Informatik 185.A03 Funktionale Programmierung Raumreservierung
RaumreservierungDo.16:00 - 18:0003.11.2022 - 22.12.2022Seminarraum Techn. Informatik 185.A03 Funktionale Programmierung Raumreservierung
RaumreservierungDi.09:00 - 18:0008.11.2022 - 20.12.2022Seminarraum Techn. Informatik 185.A03 Funktionale Programmierung Raumreservierung

LVA-Anmeldung

Von Bis Abmeldung bis
26.08.2022 01:00 07.10.2022 12:00 28.10.2022 12:00

Anmeldemodalitäten

Die Anmeldung zur Lehrveranstaltung erfolgt über TISS. Diese ist
maßgeblich für die Teilnahme an der Lehrveranstaltung und unterliegt
den in den Studienplänen genannten Voraussetzungen.

Nach Abschluss der Anmeldeperiode wird für die Studierenden mit
valider Anmeldung ein persönliches Benutzerkonto auf der Maschine
g0.complang.tuwien.ac.at eingerichtet. Benutzerkennung und erstes
Losungswort werden jedem Teilnehmer durch Nachricht an die
Standardadresse <e-Matr.Nr>@student.tuwien.ac.at mitgeteilt. Dieses
erste Losungswort ist im Zuge des ersten Einbuchens auf das
Benutzerkonto durch ein selbstgewähltes neues Zugangswort zu ersetzen.


Gruppen-Anmeldung

GruppeAnmeldung VonBis
KÜG 1, verschmilzt ab 22.11.21 mit KÜG 212.10.2022 20:0021.10.2022 20:00
KÜG 2&1 (Hannes Siebenhandl) / Mo, 10-11 Uhr12.10.2022 20:0021.10.2022 20:00
KÜG 3&4 (Samuel Pilz) / Mo, 10-11 Uhr12.10.2022 20:0021.10.2022 20:00
KÜG 4, verschmilzt ab 22.11.21 mit KÜG 312.10.2022 20:0021.10.2022 20:00
KÜG 5, verschmilzt ab 22.11.21 mit KÜG 612.10.2022 20:0021.10.2022 20:00
KÜG 6,5&7 (Samuel Pilz) / Mo, 17-18 Uhr12.10.2022 20:0021.10.2022 20:00
KÜG 7, verschmilzt ab 22.11.21 mit KÜG 612.10.2022 20:0021.10.2022 20:00
KÜG 8,9&10 (Hannes Siebenhandl) / Mi, 12-13 Uhr12.10.2022 20:0021.10.2022 20:00
KÜG 9, verschmilzt ab 17.11.21 mit KÜG 812.10.2022 20:0021.10.2022 20:00
KÜG 10, verschmilzt ab 17.11.21 mit KÜG 812.10.2022 20:0021.10.2022 20:00
KÜG 11, verschmilzt ab 19.11.21 mit KÜG 1312.10.2022 20:0021.10.2022 20:00
KÜG 12, entfällt12.10.2022 20:0021.10.2022 20:00
KÜG 13&11 (Niki Herl) / Fr, 12-13 Uhr12.10.2022 20:0021.10.2022 20:00
KÜG 14&15 (Niki Herl) / Fr, 15-16 Uhr12.10.2022 20:0021.10.2022 20:00
KÜG 15, verschmilzt ab 19.11.21 mit KÜG 1412.10.2022 20:0021.10.2022 20:00
KÜG 16, entfällt12.10.2022 20:0021.10.2022 20:00
KÜG 17, entfällt12.10.2022 20:0021.10.2022 20:00
Raumreservierung31.01.2023 00:00

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 526 Wirtschaftsinformatik STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering 3. SemesterSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
860 GW Gebundene Wahlfächer - Technische Mathematik STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

  • Allgemein: Beherrschung der in den Lehrveranstaltungen des 1. Studienjahrs unterrichteten fachlichen, methodischen, kognitiven, praktischen, sozialen und Selbstkompetenzen auf den dort zu erreichenden Kompetenzniveaus.
  • Speziell: Abstraktes Denken, mathematisch-logisches Denken und Ausdrucksweise.

Vorausgehende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Sprache

Deutsch