INF551 - 2017 Exam

 Login :  Mot de passe :

The duration of the exam is 3 hours. There are 4 exercises. They are independent and of equal value.

You ARE ALLOWED to:

You ARE NOT ALLOWED to:

The Exercises / questions are available on the exam sheet.
Below you will find

Note: You can upload files using the form below as many times as you want. For each question, we will consider the last version that you upload.

Exercise 1 - OCaml

Download the file ex1.ml.

A useful documentation is that of sets.

Follow the instructions on the exam sheet and in the file itself.

Upload the file ex1.ml:

Le nom du fichier à déposer
Il faut se connecter avant de pouvoir déposer

Exercise 2 - Prolog

Start a file ex2.pl from scratch and follow the instructions on the exam sheet.

A useful documentation is that of lists.

Upload the file ex2.pl:

Le nom du fichier à déposer
Il faut se connecter avant de pouvoir déposer

Exercise 3 - Coq

Download the file ex3.v.

Follow the instructions on the exam sheet and in the file itself.

Remember the two cheat sheets used in INF551:
Cheat sheet 1
Cheat sheet 2

Upload the file ex3.v:

Le nom du fichier à déposer
Il faut se connecter avant de pouvoir déposer

Exercise 4 - Pen and paper

Follow the instructions on the exam sheet.

Write up your answers on the official paper, and hand it to us at the end of the 3 hours.