The tool generates an by comparing the student’s proof to a canonical solution (hidden from student) and noting differences in style/structure — teaching students how to read and evaluate proofs, not just write them.
Detailed lecture topics & notes (summary for each week) Week 1:
In calculus, you memorized formulas. In 18.090, you must memorize verbatim. The tool generates an by comparing the student’s
By mastering the concepts embedded within MIT's 18.090 curriculum, you develop a cognitive framework that extends far beyond mathematics. The ability to identify hidden assumptions, break down complex arguments, and construct flawless logical paths is a highly valuable skill in computer science, law, data analysis, and philosophy.
The 18.090 course at MIT is distinguished by several features that set it apart from other mathematics courses: By mastering the concepts embedded within MIT's 18
Week 12:
Book of Proof by Richard Hammack (Free online). Week 8:
Week 8: