Uni-Logo

Computer-Supported Modeling and Reasoning - Exercises

Number Date Additional Files Model Solution
1 21.10.2009
2 28.10.2009
3 04.11.2009
4 11.11.2009 NSet.thy, NSet.ML, RED.thy
5 18.11.2009 CNUM.thy, CONV.thy
6 25.11.2009
7 02.12.2009 RED.thy
8 09.12.2009
9 16.12.2009 HOL_BASIC.thy, HOL_BASIC.ML
10 23.12.2009 Nonconservative.thy
11 13.01.2010 FinSet.thy
12 20.01.2010
13 27.01.2010 AVL_fragment1.thy
14 03.02.2010
15 10.02.2010

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 Alexander Schimpf. You can hand in the paper solutions at the excercise session on Wednesday.

The course is now finished.