| MEDI Alternative Programming Paradigms | Course | INF | |
|---|---|---|---|
| Lecturers : |
Prof. Dr. Baltasar Trancón Widemann
eMail
|
Term | 3 |
| Course Classification : | Bachelor Medizininformatik, Katalog B-MED-INF Wahlpflicht | CH | 4 |
| Language : | Deutsch/Englisch | Type | VÜ |
| Type of examination : | PL | Credits | 5 |
| Method of evaluation : | written examination 120 min | ||
| Requirements : | |||
| Cross References : | |||
| Previous knowledges : | |||
| Aids and special features : | |||
| Teaching aims : | The students learn about the interrelationships between declarative and imperative programming paradigms and are able to evaluate their characteristics, advantages, and disadvantages in the context of applications in computer science and media. Using an exemplary logic and functional programming language (e.g., Prolog and Lisp or Haskell), students acquire the ability to develop applications in a declarative style outside of the imperative programming paradigm in languages such as Java or C++. The students master the fundamental concepts of logic and functional programming in these two languages and are capable of independently deepening their knowledge further. | ||
| Contents : | - Characteristics, advantages, and disadvantages of declarative compared to imperative programming - Historical development and generations of programming languages - Introduction to logic programming using Prolog (e.g., SWI-Prolog) with practical exercises and programming tasks - Theoretical foundations: Predicate logic, resolution - Application areas and use cases - Introduction to functional programming, e.g., with Haskell or a Lisp dialect, including practical exercises and programming tasks - Higher-order functions MAP, FILTER, REDUCE (FOLD), and lambda expressions - Application examples | ||
| Literature : | Blackburn, Bos, Striegnitz. Learn Prolog Now! (Online Book) Clocksin, Mellish (2003). Programming in Prolog, Springer-Verlag, 5. Edition Miran Lipovača (2011). Learn You a Haskell for Great Good! A Beginner's Guide. | ||