PTI06360 – Declarative Programming

Module
Declarative Programming
Deklarative Programmierung
Module number
PTI06360
Version: 1
Faculty
Physikalische Technik / Informatik
Level
Bachelor
Duration
1 Semester
Semester
Winter semester
Module supervisor

FG Informatik
Tina.Geweniger(at)fh-zwickau.de
Lecturer(s)

FG Informatik
Tina.Geweniger(at)fh-zwickau.de
Course language(s)

German
in "Deklarative Programmierung"
ECTS credits

4.00 credits

Workload

120 hours

Courses

3.00 SCH (2.00 SCH Vorlesung | 1.00 SCH Internship)
Self-study time

75.00 hours
45.00 hours Self-study - Deklarative Programmierung
30.00 hours Vor-/Nachbereitung - Deklarative Programmierung
Pre-examination(s)

Praktikumstestat
in "Deklarative Programmierung"
Examination(s)

alternative Prüfungsleistung - Präsentation / Vortrag
Module examination | Examination time: 30 min | Weighting: 100%
in "Deklarative Programmierung"
Media type
No information
Instruction content/structure
  • 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
Qualification objectives

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.
Special admission requirements

keine
Recommended prerequisites

Inhalte entsprechend der Module:
PTI620 - Diskrete Mathematik und Logik
PTI621 - Algorithmen und Datenstrukturen
PTI610 - Theoretische Informatik
Continuation options
No information
Literature
  • 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
Notes
No information
Assignment to 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

Close detail view
© Modulux (Version 4.4)