Leading from the first course in the introduction to mathematical thought, this course will explore proof techniques, theory of groups, and abstract algebra. With this course, you will learn how to build arguments using basic elements of propositional and predicate logic, use proof techniques with a focus on basic set theory and discrete mathematics. This course includes group theory, and you will learn of the historical motivations for it and the role of symbolism.