PTI06360 – Deklarative Programmierung

Modul
Deklarative Programmierung
Declarative Programming
Modulnummer
PTI06360
Version: 1
Fakultät
Physikalische Technik / Informatik
Niveau
Bachelor
Dauer
1 Semester
Turnus
Wintersemester
Modulverantwortliche/-r

FG Informatik
Tina.Geweniger(at)fh-zwickau.de
Dozent/-in(nen)

FG Informatik
Tina.Geweniger(at)fh-zwickau.de
Lehrsprache(n)

Deutsch
in "Deklarative Programmierung"
ECTS-Credits

4.00 Credits

Workload

120 Stunden

Lehrveranstaltungen

3.00 SWS (2.00 SWS Vorlesung | 1.00 SWS Praktikum)
Selbststudienzeit

75.00 Stunden
45.00 Stunden Selbststudium - Deklarative Programmierung
30.00 Stunden Vor-/Nachbereitung - Deklarative Programmierung
Prüfungsvorleistung(en)

Praktikumstestat
in "Deklarative Programmierung"
Prüfungsleistung(en)

alternative Prüfungsleistung - Präsentation / Vortrag
Modulprüfung | Prüfungsdauer: 30 min | Wichtung: 100%
in "Deklarative Programmierung"
Medienform
Keine Angabe
Lehrinhalte/Gliederung
  • Funktionale Programmierung:
    Algebraische Datentypen
    Pattern Matching
    Typschablonen
    Funktionen höherer Ordnung
  • Logische Programmierung:
    Logische Grundlagen: klassische Prädikatenlogik der ersten Stufe
    Unifikation
    SLD-Resolution
    Steuerung der Lösungssuche
  • Constraint-Programmierung:
    Constraint-Systeme
    Constraint-Bereiche und passende Constraint-Löseverfahren
    Constraint-Propagation
Qualifikationsziele

Die Studierenden kennen grundlegende deklarative Konzepte der Programmierung und deren Anwendungen.
Sie kennen die theoretischen Grundlagen der funktionalen, der logischen und der Constraint-Programmierung. Sie haben vertiefte Fähigkeiten zur Problemanalyse, Abstraktion und Strukturierung von Lösungen und können deklarative Konzepte sowohl in spezialisierten als auch in herkömmlichen imperativen Sprachen anwenden.
Besondere Zulassungsvoraussetzung

keine
Empfohlene Voraussetzungen

Inhalte entsprechend der Module:
PTI620 - Diskrete Mathematik und Logik
PTI621 - Algorithmen und Datenstrukturen
PTI610 - Theoretische Informatik
Fortsetzungsmöglichkeiten
Keine Angabe
Literatur
  • Hutton: Programming in Haskell, Cambridge University Press 2007
  • Chakravarty, Keller: Einführung in die Programmierung in Haskell, Pearson 2005
  • O'Sullivan: Real World Haskell, O'Reilly 2008
  • Schöning: Logik für Informatiker, Spektrum Akademischer Verlag 2000
  • Bratko, I., PROLOG Programming for Artifical Intelligence, Addisson – Wesley 2011
  • Clocksin, W.F.; Mellish, C.S., Programmieren in Prolog, Springer-Verlag Berlin 1994
  • Hofstedt, Wolf: Einführung in die Constraint-Programmierung, Springer 2007
  • Frühwirth, Abdennadher: Constraint-Programmierung, Springer 1997
  • Apt: Principles of Constraint Programming, Cambridge University Press 2003
Hinweise
Keine Angabe
Zuordnung zum Curriculum

123 Kraftfahrzeuginformatik - Bachelor 2012 Vollzeit

247 Gesundheitsinformatik - Bachelor 2013 Vollzeit

079 Informatik - Bachelor 2015 Teilzeit

079 Informatik - Bachelor 2012 Vollzeit

079 Informatik - Bachelor 2012 Teilzeit

247 Gesundheitsinformatik - Bachelor 2012 Vollzeit

247 Gesundheitsinformatik - Bachelor 2016 Vollzeit

079 Informatik - Bachelor 2015 Vollzeit

079 Informatik - Bachelor 2016 Vollzeit

079 Informatik - Bachelor 2016 Teilzeit

Detailansicht schließen
© Modulux (Version 4.4)