Categories

Class 18: Proving Undecidability

Class 18 slides: [PDF] [PPTX]

Sorry to be so rushed for the last part of class today. We’ll spend more time in next Tuesday’s class on undecidable and decidable properties of programming languages.

Comments are closed.