18.090 Introduction To Mathematical Reasoning Mit ((hot))
: Assuming the opposite of what you want to prove and showing it leads to an impossibility. Mathematical Induction : Proving a statement is true for and that its truth for implies its truth for Department of Mathematics | University of Washington Prerequisites & Logistics Corequisite : You can take 18.090 concurrently with Multivariable Calculus (18.02) Self-Study Resource
The goal of 18.090 is "understanding and constructing mathematical arguments". A simple proof that is perfectly executed is better than a complex one that is logically muddy. 4. Example Theorem Construction 18.090 introduction to mathematical reasoning mit
The course covers a mix of foundational logic and specific mathematical structures to give you a "test flight" in various areas of pure math: : Assuming the opposite of what you want