Messages

At the exercises last tuesday, we did not have time to cover Exercise 1.2.

As a service, I have checked my solution with the tool `boxprover`, and you can see the solution here.

Let me know if you have any trouble deciphering the Fitch Style notation.

 

I have been made aware that the deadline on the exam page stated that the deadline of the first home exam is March 14. 

This is different from the date that we have announced and is caused by an error made in the administration, when they set everything up. The easiest solution is just to keep this date, so you will have a few extra days.

For those that need an short extension to Possiblik 1, write to me today. 

Note that these short extensions to the Home Exam is not possible.

Dear all,

On the course we will have two Home Exams that will each give 25 % of the final assessment. (The rest is the oral exam.)

In addition to this we have two optional assignments (called Possibliks). A Possiblik will be overlapping, but not completely covering, the following Home Exam. You can therefore use the Possibliks to get first feedback before handing in the Home Exams. This is an offer and not a requirement to hand-in the Home Exams.

Deadlines:
Possiblik 1: Feburary 18 @ 23:59
Home Exam 1: March 11 @ 23:59
Possiblik 2: April 8 @ 23:59
Home Exam 2: May 14 @ 23:59

Hi all,

On the course we will for the first half use the book:
  Programming in Haskell by Graham Hutton. 
  https://people.cs.nott.ac.uk/pszgmh/pih.html
This book gives a nice introduction to programming in Haskell (hence the title...)

In addition there will also be some notes in PDF or book chapters that will be shared with you directly.

Looking forward to see you all next week.

We look much forward to seeing you on the course and teach you how we can implement programming language and gain deeper understanding by formalising them.

We will later this week post reading material and update the schedule for the course. Then we will also give more details about the assignments.