Skip to main content

Discover the foundations of computer science

Learn about fundamental topics in computer science, including logic, programming language theory, and program correctness.

  • Useful exercises and explainer videos
  • Join the discussion: ask questions and get feedback
Discover the foundations of computer science