Turing Machines Courses and Certifications

Ryan O'Donnell

Computational Models - Turing Machines - CMU - CS Theory Toolkit

Explore Turing Machines as a computational model, covering historical advantages, multitape variations, and key concepts like memory, time, and space bounds in theoretical computer science.

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

Ryan O'Donnell

Undergrad Complexity at CMU - Turing Machines

Explore Turing Machines in computational complexity theory, covering formalization, the Turing Thesis, examples, and mathematical definitions for a comprehensive understanding.

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

Instituto de Física Interdisciplinar y Sistemas Complejos (IFISC)

Stochastic Thermodynamics of Boolean Circuits, Finite Automata and Turing Machines

Explore stochastic thermodynamics applied to computational models, including Boolean circuits, finite automata, and Turing machines.

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

Wolfram

Mathematical Games - Turing Machines and Turmites - Episode 19

Explore mathematical games and puzzles involving Turing machines and turmites with Ed Pegg Jr. Discover fascinating concepts in computational theory and cellular automata.

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

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

NPTEL;  IIT Madras

Theory of Automata, Formal Languages and Computation

10 ratings

Explore automata theory, formal languages, and computation through grammars, finite state automata, pushdown automata, Turing machines, and advanced topics in theoretical computer science.

• YouTube
• 1 day 15 hours
• Self-Paced
• Free Video

Tutorial on Stochastic Thermodynamics - David Wolpert

Explore stochastic thermodynamics with David Wolpert, covering Landauer's principle, approximate computing, performance constraints, and thermodynamic complexity in computational systems.

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

Write your own Operating System

GNU Sed - The Stream Editor

Learn to harness the power of GNU sed for text processing, from basic usage to advanced techniques, culminating in a demonstration of its Turing completeness.

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

Ryan O'Donnell

Great Ideas in Theoretical Computer Science - Turing's Legacy

Explore Turing Machines, their definition, and programming techniques in this theoretical computer science lecture, covering interpreters, formal definitions, and practical TM subroutines.

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

ACM SIGPLAN

Partial Evaluation of Reversible Flowchart Programs

Explore partial evaluation of reversible flowchart programs, examining effects on symmetric encryption and reversible Turing machines. Gain insights into program inversion and applications in various computing domains.

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

Wolfram

Computation through Smooth Dynamics - Simulating TKFTs

Explore how Topological Kleene Field Theories translate abstract computational flows into concrete dynamics that simulate Turing machines through smooth mathematical frameworks.

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

Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

Higher Type Recursion in Transfinite Computational Models

Explore higher type recursion through infinite time Turing machines and discover analogies with Kleene's Type 2 computation model in this advanced mathematical talk.

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

Concepts in Computer Science

2 ratings

Learn how computers work, design efficient algorithms, and explore computational theory to solve real-world problems.

• DataCamp
• 3 hours
• Self-Paced
• Free Trial Available

Simons Institute

A Tale of Turing Machines, Quantum-Entangled Particles, and Operator Algebras

Explore the convergence of computational complexity, quantum information, and operator algebras in solving long-standing problems, including Connes' Embedding Problem, in this accessible lecture for a general scientific audience.

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

TheIACR

Indistinguishability Obfuscation for Turing Machines - Constant Overhead and Amortization

Explore advanced cryptographic techniques for Turing machines, focusing on indistinguishability obfuscation with constant overhead and amortization methods.

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