系统能力的培养1

1、1计算机学科规范计算机学科规范CS2013 系统能力的培养系统能力的培养抛砖引玉研讨稿抛砖引玉研讨稿2Survey of CC2001/CS2008 Usage Developed survey to gather data for CS2013 Reviews usage of CC2001 and CS2008 Rating of importance of existing knowledge areas Rating of principles (e.g., importance of stylized classes) Suggestions for new topics of im

2、port/knowledge areas Survey released in December, 2010 1500 US department chairs/directors of UG education 2000 International department chairs Received 201 responses3Importance of Topics4Suggested Topics (% of Suggestions)5Bounding Size of CurriculumTier1 + 100% Tier2: 303Tier1 + 90% Tier2: 290Tier

3、1 + 80% Tier2: 2776Body of Knowledge Update (1) Addition of new Knowledge Areas Parallel and Distributed Computing Most important area to add as indicated by previous feedback Will include additional core hours Information Assurance and Security Second most important area to add Will include additio

4、nal core hours Systems Fundamentals Cross-cutting systems concepts E.g., caching, locality, latency, parallelism Avoid tying these to any one topic (e.g. Operating Systems, Architecture) to foster broader thinking and new pedagogy Platform-based Development E.g., web, mobile devices, game consoles,

5、robots, etc.7Body of Knowledge Update (2) Reorganization of topics in many Knowledge Areas Net-Centric Computing Networking and Communications Sharpen focus on networking Web development moves to “Platform-based Development” Notably, includes a reworking of topics in Programming Fundamentals, Progra

6、mming Languages, and Algorithms Move paradigm-specific concepts (e.g., OOP, Functional) to Programming Languages Programming Fundamentals + some Software Engineering = “Software Development Fundamentals” Seek to broaden thinking away from equating “Programming Fundamentals” with “Introductory Progra

7、mming Courses” Introductory programming course includes: platform + language/paradigm + software development8CMU计算机本科教学CMU Computer Science Core:15-122 Principles of Imperative Computation15-150 Principles of Functional Programming 15-210 Parallel and Sequential Data Structures and Algorithms 15-213

8、 Introduction to Computer Systems 15-251 Great Theoretical Ideas in Computer Science 15-451 Algorithm Design and Analysis 9CMU计算机本科教学One Algorithms & Complexity elective:15-354 Computational Discrete Mathematics 15-355 Modern Computer Algebra 15-453 Formal Languages and Automata 21-301 Combinato

9、rics 21-484 Graph Theory 10CMU计算机本科教学One Applications elective:05-391 Designing Human-Centered Software 05-431 Software Structures for User Interfaces 10-601 Machine Learning 11-411 Natural Language Processing 15-313 Foundations of Software Engineering 15-322/15-323 Intro to Computer Music 15-381 Ar

10、tificial Intelligence: Representation and Problem Solving 15-384 Robotic Manipulation 15-385 Computer Vision 15-415 Database Applications 15-462 Computer Graphics 11CMU计算机本科教学One Logics and Languages elective:15-312 Foundations of Programming Languages 15-317 Constructive Logic 15-414 Bug Catching:

11、Automated Program Verification and Testing 21-300 Basic Logic 80-311 Computability and Incompleteness 12CMU计算机本科教学One Software Systems elective:15-410 Operating System Design and Implementation 15-411 Compiler Design 15-418 Parallel Computer Architecture and Programming 15-440 Distributed Systems 15

12、-441 Computer Networks 13计算机系统基础 1998年在CMU开设 2002年正式出版教材 2010年第2版发行 涵盖了计算机系统领域的广泛内容 但仅从程序员的角度介绍，不与后续课程抢内容14计算机系统基础 汇编 二进制，汇编，link/loader 组成与体系结构 流水线，超标量，memory hierarchy 操作系统 Fork/execve/wait/signal (shell), 虚存 I/O与网络编程 I/O, 网络程序设计, 并发程序设计15计算机系统基础 可接触的概念、做中学 设计了8个labsBit operationBombing (tracker)B

13、uffer overflow attack (hacker)Pipeline design (using HCL)Code optimizationShellMalloc 1. Proxy16Great Theoretical Ideas in Computer Science How to use theoretical ideas to formulate and solve problems in computer science Integrate mathematical material with general problem solving techniques and com

14、puter science applications Examples are drawn from Algorithms, Complexity Theory, Automata Theory, Game Theory, Probability Theory, Graph Theory, Algebra, Cryptography, and Combinatorics Assignments involve both mathematical proofs and programming17Great Theoretical Ideas in Computer Science Number

15、Pancakes with a Problem! Choose Your Representation! Unary, Binary, and Beyond One Step at a Time: Induction On Raising a Number to a Power Euclids Great Recursive Algorithm for GCD Fibonacci Numbers: An Unexpected Formula Modular Arithmetic and the RSA Cryptosystem18Great Theoretical Ideas in Compu

16、ter Science Counting: Counting I: One To One Correspondence and Choice Tree Representation Counting II: Recurring Problems and Correspondences Counting III: Polynomials Count! Pascals Triangle19Great Theoretical Ideas in Computer Science Computation: The One Minute to Learn Programming Language: Fin

17、ite Automata Playing Symbol Games: Logic, Language, and Meaning On Time versus Input Size Problem Solving: The Method behind the AHA! Grade School Revisited: How to Add and Multiply Grade School Again: A Parallel Perspective20Great Theoretical Ideas in Computer Science Probability Methods Probabilit

18、y I: Counting in Terms of Proportions Probability II: Probability Pitfalls and Paradoxes Counting, Naming, and Worst-Case Compression Dating Theory: Who Wins the Battle of the Sexes? Probability III: Random Variables and Great Expectations! Probability IV: Event Space in an Infinite Choice Tree Prob

19、ability V: Random Walks.21Great Theoretical Ideas in Computer Science Computational Theory Thaless Legacy: What is a Proof? Cantors Legacy: Infinity and Diagonalization. Turings Legacy: The Limits of Computation Godels Legacy: The Limits of the Symbol Game Ancient Paradoxes with an Incompressible Re

20、solution22MIT的核心课程23计算机系统工程 互联网成为主流以及多核的出现 如何控制计算机系统的设计复杂性 Strong modularity using client-service design Naming Virtualization 其它系统设计的主要问题 Performance Networks Fault Tolerance Atomicity and Consistency Security 2011年开始授课24计算机系统工程 大量的经典论文阅读 Worse is Better A Fast for UNIX The X Window System The Evol

21、ution of an x86 Virtual Machine Monitor End-to-end Arguments in System Design MapReduce The Design and Implementation of a Log-Structured RAID: A Case for Redundant Arrays of Inexpensive Disks1. Hints of Computer System Design25计算机系统工程 设计类 projecttagged 设计类google-doc系统 Lab The UNIX (practice related

22、 commands) The UNIX Time-Sharing System (practice other shell commands) Internet Routes and Measuring Round Trip Times (traceroute) MapReduce26Stanford计算机本科核心课程Systemscs106B Programming Abstractionscs107 Computer Organization and SystemsComputer Systems: A Programmers Perspective by Bryant and OHall

23、aron(CMU) . C Programming Language by Kernighancs110 Principles of Computer Systems课本：Principles of Computer System Design by Jerome H. Saltzer and M. Frans Kaashoek (MIT)Theorycs103 Mathematical Foundations of Computingcs109 Intro to Probability for Computer Scientistscs161 Data Structures and Algo

24、rithms27Berkeley计算机本科核心课程CoreCS 61A Structure and Interpretation of Computer ProgramsCS61B Data StructuresCS61C Machine Structures EECS42 Digital ElectronicsUpper Division RequiredCS 170 Algorithms CS 162 Operating systems 28Berkeley计算机本科核心课程Breadth courses choose two from the following: CS 150 Digi

25、tal SystemsCS 152 Computer Architecture CS 160 User InterfacesCS 161 Computer Security CS 164 Languages and Compilers CS 169 Software Engineering CS 184 Computer GraphicsCS 186 Databases CS 188 Artificial Intelligence 29 Utexas的计算机系统概念 Yale Patt， Introduction to Computing Systems: from bits and gate

26、s to C and beyond. 美国计算机界的卓越泰斗，与Knuth齐名30 UIUC、Utexas、UMN、UMASS、上海交大、中科大等采用 Patt教授2011年中科大授课的Youku视频 （密码ustc） 英文(授课时使用,随时更新) 大一就对计算机系统软件和硬件有整体的理解31 第1章 欢迎阅读本书1.1 我们的目标1.2 怎么才能做到1.3 两个反复出现的理念1.4 计算机系统简述1.5 两个非常重要的思想1.6 计算机：通用计算设备1.7 从问题描述到电子运转1.8 习题计算机系统概念目录32 第2章 bit、数据类型及其运算第3章 数字逻辑第4章 冯诺伊曼模型第5章 LC

27、-3结构第6章 编程第7章 汇编语言第8章 输入/输出第9章 TRAP程序和子程序第10章 栈33 第11章 C语言编程概述第12章 变量和运算符第13章 控制结构第14章 函数第15章 测试与调试技术第16章 指针和数组第17章 递归笫18章 C语言中的I/O第19章 数据结构34Programming in C+35Programming in C+ Introduction Computers, People, and Programming Programming and “Hello, Word!” Objects, Types, and Values Computation Errors Writing a Program Completing a Program Technicalities: Functions, etc Technicalities: Classes, etc 36Programming in C+ Input/Output Streams Customizing I/O A Display Model Graphics Classes Graphics Class Design Graphing Functions and Data Graphical User I