At MIT, 18.090 is often viewed as a "stepping stone" course. It is highly recommended for students planning to take more advanced, proof-heavy classes like or 18.701 (Algebra) .
Search for MIT OCW 18.090 – the archived site includes problem sets and exams. 18.090 introduction to mathematical reasoning mit
Lectures are often supplemented by weekly problem sessions where students discuss exercises assigned during class. At MIT, 18