6 001 Structure and Interpretation of Computer Programs 6 001 Today Main sources of information on logistics The structure of 6 001 The content of 6 001 Beginning to Scheme 2 5 2007 6 001 SICP General information handout Course web page http sicp csail mit edu http sicp csail mit edu Spring 2007 1 56 2 5 2007 6 001 SICP 2 56 Course structure Lectures Delivered live here twice a week Tuesday and Thursday Versions of lectures also available on the web site as audio annotated Power Point Treat this like a live textbook Versions are not identical to live lecture but cover roughly same material Because lecture material is evolving we strongly suggest that you attend live lectures and use the online lectures as reinforcement Recitations Twice a week Wednesday and Friday For Wednesday don t go to recitation assigned by registrar check the web site for your assigned section If you have conflict contact course secretary by EMAIL only You are expected to have attended the lecture or listened to the online version before recitation Opportunity to reinforce ideas learn details clarify uncertainties apply techniques to problems Tutorials Once a week typically Monday some on Tuesday You should really be there we provide a carrot to encourage you Ask questions participate in active learning setting 2 5 2007 6 001 SICP 3 56 6 001 Grades 2 mid term quizzes 25 Final exam 25 1 introductory project and 5 extended programming projects 40 weekly problem sets 10 BUT YOU MUST ATTEMPT ALL OR COULD RESULT IN FAILING GRADE Participation in tutorials and recitations up to 5 bonus points 2 5 2007 Contact information 6 001 SICP 4 56 Section Instructors Prof Michael Collins Web site http sicp csail mit edu Course secretary Prof Peter Szolovits Donna Kaufman dkauf mit edu 38 409a 3 4624 Gerald Dalley Instructor in charge lecturer Eric Grimson welg csail mit edu Co lecturer Prof Berthold Horn Dr Kimberle Koile Rob Miller rcm csail mit edu 2 5 2007 6 001 SICP 5 56 2 5 2007 6 001 SICP 6 56 1 Other logistics Problem sets Are released through the online tutor see website for link there is a separate link to register for the tutor Are due electronically on the date posted Includes lecture problems You should really try to do these problems before the associated recitation If section instructors find that too many students are coming unprepared we will change these problems to be due on day of associated recitation First one was posted today Projects First one will be released today Check website for updates 2 5 2007 6 001 SICP 7 56 2 5 2007 6 001 SICP 8 56 2 5 2007 6 001 SICP 9 56 2 5 2007 6 001 SICP 10 56 Other Issues Other Issues Collaboration Read description on web site Use of bibles See description on web site Time spent on course Slides You have most of them Survey shows 15 18 hours week Seeking help Because sometimes there are answers to problems there are jokes it s good to pay attention Lab assistants Other sources departmental tutoring services institute tutoring services ask for help if you think you need it 6 001 Lab 34 501 Combination Inner door 04862 Outer door 94210 evenings weekends 2 5 2007 6 001 SICP 11 56 2 5 2007 6 001 SICP 12 56 2 Getting assigned to a recitation We are NOT going to use the registrar s recitation assignments Please take a few minutes to fill out the sign up sheet Turn in at the end of lecture 6 001 Today The structure of 6 001 The content of 6 001 Beginning to Scheme We will post assignments for tomorrow s section later this afternoon on the course web site 2 5 2007 6 001 SICP 13 56 2 5 2007 What is the main focus of 6 001 6 001 SICP 14 56 Declarative Knowledge This course is about Computer Science Geometry was once equally misunderstood Term comes from ghia metra or earth measure suggests geometry is about surveying But in fact it s about By analogy computer science deals with computation knowledge about how to compute things Imperative knowledge 2 5 2007 6 001 SICP 15 56 What is true knowledge x is the y such that y 2 x and y 0 2 5 2007 Imperative Knowledge 6 001 SICP Imperative Knowledge How to knowledge How to knowledge To find an approximation of square root of x To find an approximation of square root of x Make a guess G Improve the guess by averaging G and x G Keep improving the guess until it is good enough X 2 2 5 2007 Make a guess G Improve the guess by averaging G and x G Keep improving the guess until it is good enough Example x for x 2 G 1 6 001 SICP 16 56 X 2 X G 2 17 56 2 5 2007 Example x for x 2 G 1 G 1 2 1 5 6 001 SICP 18 56 3 Imperative Knowledge Imperative Knowledge How to knowledge How to knowledge To find an approximation of square root of x To find an approximation of square root of x Make a guess G Improve the guess by averaging G and x G Keep improving the guess until it is good enough Make a guess G Improve the guess by averaging G and x G Keep improving the guess until it is good enough Example x for x 2 X 2 G 1 X G 2 G 1 2 1 5 X G 4 3 G 3 2 4 3 17 12 1 416666 Example x for x 2 X 2 G 1 X G 2 G 1 2 1 5 X G 4 3 G 3 2 4 3 17 12 1 416666 X G 24 17 G 17 12 24 17 1 4142156 2 5 2007 6 001 SICP 19 56 2 5 2007 6 001 SICP 20 56 21 56 2 5 2007 6 001 SICP 22 56 How to knowledge Why how to knowledge Could just store tons of what is information 2 5 2007 6 001 SICP How to knowledge Describing How to knowledge Why how to knowledge Could just store tons of what is information Much more useful to capture how to knowledge a series of steps to be followed to deduce a particular value a recipe If we want to describe processes we will need a language Vocabulary basic primitives Rules for writing compound expressions syntax called a procedure Rules for assigning meaning to constructs semantics Actual evolution of steps inside machine for a particular version of the problem called a process Rules for capturing process of evaluation procedures Want to distinguish between procedure recipe for square root in general and process computation of specific result former is often much more valuable 2 5 2007 6 001 SICP 23 56 15 minutes 2 5 2007 6 001 SICP 24 56 4 Using procedures to control complexity This is what we are actually going to spend the term discussing Goals …
View Full Document
Unlocking...