OpenKnowledge

Home Paths Roadmap Studio My data

Catalog · Mathematics for Computer Science

Lecture 1 of 24

Lecture 1: Predicates, Sets, and Proofs

Next → Lecture 2: Contradiction and Induction

Materials

Transcript (PDF) ↗ transcript

Sources

MIT OpenCourseWare

Browse

Catalog
Search
Roadmap
New courses (Atom)

OpenKnowledge — a catalog of open courseware. Lectures are embedded from their sources; each course carries its original license.