CS2350 Generische Programmierung
- Prof. Dr. Uwe Meyer
- Björn Lötters
- Prof. Dr. Uwe Meyer
- Informatik (B.Sc. 2010)
- Bioinformatik (B.Sc. 2012)
- Ingenieur-Informatik (B.Sc. 2010)
Techniken und Konzepte mit denen Programme und Programmkomponenten verallgemeinert und flexibel einsetzbar gemacht werden.
Bei der generischen Programmierung geht es darum, Programme und Programmkomponenten durch Verallgemeinerung flexibler einsetzbar zu machen. Die relevanten Fragestellungen werden üblicherweise getrennt entweder im Kontext der funktionalen Programmierung oder der imperativen- Programmierung betrachtet. In dieser Veranstaltung werden beide Herangehensweisen zusammengeführt.
- Mathematischer Hintergrund
- Generische Typen
- Algebraischer Entwurf
- Faltungen, Monoide, Funktoren, natürliche Transformationen und Monaden
- Datentyp-generische Programmierung
- Anwendungen, Beispiel-Bibliotheken
Fachkompetenzen
- Die Studierenden können die unterschiedlichen Aspekte von Softwarekomponenten unterscheiden, die einer Verallgemeinerung zugänglich sind.
Methodenkompetenzen (fachlich & überfachlich)
- Sie können die Anwendbarkeit auf konkrete Problemstellungen beurteilen.
Sozialkompetenzen
- Die Studierenden können diese Aspekte in Gruppenarbeit auf Projekte anwenden.
Selbstkompetenzen
- Die Studierenden können ihre Herangehensweise reflektieren, präsentieren und diese verteidigen.
- 6 CrP
- Arbeitsaufwand 180 Std.
- Präsenzzeit 60 Std.
- Selbststudium 120 Std.
- 4 SWS
- Seminaristischer Unterricht 4 SWS
- Bioinformatik (B.Sc. 2012)
- Informatik (B.Sc. 2010)
- Ingenieur-Informatik (B.Sc. 2010)
Nein
Bonuspunkte werden gemäß § 9 (4) der Allgemeinen Bestimmungen vergeben. Art und Weise der Zusatzleistungen wird den Studierenden zu Veranstaltungsbeginn rechtzeitig und in geeigneter Art und Weise mitgeteilt.
Prüfungsvorleistung: Keine
Prüfungsleistung: Klausur oder mündliche Prüfung (Art und Umfang der Prüfungsleistung wird den Studierenden rechtzeitig und in geeigneter Weise bekannt gegeben.)
- Chiusano, P.; Bjarnason, R.: Functional Programming in Scala. Manning.
- Stepanov, A.; Rose, E.: From Mathematics to Generic Programming. Pearson.
- Forschungsberichte nach Bedarf.
Rechtliche Hinweise
- Diese Informationen geben den in den Online-Diensten für Studierende erfassten Datenbestand wieder.
- Die rechtskräftigen und damit verbindlichen Fassungen der Modulhandbücher finden Sie im Amtlichen Mitteilungsblatt der THM (AMB).
- Alle gültigen Prüfungsbestimmungen für die THM-Studiengänge können Sie außerdem in komfortabler Leseversion über den Downloadbereich auf der Homepage des Prüfungsamts einsehen.