Computability Theory of and with Scheme OpenCourseWare: Free Graduate Level Course by MIT on Programming Theory
Graduate students will use Scheme software in 'Computability Theory of and with Scheme,' MIT's OpenCourseWare on computability, programming theory, and logic of programming. This free course provides aspiring computer scientists with an introduction to these concepts and valuable experience with the programming software Scheme. Students should, however, have some familiarity with Scheme software prior to taking this course.
Computability Theory of and with Scheme: Course Specifics
| Degree Level | Free | Audio | Video | Downloads |
|---|---|---|---|---|
| Graduate | Yes | No | No | Yes |
| Lectures/Notes | Study Materials | Tests/Quizzes |
|---|---|---|
| Yes | Yes | No |
Computability Theory of and with Scheme: Course Description
The study of computer programming is constantly evolving as technologies become available. Those behind new developments must be able to think creatively and quickly. Students in a master's degree in Computer Science program can use their prior knowledge of Scheme software for practical applications with this free online course. Introductory approaches to topics such as computability, term models and the Scheme substitution model will be covered throughout the semester. In addition to applications of Scheme and practical uses, students will work with theories, including Hilbert's Tenth Problem and the Incompleteness Theorem. Professor Albert Meyer will provide course notes for each topic covered. Using these notes as a guide, students will delve into the course material with Scheme software. Use of this software is applicable to most of the OpenCourseWare's topics and will provide an enhanced level of experience for anyone interested in programming languages.
Scheme software and the relevant readings will be made available online. To take this class, or to learn more, visit the compatability theory of and with scheme course home page.
Featured School Choices:
-
Grand Canyon University
Grand Canyon University responds quickly to information requests through this site.
Suggested programs:
- M.S. in Computer Science
- M.S in Software Development
- M.S in Software Engineering
- Bridge to the M.S. in Information Technology Management
- M.S. in Information Technology Management
More information about Grand Canyon University
-
Purdue Global
Purdue Global responds quickly to information requests through this site.
Suggested programs:
- MSIT - Secure Software Development and Quality Assurance
- MSIT - Amazon Web Services (AWS) Cloud Technologies
- MSM in Information Technology
- M.S. in Information Technology
- M.S. in Information Technology Project Management
More information about Purdue Global
-
University of Maryland Global Campus
University of Maryland Global Campus responds quickly to information requests through this site.
-
Full Sail University
Full Sail University responds quickly to information requests through this site.
Suggested programs:
- Game Design Masters - Campus
- Computer Science Masters - Online
- Game Design Masters - Online
More information about Full Sail University
-
Texas State University
Texas State University responds quickly to information requests through this site.
More information about Texas State University
-
Youngstown State University
Youngstown State University responds quickly to information requests through this site.