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. 1691704; index.php; 216.73.216.221; 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
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.
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.
Use the filter to find a course from courses directory to suggest it as alternative.
Or click "Suggest a course not listed on this site" to add a courses not listed on this site.
Use the filter to find a course from courses directory to suggest it as prerequisite.
Or click "Suggest a course not listed on this site" to add a courses not listed on this site.
Your comments help other users of this web service to choose the best course for them. If you did this course then, please, chare your experience. Write your recomendations to future students of the course
Your review can help future students of the course to understand if this is what they need.
One of the mission of this service is to help to find next course for interested persons. There are many courses for similar subject available online. We want to categorize such corses and map alternatives. But this is not possible to do this manually. We ask you to hwlp us with this. If you know that there are alternatives to this course in the courses directory, then, please, find this alternative and suggest it. This will help many people to find best course for them
Online courses providers usually don't provide clear list of prerequisites to an online course.
And even if provider then recommend only other own courses as prerequisites.
We would like to build relationships withing courses from different providers to understand what courses are prerequisites for a course.
You can help us with this. Suggest courses from the courses directory that are prerequsites to this course.
Your suggestion can help many people to learn more effectively.
You can connect the courses to one or more of your exams in the Exams Directory.
Connect this course to an exam only if your exam can do certification of those who completed the course.
If you are a student of this course or already completed the course you can add it to your education passport. An education passport helps to build and share your education history..
Read more about education passport
If you are interested in learning this course you can add it to your personal education path scheduler. My Path tool helps to build and share your education plan.
Read more about education path
Let us know when you did the course Computability Theory of and with Scheme.
Add the course Computability Theory of and with Scheme to My Personal Education 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.
Request for more information
Fill the form below, the course provider will get notification with your details and will contact you.
Your contact request was posted successfully. The course provider will contact you soon.
0
0
