DOC PREVIEW
MIT 6 001 - Lecture Notes

This preview shows page 1-2-3-4-26-27-28-53-54-55-56 out of 56 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 56 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

6.001: Structure and Interpretation of Computer Programs6.001Course structureSlide 4Contact informationSection InstructorsOther logisticsSlide 8Slide 9Slide 10Other IssuesSlide 12Getting assigned to a recitationSlide 14What is the main focus of 6.001?Declarative KnowledgeImperative KnowledgeSlide 18Slide 19Slide 20“How to” knowledgeSlide 22Slide 23Describing “How to” knowledgeUsing procedures to control complexitySlide 27Computation as a metaphorDescribing processesRepresenting basic informationBinary numbers and operationsSlide 32Slide 33Where Are The 0’s and 1’s?Slide 35Slide 36… we don’t care at some level!Assuming a basic level of abstractionOur language for 6.001Rules for describing processes in SchemeKinds of Language ConstructsLanguage elements – primitivesGeorge BooleSlide 44Slide 45Language elements – combinationsLanguage elements - combinationsLanguage elements -- abstractionsSlide 49Scheme BasicsRead-Eval-Print LoopA new idea: two worldsSlide 53Define special formMathematical operators are just namesPrimitive procedures are just valuesSummary01/13/19 6.001 SICP 1/566.001: Structure and Interpretation of Computer Programs•Today–The structure of 6.001–The content of 6.001–Beginning to Scheme01/13/19 6.001 SICP 2/566.001•Main sources of information on logistics:–General information handout–Course web page•http://sicp.csail.mit.edu/ •http://sicp.csail.mit.edu/Spring-2007/01/13/19 6.001 SICP 3/56•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 settingCourse structure01/13/19 6.001 SICP 4/566.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!!01/13/19 6.001 SICP 5/56Contact information•Web site: http://sicp.csail.mit.edu/ •Course secretary–Donna Kaufman, [email protected], 38-409a, 3-4624•Instructor in charge, lecturer–Eric Grimson, [email protected]•Co-lecturer–Rob Miller, [email protected]/13/19 6.001 SICP 6/56Section InstructorsProf. Peter SzolovitsDr. Kimberle KoileProf. Berthold HornProf. Michael CollinsGerald Dalley01/13/19 6.001 SICP 7/56Other 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 updates01/13/19 6.001 SICP 8/5601/13/19 6.001 SICP 9/5601/13/19 6.001 SICP 10/5601/13/19 6.001 SICP 11/56Other Issues•Collaboration – Read description on web site•Use of bibles – See description on web site•Time spent on course–Survey shows 15-18 hours/week–Seeking help •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)01/13/19 6.001 SICP 12/56Other Issues•Slides: You have most of them.•Because sometimes…–there are answers to problems–there are jokes–it’s good to pay attention01/13/19 6.001 SICP 13/56Getting 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•We will post assignments for tomorrow’s section later this afternoon on the course web site01/13/19 6.001 SICP 14/566.001•Today–The structure of 6.001–The content of 6.001–Beginning to Scheme01/13/19 6.001 SICP 15/56•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 knowledgeWhat is the main focus of 6.001?•This course is about Computer Science01/13/19 6.001 SICP 16/56Declarative Knowledge•“What is true” knowledge0 and that such theis 2 yxyyx01/13/19 6.001 SICP 17/56Imperative Knowledge•“How to” knowledge•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.2for :Example xxX = 2 G = 101/13/19 6.001 SICP 18/56Imperative Knowledge•“How to” knowledge•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.2for :Example xxX = 2 G = 1X/G = 2 G = ½ (1 + 2) = 1.501/13/19 6.001 SICP 19/56Imperative Knowledge•“How to” knowledge•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.2for :Example xxX = 2 G = 1X/G = 2 G = ½ (1 + 2) = 1.5X/G = 4/3 G = ½ (3/2 + 4/3) = 17/12 = 1.41666601/13/19 6.001 SICP 20/56Imperative Knowledge•“How to” knowledge•To find an approximation of square root of x:–Make a guess G–Improve the guess by averaging G and x/G–Keep improving


View Full Document

MIT 6 001 - Lecture Notes

Documents in this Course
Quiz 1

Quiz 1

6 pages

Databases

Databases

12 pages

rec20

rec20

2 pages

Quiz II

Quiz II

15 pages

Streams

Streams

5 pages

Load more
Download Lecture Notes
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view Lecture Notes and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Lecture Notes 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?