MIT EECS 6.001

The MIT OpenCourseWare Update: July 2003
http://ocw.mit.edu/OcwWeb/Global/AboutOCW/julynewsletter.htm

3. Digging Deeper: Course 6.001
http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-001Structure-and-Interpretation-of-Computer-ProgramsFall2002/CourseHome/index.htm

Each month, this newsletter offers subscribers an in-depth guide to one
particular subject. This month, we delve into "Course 6.001: Structure and
Interpretation of Computer Programs." This course, from MIT Professor Eric
Grimson of MIT's Department of Electrical Engineering and Computer Science
(EECS), is the first course in the core of departmental subjects required
for all undergraduates in EECS.

The course introduces students to the principles of computation. Upon
completion of 6.001, students should be able to explain and apply the
basic methods from programming languages to analyze computational systems,
and to generate solutions to abstract computational problems. Programming
assignments - including a description of "How should I write up my
projects?" are described in the section.

Topics from Professor Grimson's Lecture Notes are in PDF format and
include topics such as, Data Mutation, Object-Oriented Programming, The
Meta-circular Evaluator, and Memory Management.

There are also explanations of "Scheme Documentation" under the Tools
section, including a Guide to MIT Scheme - the reference manual for MIT
Scheme - listing all the commands - and the Revised (4)  Report on the
Algorithmic Language Scheme, the formal definition of the Scheme language.
It will be interesting for you to look at how a language is described
formally, but you should not need to consult this for 6.001.