Differences

This shows you the differences between two versions of the page.

--- aa:lecture6 [2022/11/07 01:12]
dmihai created
+++ aa:lecture6 [2024/11/11 16:05] (current)
dmihai
@@ Line 1: / Line 1: @@
-====== Reductions ======
+====== Undecidability Results ======
-Slides:
+{{:aa:rice.pdf|06a. Rice's Theorem (lecture notes)}}
-{{:aa:6-reductions.pptx|06. Reductions (Slides)}}
+{{:aa:rice-split.pdf|06a. Rice's Theorem (slides)}}
-Lecture notes:
+{{:aa:pcp.pdf|06b. Post's Correspondence Problem (lecture notes)}}
-{{:aa:reductions.pdf|06. Reductions (Notes)}}
+{{:aa:pcp-split.pdf|06b. Post's Correspondence Problem (slides)}}