2017 Fall – MAT 2071 Proofs and Logic – Reitz
- OpenOpen
This course is designed to prepare students for an advanced mathematics curriculum by providing a transition from Calculus to abstract mathematics. The course focuses on the processes of mathematical reasoning, argument, and discovery. Topics include propositional and first order logic, learning proofs through puzzles and games, axiomatic approach to group theory, number theory, and set theory, abstract properties of relations and functions, elementary graph theory, sets of different cardinalities, and the construction and properties of real numbers.
Avatar and Header images created with Hipster Logo Generator http://www.hipsterlogogenerator.com/
Recent Posts
Hi everyone, Your grades have been submitted to CUNYFirst, and a detailed breakdown of your […] See MoreFinal Grades are posted
Here are the final drafts of the "Group Process Papers."Â Assessment details will be sent out […] See MoreGroup Project - Final Papers
Written work: The following problems are SUGGESTED for practice (they could be on the final!), but […] See MoreWeek 16 Assignments
Recent Comments
Comment on "OpenLab #8: Advice for the Future"
[…] see the assignment and the students’ responses, follow this link for Fall 2017 a […] See MoreComment on "OpenLab #8: Advice for the Future"
Comment on "Videos – Sonam Gyamtso"
Interesting to look at the sides of the extreme where people hate math or love it, but not that as […] See MoreComment on "Videos – Sonam Gyamtso"
Comment on "OpenLab #7: Hold your breath and dive into math – Vi Hart"
9.999... reasons that .999... = 1 https://www.youtube.com/watch?v=TINfzxSnnIE This video shows […] See MoreComment on "OpenLab #7: Hold your breath and dive into math – Vi Hart"
Recent Discussions
Sorry, there were no discussion topics found.
Recent Docs
No Recent Docs
