Opening the door to mathematics beyond Calculus is done with the ability to prove conjectures. This course will introduce students to mathematical and symbolic logic as well as teach proofs through puzzles and games. Through the exploration of grammar, students will learn to write formal mathematical proofs – the basis of any career in mathematics. Other topics will include completeness, soundness, and axiomatic approaches to group, number, and set theory. Students will leave this class with stronger problem solving and analytical skills as well as an interest in more abstract mathematics. Prerequisite: Pre-Calculus or instructor’s approval.
Introductory Logic And Proof: The Key To Mathematics
About Expand Your Mind
For Rising 9th-12th Grade Students
A Unique Experience on a College Campus
Expand Your Mind brings together talented students from across the Twin Cities, the nation, and the world for intensive learning and discovery during two 2-week summer sessions. Located on the beautiful campus of Macalester College, EYM challenges students academically while developing leadership skills, instilling self-confidence, and fostering lifelong friendships among like-minded peers.