Uni-Logo

Computer-Supported Modeling and Reasoning - Exercises

Number Date Additional Files Model Solution
1 22.10.2008
2 29.10.2008
3 05.11.2008
4 12.11.2008 NSet.thy, NSet.ML, RED.thy, CONV.thy, CNUM.thy
5 19.11.2008
6 26.11.2008
7 03.12.2008 RED.thy
8 10.12.2008
9 17.12.2008 HOL_BASIC.thy, HOL_BASIC.ML
10 7.01.2009 Nonconservative.thy
11 14.01.2009 FinSet.thy
12 21.01.2009
13 28.01.2009
14 04.02.2009
15 11.02.2009

Files from the Isabelle2005 Library

IFOL.thy, FOL.thy, IFOL_lemmas.ML, HOL.thy, Hilbert_Choice.thy, Finite_Set.thy, FixedPoint.thy, Set.thy, Set.ML, simpdata.ML

Submission

Submit your Isabelle solutions to Florian Pommerening. You can hand in the paper solutions at the excercise session on Wednesday.

The course is now finished.