6.042J | Fall 2005 | Undergraduate

Mathematics for Computer Science

Lecture Notes

slides2f.pdf

Description:

This resource discusses G?del’s completeness theorem, axioms and inference rules, G?del’s incompleteness theorem for arithmetic, sets and functions, and Russell?s Paradox.

Resource Type:
Lecture Notes
Learning Resource Types
Problem Sets with Solutions
Exams with Solutions
Lecture Notes