Understanding Turing Machine Encodings & Countability 📚
Explore how Turing Machines can be listed and their significance as the foundational model of computing, explained by Professor Malik Magdon-Ismail in this insightful lecture from Rensselaer.
M MI
150 views • Feb 9, 2021
About this video
Foundations of Computer Science, Rensselaer Fall 2020.
Professor Malik Magdon-Ismail talks about Turing Machines, our gold standard model of computing. We build some Turing Machines to get a hang of things, but focus on high-level pseudo-code.
This is the twenty-sixth lecture in a "theory" course focusing on discrete math and the foundations of computing: what can we compute and what can't we compute.
Level of the course: Sophomore Computer Science or related major.
Material is from Chapter 26 of "Discrete Mathematics and Computing", dmc-book.com.
Professor Malik Magdon-Ismail talks about Turing Machines, our gold standard model of computing. We build some Turing Machines to get a hang of things, but focus on high-level pseudo-code.
This is the twenty-sixth lecture in a "theory" course focusing on discrete math and the foundations of computing: what can we compute and what can't we compute.
Level of the course: Sophomore Computer Science or related major.
Material is from Chapter 26 of "Discrete Mathematics and Computing", dmc-book.com.
Video Information
Views
150
Likes
2
Duration
7:39
Published
Feb 9, 2021
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now