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.