Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
aa:lecture6 [2022/11/09 21:31] dmihai |
aa:lecture6 [2024/11/11 16:05] (current) dmihai |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Reductions ====== | + | ====== Undecidability Results ====== |
| - | Lecture notes: | + | {{:aa:rice.pdf|06a. Rice's Theorem (lecture notes)}} |
| - | {{:aa:reductions.pdf|06. Reductions (Notes)}} | + | {{:aa:rice-split.pdf|06a. Rice's Theorem (slides)}} |
| + | |||
| + | {{:aa:pcp.pdf|06b. Post's Correspondence Problem (lecture notes)}} | ||
| + | |||
| + | {{:aa:pcp-split.pdf|06b. Post's Correspondence Problem (slides)}} | ||