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

Download

file_download Download course

This package contains the same content as the online version of the course. For help downloading and using course materials, read our FAQs.

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

MIT Open Learning

Over 2,500 courses & materials

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

© 2001–2023 Massachusetts Institute of Technology

Accessibility

Creative Commons License

Terms and Conditions

Proud member of:

© 2001–2023 Massachusetts Institute of Technology