Set Theory & Formal Logic

Course Description:

Math is a language, and logic is the underpinning of the entirety of mathematics. This course covers reasoning and argumentation as used in mathematics. We will work from Aristotle’s view of language, explore ideas from Boole and Frege, and touch on modern developments in logic. Students will learn propositional logic, first-order logic, ideas in computability theory, programming languages, and basic mathematical modeling. Formally, we will introduce the concept of sets, logic, and relations in order to recognize and understand how everything in math develops from these basic ideas.

This course provides students with the background and critical thinking and reasoning skills to successfully explore topics in higher mathematics.