Logic, Proofs, Algebra, and Set Theory — MAT2410.01
This introductory course will cover key foundations needed for more advanced mathematics; it should also be of interest to students not primarily studying mathematics. 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