### Master Degree in Computer Science

Formal Methods (6 credits)

** NOTICE**

Next written exams

I) June 16th, 2017 at 10.00, room C1.10 (Coppito 2);

II) July 3rd, 2017 at 10.00, room A1.6 (Blocco 0);

III) July 18th, 2017 at 10.00, room A1.1 (Blocco 0);

IV) September 8th, 2017 at 10.00, room A1.2 (Blocco 0).

**Supervision hours:**

* Monday (11.00-13.00) at Polo Coppito, Alan Turing building (ex-Blocco 0),
second floor, room 216.*

Course Syllabus and
Bibliography

Look at Lectures Spring 2016
(also valid for Spring 2017, last update 12/06/2016)

Some written exams of the past years

Text of the second partial
written exam of June 20th.
To get the total written exam, just add in the rewriting part:

- in Ex.1 it is also required to give a reduction ordering so that
the trs R is terminating;

- in Ex.2 it is also required to i) give a reduction ordering so that the
trs R is terminating and ii) check that R is confluent.

All answers must be formally justified.

1/03/2012,
27/06/2012,
24/09/2012,
30/11/2012.

27 June 2011: rewriting,
logic.

24 February 2011: rewriting,
logic.

10 February 2011: rewriting,
logic.

Some exercises on logic and theorem proving:
text.

Some past midterm written exams

November 2013:
text.

May 2012:
text.

December 2010:
text.

Some exercises for the partial exam:
text.

Please, report any errors or problems to monica.nesi@univaq.it.