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.

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: Remotely accessible
Course Level: 2000-level
Credits: 4
M/Th 10:00AM - 11:50AM (Full-term)
Maximum Enrollment: 20
Course Frequency: Once a year

Categories: All courses , Mathematics , Remotely Accessible