2nd Semester 2011/12: The Haskell Road to Logic, Maths and Programming
- 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 .
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 . 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.
- 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).