Arbeitsgemeinschaft Informatik, Logik und Mathematik (AG Informatik) (080360)
- Dozent/in
- Prof. Dr. Michael Hanus
- Angaben
- Arbeitsgemeinschaft, 2 SWS
Zeit und Ort: Do 12:00 - 14:00, CAP4 - R.715
vom 14.4.2024 bis zum 14.7.2024
- Zusätzliche Informationen
- Schlagwörter: Arbeitsgemeinschaft
Erwartete Teilnehmerzahl: 20
Inf-AS-PS: Masterabschlussseminar - Programmiersprachen (MASem) (080053)
- Dozent/in
- Prof. Dr. Michael Hanus
- Angaben
- Oberseminar, 2 SWS, *Auch Diplomandenseminar*
Zeit und Ort: Mi 8:30 - 12:00, CAP4 - R.715
vom 14.4.2024 bis zum 14.7.2024
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
Inf-DPS: Deklarative Programmiersprachen (DeklProgspr) (080039)
- Dozent/in
- Prof. Dr. Michael Hanus
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
für ERASMUS-/Austauschstudierende geeignet
Zeit und Ort: Mo 10:15 - 11:45, LMS8 - R.EG.009 (24); Di 16:15 - 17:45, LMS4 - R.526
vom 14.4.2024 bis zum 14.7.2024
- Voraussetzungen / Organisatorisches
- Alle Informationen sind unter
https://www.informatik.uni-kiel.de/~mh/lehre/dps24/
zu finden.
- Inhalt
- Aufgrund der Komplexität heutiger Software-Systeme ist die Verwendung
von Programmiersprachen mit einem hohen Abstraktionsniveau
notwendig. Deklarative Sprachen bieten hierzu wichtige Lösungsansätze.
Aufgrund ihrer deklarativen Struktur sind Programme leichter
wartbar und verifizierbar, was gerade für die Zuverlässigkeit und
Sicherheit von Softwaresystemen relevant ist.
Z.B. hat kürzlich die Videospielentwicklungsfirma Epic Games
die neue deklarative Programmiersprache Verse vorgestellt,
die zur Spieleentwicklung eingesetzt wird.
In dieser Vorlesung werden Konzepte moderner deklarativer Programmiersprachen
vorgestellt. Ausgehend von dem aus dem Grundstudium bekannten Konzept
der funktionalen Programmierung, das kurz wiederholt und
eingehender erläutert wird, werden funktionale Sprachen
um logische Anteile erweitert, um die Konzepte der funktionalen,
logischen und integrierten logisch-funktionalen Sprachen
in einem einheitlichen Rahmen darzustellen. Außerdem werden
die Grundlagen der funktionalen und logischen Programmierung vorgestellt.
- Empfohlene Literatur
- P. Hudak: The Haskell School of Expression: Learning Functional Programming through Multimedia, Cambridge University Press, 1999
- S. Thompson: Haskell - The Craft of Functional Programming, Addison-Wesley, 1996
- L. Sterling, E. Shapiro: The Art of Prolog, 2nd Ed., MIT Press, 1994
- M. Hanus: Functional Logic Programming: From Theory to Curry, Programming Logics - Essays in Memory of Harald Ganzinger, Springer LNCS 7797, pp. 123-168, 2013
- R. Loogen: Integration funktionaler und logischer Programmiersprachen, Oldenbourg 1995
- H. Boley: A Tight, Practical Integration of Relations and Functions, Springer LNCS 1712, 1999
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 30
www: https://www.informatik.uni-kiel.de/~mh/lehre/dps24/
- Zugeordnete Lehrveranstaltungen
- UE: Übung zu: Deklarative Programmiersprachen (080027)
-
Dozent/in: Kai Prott, M.Sc.
Zeit und Ort: Do 10:15 - 11:45, CAP3 - Hörsaal 1
Inf-MS-PS: Masterseminar - Programmiersprachen und Programmiersysteme (Inf_MSPS) (080301)
- Dozentinnen/Dozenten
- Prof. Dr. Michael Hanus, Priv.-Doz. Dr. Frank Huch
- Angaben
- Seminar, 2 SWS, ECTS-Studium, ECTS-Credits: 5, Die Veranstaltung richtet sich an Studierende der von Prof. Hanus oder Dr. Huch betreuten Masterprogramme. Interessierte Studierende sollten sich wegen eines Seminarthemas direkt an Prof. Hanus oder Dr. Huch wenden.
Zeit und Ort: Mi 8:30 - 12:00, CAP4 - R.715
vom 14.4.2024 bis zum 14.7.2024
- Voraussetzungen / Organisatorisches
- Grundkenntnisse der Programmiersprachen und Programmierparadigmen.
- Inhalt
- In diesem Seminar werden aktuelle Themen und neuere Entwicklungen im Bereich der Programmiersprachen und und der zugehörigen Programmiersysteme behandelt. Dazu gehören z.B. Konzepte für anwendungsspezifische Sprachen, Implementierungstechniken oder Programmierumgebungen.
- Empfohlene Literatur
- Die Literatur zu den einzelnen Themen wird individuell bekannt gegeben.
|
|