系统能力的培养1.ppt
《系统能力的培养1.ppt》由会员分享,可在线阅读,更多相关《系统能力的培养1.ppt(45页珍藏版)》请在三一文库上搜索。
1、计算机学科规范CS2013 系统能力的培养,抛砖引玉研讨稿,Survey 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 import/knowledge areas
2、Survey released in December, 2010 1500 US department chairs/directors of UG education 2000 International department chairs Received 201 responses,Importance of Topics,Suggested Topics (% of Suggestions),Bounding Size of Curriculum,Body of Knowledge Update (1),Addition of new Knowledge Areas Parallel
3、 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 additional core hours Systems Fundamentals Cross-cutting systems concepts E.g., caching, locali
4、ty, 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, robots, etc.,Body of Knowledge Update (2),Reorganization of topics in many Knowledge Are
5、as 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, Programming Languages, and Algorithms Move paradigm-specific concepts (e.g., OOP, Functional)
6、to Programming Languages Programming Fundamentals + some Software Engineering = “Software Development Fundamentals” Seek to broaden thinking away from equating “Programming Fundamentals” with “Introductory Programming Courses” Introductory programming course includes: platform + language/paradigm +
7、software development,CMU计算机本科教学,CMU Computer Science Core:,15-122 Principles of Imperative Computation 15-150 Principles of Functional Programming 15-210 Parallel and Sequential Data Structures and Algorithms 15-213 Introduction to Computer Systems 15-251 Great Theoretical Ideas in Computer Science
8、15-451 Algorithm Design and Analysis,CMU计算机本科教学,One Algorithms & Complexity elective:,15-354 Computational Discrete Mathematics 15-355 Modern Computer Algebra 15-453 Formal Languages and Automata 21-301 Combinatorics 21-484 Graph Theory,CMU计算机本科教学,One Applications elective:,05-391 Designing Human-Ce
9、ntered 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 Artificial Intelligence: Representation and Problem Solving 15-384 Robotic Manipulation 15
10、-385 Computer Vision 15-415 Database Applications 15-462 Computer Graphics,CMU计算机本科教学,One Logics and Languages elective:,15-312 Foundations of Programming Languages 15-317 Constructive Logic 15-414 Bug Catching: Automated Program Verification and Testing 21-300 Basic Logic 80-311 Computability and I
11、ncompleteness,CMU计算机本科教学,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-441 Computer Networks,计算机系统基础,1998年在CMU开设 2002年正式出版教材 2010年第2版发行 涵盖了计算机系统领域的广泛内容 但仅从程序员
12、的角度介绍,不与后续课程抢内容,计算机系统基础,汇编 二进制,汇编,link/loader 组成与体系结构 流水线,超标量,memory hierarchy 操作系统 Fork/execve/wait/signal (shell), 虚存 I/O与网络编程 I/O, 网络程序设计, 并发程序设计,计算机系统基础,可接触的概念、做中学 设计了8个labs Bit operation Bombing (tracker) Buffer overflow attack (hacker) Pipeline design (using HCL) Code optimization Shell Malloc
13、 Proxy,Great 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 computer science applications Examples are drawn from Algorithms, Complexity Theory, Automat
14、a Theory, Game Theory, Probability Theory, Graph Theory, Algebra, Cryptography, and Combinatorics Assignments involve both mathematical proofs and programming,Great Theoretical Ideas in Computer Science,Number Pancakes with a Problem! Choose Your Representation! Unary, Binary, and Beyond One Step at
15、 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 Cryptosystem,Great Theoretical Ideas in Computer Science,Counting: Counting I: One To One Correspondence and Choice Tree Representation
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 系统 能力 培养
链接地址:https://www.31doc.com/p-3363389.html