| Home | |
| Syllabus | |
 |
Assignments |
| Instructor |
|
Session 13
Comparing the work of describing and explaining (proving)
a theorem in natural language and in a formal language.
What to do for this assignment
|
| Applicable Mathematics and Informatics | ||||||||||||||
|
|
|||||||||||||