Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!

Introduction to Declarative Programming WS 2005/06

Horizontal Tabs

General information
Fridays, 10:00 am to 1:00 pm, RR15

In this course you will gain hands-on experience using two complementary paradigms for declarative programming, namely logic programming and functional programming. In the logic programming part, we will start with some foundations such as resolution and unification. Furthermore, we will get familiar with the logic programming language PROLOG and explore its features by practical examples.

The latter part of the course will provide an introduction to functional programming using Objective CAML. We will discuss basic notions like recursion and higher-order functions as well as the implementation of functional programming languages.

We are hiring!

Check out our researcher job positions at https://www.sti-innsbruck.at/about/jobs