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.