Introduction to Abstract Mathematical Thought presents topics not previously covered in the traditional high school algebra to calculus sequence, including formal logic, set theory, number theory, and graph theory. This greatly enhances students’ understanding of topics included in the broader field of mathematics. While the topics in this course have some overlap with those covered in Discrete Mathematics, there is a much greater focus on constructing formal mathematical proofs.   Students will learn a variety of proof-writing techniques and approaches, including direct proof, proof by contradiction, proof by contrapositive, and proof by induction and disproof by counterexample. By viewing the mathematical world as a series of conjectures that must be proven or disproven, as opposed to theorems that are simply applied, students gain an insight into and appreciation for how the mathematics was developed. By the end of the course, students will have developed both the skills and mindset necessary for discovering new mathematics.   To take the elective, students must be recommended by their current math teacher. New students need suitable placement test results.