24.241 | Fall 2009 | Undergraduate

Logic I

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
As Taught In
Fall 2009
Learning Resource Types
Problem Sets with Solutions
Exams
Lecture Notes