Logic & Proofs

Advanced Analysis Using ProofLabs

Interested in Enrolling?

Logic & Proofs


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.