Logic, Proofs, Algebra, and Set Theory (MAT2410.01)

Andrew McIntyre

This introductory course should be of interest to students planning additional study in mathematics as well as those wanting looking for a mathematics course of more general interest. The topics and skills covered in this class will be fundamental in all advanced mathematics classes. The class should also be of interest to students of computer science or philosophy, and to anyone seeking to improve their ability to reason and form clear arguments. No background in mathematics is assumed. Topics will include symbolic logic and rules of inference; how to write mathematical proofs; the beginnings of abstract algebra, including Boolean algebras; extensions of high school polynomial algebra; and set theory, including the theory of infinite sets.

Remote students can contact the instructor to discuss whether the class can be taken remotely in a way that makes sense for them.

Learning Outcomes:
- Discover, formulate and write precise mathematical arguments ("proofs")
- Read mathematical texts
- Understand the foundational concepts of modern mathematics
- Develop conceptual sophistication ("mathematical maturity")

Delivery Method: Fully in-person
Course Level: 2000-level
Credits: 4
T/F 4:10PM - 6:00PM (Full-term)
Maximum Enrollment: 20
Course Frequency: Once a year

Categories: All courses , Fully In-Person , Mathematics