Theoretical Computer Science Courses and Certifications

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

É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

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

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

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

Theory of Computation : Become a master of DFA

328 ratings at Udemy

Master Deterministic Finite Automata of Theory of Computation as Theory of Computation forms core of computer science

• Udemy
• 7 hours 43 minutes
• Self-Paced
• Paid Course

Discrete Math Series : Propositional Logic masterclass

209 ratings at Udemy

Learn Discrete Mathematics from scratch as Discrete Mathematics form the core of Computer Science

• Udemy
• 3 hours 24 minutes
• Self-Paced
• Paid Course

Simons Institute

Homomorphism Indistinguishability - Graph Learning and Theoretical Computer Science

Explore the theoretical foundations of homomorphism indistinguishability and its applications in graph learning, quantum information, and computational complexity analysis.

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

Computation in Complex Systems

Explore computational complexity from polynomial-time algorithms to NP-complete problems and undecidable challenges, bridging computer science with physics and biology applications.

• Complexity Explorer
• Self-Paced
• Free Certificate

IIT Kanpur;  NPTEL

Linear programming and its applications to computer science

Explore linear programming's applications in computer science, covering algorithms, game theory, and machine learning. Learn key concepts, duality theory, and problem-solving techniques.

• Swayam
• 8 weeks
• Self-Paced
• Free Online Course

Simons Institute

Black Holes and the Quantum-Extended Church-Turing Thesis - Quantum Colloquium

Explore black holes' impact on quantum computing, featuring insights from renowned physicists on horizon properties, information extraction, and the quantum-extended Church-Turing thesis.

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

Simons Institute

Classical Verification of Quantum Computations

Explore verification methods for quantum computations, including interactive proofs, post-quantum cryptography, and measurement protocols, with insights on challenges and potential solutions.

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

GOTO Conferences

Computer Science - A Guide for the Perplexed

Explore computer science through the lens of real-world problems, bridging the gap between academic theory and practical applications. Gain insights from Erlang's inventor on solving user challenges.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Conference Talk

GOTO Conferences

Fun with the Lambda Calculus

Explore the lambda calculus through hands-on exercises using Vim and CLI. Learn to build computing structures from basic lambda functions in this engaging presentation.

• YouTube
• 49 minutes
• Self-Paced
• Conference Talk