Uni-Logo

Diese Seite ist nur auf Englisch verfügbar.

Computer-Supported Modeling and Reasoning - Exercises

Number Date Additional Files Model Solution
1 24.10.2007
2 31.10.2007
3 07.11.2007 ONE_AXIOM.thy, ONE_RULE_fragment.thy
4 14.11.2007 NSet.thy, NSet.ML, RED.thy, CONV.thy, CNUM.thy
5 21.11.2007
6 28.11.2007
7 05.12.2007
8 12.12.2007
9 19.12.2007 HOL_BASIC.thy, HOL_BASIC.ML
10 09.01.2008
11 16.01.2007 FinSet.thy
12 23.01.2007
13 30.01.2008
14 06.02.2008
15 13.02.2008

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.