An introductory Harvard course on the theory of computation, covering formal models of computing such as automata and formal languages, along with computability and complexity. It is taught by Boaz Barak, based on the course site linked in the comment.

The commenter lists it among the courses they 'definitely recommend' for a CS-oriented online degree, alongside CS50 and CS124.

What commenters said (1)

1. Recommendsmontenegrohugo2020in “Ask HN: What are good distance learning Bachelor's/Master's degrees one can do?”

   Can't edit my comment on mobile, so I'm adding relevant info here:

   https://www.extension.harvard.edu/

   It's not exactly cheap (tuition can cost ~50k$ for a bachelor's). Quality of tuition also varies, there's some fantastic courses and some less stellar ones. Still, I recommend taking a look if you are interested in completing your bachelor's/master's degree mostly online.

   For a CS oriented degree, I'd definitely recommend the following courses:

   CS50 https://cs50.harvard.edu

   CS61 https://cs61.seas.harvard.edu

   CS20 https://lewis.seas.harvard.edu/pages/csci-e-20

   CS40 https://www.extension.harvard.edu/course-catalog/courses/com...

   CS121 https://cs121.boazbarak.org/

   CS124 http://sites.fas.harvard.edu/~libcs124/cs124/index.html

Related courses

• CS50: Introduction to Computer ScienceHarvard University · 72 recommenders
• CS61: Systems Programming and Machine OrganizationHarvard University · 2 recommenders
• The Elements of Computing Systems (Nand2Tetris)nand2tetris.org · 87 recommenders
• Human Behavioral Biology (Robert Sapolsky)Stanford University · 26 recommenders
• 6.824 Distributed SystemsMIT OpenCourseWare · 16 recommenders
• 15-213 Introduction to Computer SystemsCarnegie Mellon University · 12 recommenders
• 6.004 Computation StructuresMIT OpenCourseWare · 9 recommenders
• 6.828 Operating System EngineeringMIT OpenCourseWare · 8 recommenders