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
|
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,
Fun.thy,
Relation.thy
Submission
Submit your Isabelle solutions to
Dr. Alexander Schimpf.
You can hand in the paper solutions at the excercise session on Wednesday.
