Lecture Notes
MIT24_241F09_lec22.pdf
Description:
This resource contains information about soundness with basic clause and inductive step.
Resource Type:
Lecture Notes
pdf
294 kB
MIT24_241F09_lec22.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