6.844 Computability Theory of and with Scheme
Peer Review for material titled "6.844 Computability Theory of and with Scheme"
User Rating for material titled "6.844 Computability Theory of and with Scheme"
Member Comments for material titled "6.844 Computability Theory of and with Scheme"
Bookmark Collections for material titled "6.844 Computability Theory of and with Scheme"
Course ePortfolios for material titled "6.844 Computability Theory of and with Scheme"
Learning Exercises for material titled "6.844 Computability Theory of and with Scheme"
Accessibility Info for material titled "6.844 Computability Theory of and with Scheme"
Please enter a Bookmark title
Please limit Bookmark title to 65 characters
Please enter a description
Please limit Bookmark title to 4000 characters
A Bookmark with this title already existed.
Please limit a note about this material to 2048 characters
Search all MERLOT
Select to go to your profile
Select to go to your workspace
Select to go to your Dashboard Report
Select to go to your Content Builder
Select to log out
Search Terms
Enter username
Enter password
Please give at least one keyword of at least three characters for the search to work with. The more keywords you give, the better the search will work for you.
select OK to launch help window
cancel help

MERLOT II




        

Search > Material Results >

6.844 Computability Theory of and with Scheme

        

6.844 Computability Theory of and with Scheme

Logo for 6.844 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... More
Material Type: Online Course
Date Added to MERLOT: August 10, 2012
Date Modified in MERLOT: August 10, 2012
Author:

Details

  • Reviewed by members of Editorial board for inclusion in MERLOT.
    Editor Review (not reviewed)
  • User Rating (not rated)
  • Comments (none)
  • Learning Exercises (none)
  • Bookmark Collections (none)
  • Course ePortfolios (none)
  • Accessibility Info (none)

  • Rate this material
  • Create a learning exercise
  • Add accessibility information
  • Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
    Name the Bookmark Collection to represent the materials you will add
    Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
    Edit the information about the material in this {0}
    Submitting Bookmarks...

About

Primary Audience:
Mobile Compatibility: Not specified at this time
Language: English
Cost Involved: no
Source Code Available: unsure
Accessiblity Information Available: unsure
Creative Commons: Creative Commons License
This work is licensed under a Attribution-NonCommercial-ShareAlike 3.0 United States

Connections





QR Code for this Page

Users who viewed this material also viewed...

Discussion

Discussion for 6.844 Computability Theory of and with Scheme

Log in to participate in the discussions or Register if you are not already a MERLOT member.

Return to Top of Page