Theoretical Computer Science Courses and Certifications

Computer Science 101: Master the Theory Behind Programming

6739 ratings at Udemy

Computer Science 101: Learn Computer Science to become a better Programmer and Software Engineer.

• Udemy
• 11 hours 50 minutes
• Self-Paced
• Paid Course

Quantitative Formal Modeling and Worst-Case Performance Analysis

44 ratings at Coursera

Explore token systems, Petri-nets, and dataflow graphs. Master mathematical modeling and worst-case performance analysis techniques for embedded systems. Develop abstract thinking skills.

• Coursera
• 17 hours 26 minutes
• Self-Paced
• Paid Course

Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 01

Explore fundamentos de computação, lógica e teoria dos conjuntos em aula de mestrado. Aborde linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.

• YouTube
• 1 hour 48 minutes
• Self-Paced
• Free Video

System Validation: Automata and behavioural equivalences

183 ratings at Coursera

Explore automata and behavioral equivalences for system validation. Learn to model and analyze system behavior, understand equivalences, and design structurally sound embedded systems.

• Coursera
• 3 hours 50 minutes
• Self-Paced
• Paid Course

Computational Thinking with JavaScript 2: Model & Analyse

Deepen your JavaScript skills by modeling real-world data using arrays, objects, and nested structures, then analyze and visualize patterns through an integrative clustering project.

• Coursera
• 20 hours
• Self-Paced
• Paid Course

École normale supérieure

Approximation Algorithms Part II

47 ratings at Coursera

Explore advanced approximation algorithms using linear programming duality and semidefinite programming for combinatorial optimization problems like Steiner forest, facility location, and maximum cut.

• Coursera
• 1 day 11 hours 30 minutes
• Self-Paced
• Paid Course

Puppets and Automata: Art, Anxiety, and the Uncanny (Live Online)

33 ratings at CourseHorse

Explore the captivating world of puppets and automata, delving into their roles as artistic marvels and cultural symbols of fascination and unease.

• CourseHorse
• 12 hours
• Self-Paced
• $335.00

Birla Institute Of Technology And Science–Pilani (BITS–Pilani)

Automata and Computability

Explore theoretical computation models including finite automata, Turing machines, and complexity theory to understand computational limits and formal language processing.

• Coursera
• 2 days 15 hours
• Self-Paced
• Paid Course

Birla Institute Of Technology And Science–Pilani (BITS–Pilani)

Formal Languages and Applications

Explore formal language theory, automata, and parsing algorithms to build lexical analyzers and language recognition systems for compilers and NLP applications.

• Coursera
• 2 days 13 hours 30 minutes
• Self-Paced
• Paid Course

Coding for Little Curious Minds (Ages 4-7) (Live Online)

Spark curiosity and creativity as young learners take their first steps into coding.

• CourseHorse
• 3 hours
• Self-Paced
• $125.00

Theory of Computation

Explore computability and complexity theory, covering languages, decidability, reducibility, computational measures, completeness, hierarchies, oracles, probabilistic computation, and interactive proof systems.

• MIT OpenCourseWare
• Self-Paced
• Free Online Course

Centre International de Rencontres Mathématiques

String Attractors of Rote Sequences

Explore string attractors of Rote sequences in combinatorics on words, delving into mathematical concepts and their applications.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

3Blue1Brown

How to Send a Self-Correcting Message - Hamming Codes

Discover error correction codes through an engaging exploration of Hamming codes, learning how to create self-correcting messages for reliable data transmission.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Sundeep Saradhi Kanthety

Automata Theory and Formal Languages - Complete Course

Master finite automata, regular expressions, context-free grammars, and pushdown automata through comprehensive examples and conversions in this complete theory of computation guide.

• YouTube
• 20 hours 2 minutes
• Self-Paced
• Free Video

Coding Train

Context-Free Grammar - Programming with Text - Session 7

Explore context-free grammar techniques using Tracery and RiTa.js to generate dynamic text and create fractal tree visualizations through recursive programming methods.

• YouTube
• 1 hour 49 minutes
• Self-Paced
• Free Video