Logic & Proofs

Description

This single-semester elective teaches advanced analysis. It contains twelve chapters with lectures and narrated videos providing a structure for students to practice new concepts in ProofLabs.
Topics include: Sequential and Predicate Logic; Strategic Construction of Proofs; Systematic Search for Counterexamples Using TruthTables.