Error occured ! We are notified and will try and resolve this as soon as possible.
WARNING! [2] file_put_contents(/home/gelembjuk/domains/myeducationpath.com/app/../html/cache/memory/course_4648_0_e086762d743c0218beb85ea6e1b456cae.txt): Failed to open stream: No such file or directory . Line 75 in file /home/gelembjuk/domains/myeducationpath.com/html/include/class.cache.php. Continue execution. 283470; index.php; 18.191.112.140; GET; url=courses/4648/computability-theory-of-and-with-scheme.htm&; ; Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com); ; Executon time: 0 MyEducationPath.com :: MIT OpenCourseWare (OCW) : Computability Theory of and with Scheme

Computability Theory of and with Scheme

1 2 3 4 5
12 votes
Free
Computability Theory of and with Scheme

6.844 is a graduate introduction to programming theory, logic of programming, and computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself. Topics covered include: programming and computability theory based on a term-rewriting, "substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

Tags: Before 1300: Ancient and Medieval HistoryInforInformation environmentsInformation TheoryNutrition
Details: http://ocw.mit.edu/courses/e...-and-with-scheme-spring-2003
Categories: Computer Sciences Mathematics
Starts : 2003-02-01

Comments

Reviews



-- no reviews yet -- make the first review
Add review [?] Discuss on the Forum

Alternatives
All alternatives to all MIT OpenCourseWare (OCW) courses

-- no alternatives found for the course --
If you know any alternatives, please let us know.

Add alternative course [?]

Prerequisites

-- no prerequsites found for the course --
If you can suggest any prerequisite, please let us know.

Add prerequisite [?]

Paths

No Paths inclusing the course. You can build and share a path with this course included.

Certification Exams

-- there are no exams to get certification after this course --
If your company does certification for those who completed this course then register your company as certification vendor and add your exams to the Exams Directory.

Add My Exams

Similar courses

Courses related to the course subject

04832430X: Electronic Circuits
1 2 3 4 5
0 0

…
Details:https://www.edx.or...onic-circuits-1093

A Gentle Introduction to Programming Using Python (January IAP 2011)
1 2 3 4 5
14 0 0

…
Details:http://ocw.mit.edu...n-january-iap-2011

Acoustics of Speech and Hearing
1 2 3 4 5
16 0 0

…
Details:http://ocw.mit.edu...-hearing-fall-2004

Acoustics of Speech and Hearing
1 2 3 4 5
0 0

…
Details:http://ocw.mit.edu...-hearing-fall-2004

Advanced Algorithms (Fall 2008)
1 2 3 4 5
12 0 0

…
Details:http://ocw.mit.edu...gorithms-fall-2008

Advanced Algorithms (Fall 2008)
1 2 3 4 5
0 0

…
Details:http://ocw.mit.edu...gorithms-fall-2008

Advanced Circuit Techniques
1 2 3 4 5
13 0 0

…
Details:http://ocw.mit.edu...niques-spring-2002

Advanced Data Structures
1 2 3 4 5
10 0 0

…
Details:http://ocw.mit.edu...ctures-spring-2012

Advanced Electromagnetism
1 2 3 4 5
16 0 0

…
Details:http://ocw.mit.edu...netism-spring-2003

Advanced Natural Language Processing
1 2 3 4 5
9 0 0

…
Details:http://ocw.mit.edu...ocessing-fall-2005

Let us know when you did the course Computability Theory of and with Scheme.

Started on: Completed on:
Your grade (if any):
Comments:

Add the course Computability Theory of and with Scheme to My Personal Education Path.

Start the course on:
Duration of study:
Notes:

Successfully added to your path.

View your path

Select what exam to connect to the course. The course will be displayed on the exam page in the list of courses supported for certification with the exam.


Notes about how the exam certifies students of the course (optional):