Introduction to Logic, Set Theory, and Proofs

Catalog description

This course introduces to students the foundations of logic, set theory, and basic proof techniques. The course serves as a bridge from the procedural and computational understanding of mathematics to a broad understanding encompassing logical reasoning, generalization, abstraction, axiomatic approach, and formal proof.