OCW Newsletter Signup

Sub-navigation links

Home > Courses > Electrical Engineering and Computer Science > Computability Theory of and with Scheme > Readings

Readings

Notes 1: Proving Arithmetic Equations (PDF)
Notes 2: Substitution into Arithmetic Expressions (PDF)
Notes 3: A Scheme Substitution Model (PDF)
Notes 4: Term Models (PDF)
Notes 5: Scheme Computability, Part I (PDF)
Notes 6: Scheme Computability, Part II (PDF)
Notes 7: Counter Machines (PDF)
Notes 8: Semigroup Word Problems (PDF)
Notes 9: 1st-order Theory of Concatenation (PDF)
 

Your use of the MIT OpenCourseWare site and course materials is subject to our Creative Commons License and other terms of use.

Creative Commons - some rights reserved
OCW Consortium