南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)01-Introduction(主讲:冯新宇)

Course Introduction 2019/9/23 Slides adapted from Berkeley CS61a
Course Introduction 2019 / 9 / 23 Slides adapted from Berkeley CS61a

What is Computer Science? What problems can be solved using computation? How to solve those problems? What techniques lead to effective solutions?
What is Computer Science? ● What problems can be solved using computation? ● How to solve those problems? ● What techniques lead to effective solutions?

What is Computer Science? ●Systems Computer Science is no more about Artificial Intelligence computers than astronomy is about telescopes. Graphics ● Security Edsger W.Dijkstra ● Networking Programming Languages ● Theory ● Scientific Computing
What is Computer Science? ● Systems ● Artificial Intelligence ● Graphics ● Security ● Networking ● Programming Languages ● Theory ● Scientific Computing ... Computer Science is no more about computers than astronomy is about telescopes. Edsger W. Dijkstra

What is this course about? Managing Complexity o Mastering Abstraction 南京地钱二号线 藏应地线一科经物延线 门 的上出美性道¥
What is this course about? ● Managing Complexity ○ Mastering Abstraction

What is this course about? Managing Complexity o Mastering Abstraction o Programming Paradigms Introduction to Programming o Full understanding of Python fundamentals o Combining multiple ideas in large projects o How computers interpret programming languages A challenging course that will demand a lot from you
What is this course about? ● Managing Complexity ○ Mastering Abstraction ○ Programming Paradigms ● Introduction to Programming ○ Full understanding of Python fundamentals ○ Combining multiple ideas in large projects ○ How computers interpret programming languages ● A challenging course that will demand a lot from you

Alternative to this course 。程序设计基础 ●Programming in C Similar goals,different textbooks and languages
Alternative to this course ● 程序设计基础 ● Programming in C ● Similar goals, different textbooks and languages

Course Format Lecture MW14:00-15:50,仙ll-503 Lab section Th16:00-18:00,基础实验楼乙124 Office hours M19:00-21:00 Course webpage https://cs.nju.edu.cn/xyfeng/teaching/SICP Online textbook https://composingprograms.com homework assignments programming projects ●A midterm and a final Lots of course support
Course Format ● homework assignments ● programming projects ● A midterm and a final ● Lots of course support Lecture Lab section Online textbook MW 14:00 -15:50,仙II-503 Th 16:00 – 18:00,基础实验楼乙124 https://composingprograms.com Course webpage https://cs.nju.edu.cn/xyfeng/teaching/SICP Office hours M 19:00 – 21:00

Grading ●Homework,15%
Grading ● Homework, 15%

Homeworks Will be graded on "effort" This approximately means,completing most of the problems and at least attempting to solve the rest This means there's no reason to cheat! Ask for help if you are stuck and make a good effort on all of the homework
Homeworks ● Will be graded on “effort” ● This approximately means, completing most of the problems and at least attempting to solve the rest ● This means there’s no reason to cheat! ● Ask for help if you are stuck and make a good effort on all of the homework

Grading ·Homework,15% ●Labs,10% o Graded on correct completion o Need to complete in the lab section ●Projects,25%
Grading ● Homework, 15% ● Labs, 10% ○ Graded on correct completion ○ Need to complete in the lab section ● Projects, 25%
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 《计算机科学》相关教学资源(PPT课件讲稿)Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination.ppt
- 《计算机科学》相关教学资源(PPT课件讲稿)Modular Verification of Assembly Code with Stack-Based Control Abstractions.ppt
- 《计算机科学》相关教学资源(PPT课件讲稿)An Open Framework for Foundational Proof-Carrying Code.ppt
- 《计算机科学》相关教学资源(PPT课件讲稿)Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.ppt
- 《计算机科学》相关教学资源(PPT课件讲稿)On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning.ppt
- 《计算机科学》相关教学资源(参考文献)Technical Report TTIC-TR-2008-1(Local Rely-Guarantee Reasoning).pdf
- 《计算机科学》相关教学资源(参考文献)Deny-Guarantee Reasoning.pdf
- 《计算机科学》相关教学资源(参考文献)A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations.pdf
- 《计算机科学》相关教学资源(参考文献)Modular Verification of Linearizability with Non-Fixed Linearization Points.pdf
- 《计算机科学》相关教学资源(参考文献)Characterizing Progress Properties of Concurrent Objects via Contextual Refinements.pdf
- 《计算机科学》相关教学资源(参考文献)Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations.pdf
- 《计算机科学》相关教学资源(参考文献)Compositional Verification of Termination-Preserving Refinement of Concurrent Programs.pdf
- 《计算机科学》相关教学资源(参考文献)A Program Logic for Concurrent Objects under Fair Scheduling.pdf
- 《计算机科学》相关教学资源(参考文献)A Practical Verification Framework for Preemptive OS Kernels.pdf
- 《计算机科学》相关教学资源(参考文献)Progress of Concurrent Objects with Partial Methods.pdf
- 《计算机科学》相关教学资源(参考文献)POMP:Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining.pdf
- 《计算机科学》相关教学资源(参考文献)Decay of Correlation in Spin Systems.pdf
- 《计算机科学》相关教学资源(参考文献)Counting with Bounded Treewidth.pdf
- 《计算机科学》相关教学资源:The Magical Wild Animals(神奇的动物).pdf
- 《计算机科学》相关教学资源:Quest for Artificial Intelligence(人工智能探秘).pdf
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)02-Names & Functions.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)03-Control.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)04-Environment Diagrams.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)05-Higher-Order Functions.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)06-Recursion.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)07-Recursion Examples.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)08-Containers.pdf
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)09-Data-Abstractions.pdf
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)10-Trees.pdf
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)11-Mutable-Values.pdf
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)12-Mutable Functions & Growth.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)13-Iterators.pdf
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)13-Iterators & Generators.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)14-Object-Oriented Programming.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)15-Inheritance.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)16-Linked Lists & Mutable Trees.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)17-Interfaces.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)18-Scheme.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)19-More-Scheme.pptx
- 南京大学:《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源(PPT课件讲稿)20-Interpreters.pptx