24.242 | Spring 2004 | Undergraduate

Logic II

Lecture Notes

key_coptbty_cons.pdf

Description:

This resource explains the key concepts of computability theory and discusses the following topics: Coding a pair of natural numbers, Coding a finite set of natural numbers, Coding a finite sequence and explains the proofs of various theorems related to the subject.

Resource Type:
Lecture Notes
pdf
772 kB
key_coptbty_cons.pdf

Course Info

Instructor
As Taught In
Spring 2004
Learning Resource Types
Lecture Notes
Problem Sets with Solutions