| Home | |
| Syllabus | |
 |
Assignments |
| Instructor |
|
Session 14
Reflecting on the differences between the formalization
and descriptions of mathematical definitions
and theorems by humans and for machines.
What to do for this assignment
|
| Applicable Mathematics and Informatics | ||||||||||||||
|
|
|||||||||||||