2nd Semester 2011/12: The Haskell Road to Logic, Maths and Programming

Instructors

Jan van Eijck
If you are interested in this project, please contact Jan by email.

ECTS

6

Description

This project is a lightning course in programming in the functional programming language Haskell. We will use The Haskell Road to Logic, Maths and Programming [1].

The first two weeks you will develop basic programming skills by going through a substantial number of the programming exercises in the first four chapters of [1]. In the third week you will develop your own tableau-style theorem prover for first-order logic. In the fourth week you will get a choice menu of tasks, or you can work on an implementation task related to your own interest. The deliverable for this final week is a documented Haskell program written in literate style.

The overall aim of the project is to get you so familiar with Haskell that you can use it in the future as a modelling tool for your own logic research. It will change your life.

Prerequisites

This project is intended for students who are not yet familiar with functional programming. Programming experience in other languages is irrelevant (it can even harm your progress in this project).

References

1. K. Doets and J. van Eijck. The Haskell Road to Logic, Maths and Programming. Texts in Computing. College Publications, London, 2004. http://homepages.cwi.nl/~jve/HR.

Course webpage: Follow this link.