Turing Machines | Lectures | CS251

Map
Lectures
- Introduction
- Mathematical Reasoning and Proofs
- What Is Information
- Deterministic Finite Automata 1
- Deterministic Finite Automata 2
- Turing Machines
- Universality of Computation
- Limits of Counting
- Limits of Computation
- Limits of Human Reasoning
- Time Complexity
- Introduction to Graphs
- Maximum Matchings
- Stable Matchings
- P vs NP, Part 1
- P vs NP, Part 2
- Algorithms for Hard Problems
- Probability Theory Basics
- Randomized Algorithms Introduction
- Randomized Algorithms for Cut Problems
- Modular Arithmetic
- Cryptography
- Extra Topics
Text
- Text Overview
- Proof-Writing Guidelines
- Induction Review
- Encodings and Problems
- Deterministic Finite Automata
- Turing Machines
- Uncountable Sets
- Undecidable Languages
- Unprovable Truths
- Time Complexity
- Introduction to Graph Theory
- Matchings in Graphs
- Stable Matchings
- Polynomial-Time Reductions
- Non-Deterministic Polynomial Time
- Approximation Algorithms
- Probability Theory Basics
- Randomized Algorithms
- Modular Arithmetic
- Cryptography
Staff

MODULE 3

Formalizing Computation

Turing Machines

Universality of Computation

Turing Machines

MODULE 3: Formalizing Computation

Turing Machines

Overview: Turing Machines

We welcome all feedback!