Lecture Notes
MIT24_241F09_lec11.pdf
Description:
This resource contains information about TF- Completeness, soundness of SD and completeness of SD.
Resource Type:
Lecture Notes
pdf
347 kB
MIT24_241F09_lec11.pdf
Course Info
Instructor
Departments
As Taught In
Fall
2009
Level
Topics
Learning Resource Types
assignment_turned_in
Problem Sets with Solutions
grading
Exams
notes
Lecture Notes