Beskjeder

We will have a closed book final exam.

The second compulsory assignment is now online. The feedback for your first compulsory assignment will be available soon, we apologize for the delay.

Reference for Program Verification: Micharl Huth & Mark Ryan: Logic in Computer Science - modeling and reasoning about systems, Chapter 4. (This book can be found in the IFI library).

Copies of ch.4 and ch.5 can be picked up by the office 8167

The first compulsory assignment is now online.

The textbook is out of print. But you can drop by our office (8167) to pick up the copies of textbook.

The slides for today's lecture is now online. From next time you can download the slides before the lectures.

Detailed teaching plan: here

Lectures will be in English.

Merk at gruppen starter uken etter forelesningene.