Diese Seite ist nur auf Englisch verfügbar.
Computer-Supported Modeling and Reasoning - Exercises
| Number | Date | Additional Files | Model Solution |
|---|---|---|---|
| 1 | 20.10.2010 | paper & pencil, sheet1.ML | |
| 2 | 27.10.2010 | paper & pencil, sheet2.ML | |
| 3 | 03.11.2010 | paper & pencil, sheet3.ML | |
| 4 | 10.11.2010 | NSet.thy, NSet.ML, RED.thy | paper & pencil, sheet4_NSet.ML, sheet4_RED.ML |
| 5 | 17.11.2010 | CNUM.thy, CONV.thy | paper & pencil, sheet5_FOL.ML, sheet5_CNUM.ML |
| 6 | 24.11.2010 | paper & pencil, sheet6.ML | |
| 7 | 01.12.2010 | RED.thy | paper & pencil, sheet7_RED.ML |
| 8 | 08.12.2010 | paper & pencil, sheet8.ML | |
| 9 | 15.12.2010 | HOL_BASIC.thy, HOL_BASIC.ML | paper & pencil, sheet9.ML |
| 10 | 22.12.2010 | Nonconservative.thy | papert & pencil, sheet10.ML, sheet10ShowFalse.ML |
| 11 | 12.01.2011 | paper & pencil, sheet11.ML | |
| 12 | 19.01.2011 | paper & pencil, sheet12.ML | |
| 13 | 26.01.2011 | AVL_fragment1.thy | paper & pencil, Iterate.thy, sheet13.ML, AVL_completion1.thy, AVL_test1.ML |
| 14 | 02.02.2011 | AVL_fragment2.thy, AVL_fragment.ML | paper & pencil, sheet14.ML, AVL_completion2.thy, AVL_completion1.ML |
| 15 | 09.02.2011 | sheet15.ML, AVL_completion3.thy, AVL_completion2.ML |