24.241 | Fall 2009 | Undergraduate

Logic I

Lecture Notes

MIT24_241F09_lec23.pdf

Description:

This resource contains information about soundness recap, completeness and preliminary definitions.

Resource Type:
Lecture Notes
pdf
334 kB
MIT24_241F09_lec23.pdf

Course Info

Instructor
As Taught In
Fall 2009
Learning Resource Types
Problem Sets with Solutions
Exams
Lecture Notes