Learn by working through it
Courses
Start with a concrete rule, follow the mathematics, and try the constructions yourself. Each course brings its videos, transcripts and practice together.
23 lessons · 71 minutes
Correspondence Matrices: From Logic to Code
Build, transform and verify Boolean rules with correspondence matrices, then use them in Python.
Explore the course →37 video lecturesProLT: Propositional Logic and Topology
Explore possible states, observation, topology and inference through 37 video lectures with captions, transcripts and chapter links.
Explore the course →