Resources | Computability Theory of and with Scheme | Electrical Engineering and Computer Science | MIT OpenCourseWare

Download

Download course

This package contains the same content as the online version of the course. Once downloaded, follow the steps below. For more help using these materials, read our FAQs.

To open the homepage, click on the index.html file.
To find the course resource files such as PDFs, open the static_resources folder.

Note: The downloaded course may not work on mobile devices. We recommend using a computer with the downloaded course package.

Assignments

ceval.scm

continuations.pdf

desugar.scm

diagnostic.pdf

diagnosticsol.pdf

meval.scm

projects.pdf

term_models.pdf

pset1.pdf

project3.pdf

Readings

aeqn.pdf

computability.pdf

concatenation.pdf

counter_machines.pdf

semigroups.pdf

submodel.pdf

subst.pdf

term_models.pdf

comput2.pdf

Tools

.edwin

cnvgloadsm.scm

cnvgsm.scm

derivsimplifyrules.scm

drschemeloadsm.scm

edwin.ini

eliza.scm

match.scm

mccamanttreeproof.scm

mitschemeloadsm.scm

Course Info

Instructor

Prof. Albert R. Meyer

Departments

Electrical Engineering and Computer Science

As Taught In

Spring 2003

Level

Graduate

Topics

Learning Resource Types

Problem Sets

Download Course

MIT Open Learning

Over 2,500 courses & materials

Freely sharing knowledge with learners and educators around the world. Learn more

© 2001–2026 Massachusetts Institute of Technology

Accessibility

Creative Commons License

Terms and Conditions

Proud member of:

© 2001–2026 Massachusetts Institute of Technology