Week 8
- Dates: 5/16/22 - 5/20/22
Lecture and Discussion podcast
See videos on podcast.ucsd.edu
Discussion Section: Mondays in WLH 2001
Slides will be posted after the discussion section.
(Video) ATM undecidable via diagonalization
(Video) ATM recap
(Video) Unrecognizable languages
(Video) Complement of ATM
(Video) Undecidability proof strategies
(Video) Reductions Intro
(Video) Mapping Reduction Definition
(Video) Computable Function Definition
(Video) Computable Function First Examples
(Video) Computable Function Complicated Example
(Video) Mapping Reduction Example 1
(Video) Mapping Reduction Example 2
(Video) Mapping Reduction Example 3
(Video) Halting Problem