06a. Rice's Theorem (lecture notes)
06a. Rice's Theorem (slides)
06b. Post's Correspondence Problem (lecture notes)
06b. Post's Correspondence Problem (slides)