Browse Course Material
  • Syllabus

  • Calendar

  • Readings

  • Assignments

  • Tools

Course Info

Instructor:
  • Prof. Albert R. Meyer
Course Number:
  • 6.844
Departments:
  • Electrical Engineering and Computer Science
As Taught In: Spring 2003
Level: Graduate

Topics

  • Engineering
    Computer Science
    Programming Languages
    Theory of Computation
  • Mathematics
    Computation

Learning Resource Types

assignment Problem Sets
MIT OpenCourseWare MIT OpenCourseWare
  • search
  • Give Now
  • About OCW
  • Help & Faqs
  • Contact Us
MIT OpenCourseWare MIT OpenCourseWare
search give now about ocw help & faqs contact us
Course Info
Computability Theory of and with Scheme
  • Syllabus

  • Calendar

  • Readings

  • Assignments

  • Tools

Resources

arrow_back browse course material library_books

Assignments

ceval.scm

continuations.pdf

desugar.scm

diagnostic.pdf

diagnosticsol.pdf

meval.scm

project3.pdf

projects.pdf

pset1.pdf

term_models.pdf


Readings

aeqn.pdf

comput2.pdf

computability.pdf

concatenation.pdf

counter_machines.pdf

semigroups.pdf

submodel.pdf

subst.pdf

term_models.pdf


Tools

.edwin

cnvgloadsm.scm

cnvgsm.scm

derivsimplifyrules.scm

drschemeloadsm.scm

edwin.ini

eliza.scm

match.scm

mccamanttreeproof.scm

mitschemeloadsm.scm

See all arrow_forward

Course Info

Instructor:
  • Prof. Albert R. Meyer
Course Number:
  • 6.844
Departments:
  • Electrical Engineering and Computer Science
As Taught In: Spring 2003
Level: Graduate

Topics

  • Engineering
    Computer Science
    Programming Languages
    Theory of Computation
  • Mathematics
    Computation

Learning Resource Types

assignment Problem Sets
MIT Open Learning
Accessibility Creative Commons License Terms and Conditions

MIT OpenCourseWare is an online publication of materials from over 2,500 MIT courses, freely sharing knowledge with learners and educators around the world. Learn more

Accessibility Creative Commons License Terms and Conditions

PROUD MEMBER OF : Open Education Global

© 2001–2022 Massachusetts Institute of Technology

  • facebook
  • instagram
  • twitter
  • youtube
  • LinkedIn