Formal Languages Courses
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Language, Proof and Logic
Stanford University via edX 理论计算机科学基础 | Introduction to Theoretical Computer Science
Peking University via edX 离散数学概论 Discrete Mathematics Generality
Peking University via Coursera Introduction to Automata, Languages and Computation
Indian Institute of Technology, Kharagpur via Swayam Computational Learning Theory and Beyond
openHPI Logic: The Language of Truth
University of York via FutureLearn Theory of Computation
YouTube Theory of Computation
NPTEL via YouTube