<--- Back to Details
First PageDocument Content
Computability theory / Theoretical computer science / Formal methods / Models of computation / Lambda calculus / Eval / Scheme / Env / Interpreter / Anonymous function / Halting problem / Turing machine
Date: 2005-12-08 08:45:06
Computability theory
Theoretical computer science
Formal methods
Models of computation
Lambda calculus
Eval
Scheme
Env
Interpreter
Anonymous function
Halting problem
Turing machine

Microsoft PowerPoint - universal_machinesv2.ppt

Add to Reading List

Source URL: sicp.csail.mit.edu

Download Document from Source Website

File Size: 78,62 KB

Share Document on Facebook

Similar Documents

Philosophy of law / Consensus reality / International relations theory / Philosophy / Constructivism / Norm / Social norm / Sociology

Microsoft Word - State Compliance with Env Norms - Journeys - van Wees.docx

DocID: 1xUsw - View Document

Actuarial science / Evaluation / Financial risk / Risk / Safety / Disaster / United States Environmental Protection Agency / Economy

Worcester Polytechnic Institute – Social Science & Policy Studies Dept. ENV 280X: Environmental & Risk Communication Sample Syllabus Dr. Patricia Stapleton Course Description The purpose of this course is to introduce

DocID: 1xUfL - View Document

PDF Document

DocID: 1xSSn - View Document

PDF Document

DocID: 1xRgD - View Document

PDF Document

DocID: 1xR3b - View Document