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
- M.S. in Computer Science (Bridge)
- Bridge to the 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:
- MS in IT - Secure Software Development and Quality Assurance
- MS in Cybersecurity Management - Secure Software Development and Quality Assurance
- MS in IT - Amazon Web Services (AWS) Cloud Technologies
- MSM in Information Technology
- M.S. in Information Technology
More information about Purdue Global
-
Colorado Christian University
Colorado Christian University responds quickly to information requests through this site.
Suggested programs:
- Cyber Security, M.S.
-
National University
National University responds quickly to information requests through this site.
Suggested programs:
- Doctor of Philosophy in Computer Science
- PhD-TIM - Computer Science
- Master of Science in Computer Science
- Master of Science in Data Science
- MSIT - Cloud and Networking Infrastructure Management
-
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
- Mobile Gaming Masters - Online
More information about Full Sail University
-
Western Governors University
Western Governors University responds quickly to information requests through this site.
More information about Western Governors University