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 firstname.lastname@example.org.