非科班入门计划

目前暂定CMU(卡内基-梅隆大学)的本科培养方案作为入门路线
(假定非科班人员已有C语言编程经验)
培养方案

专业必修	name
15-122	Principles of Imperative Computation
15-150	Principles of Functional Programming
15-151	Mathematical Foundations for Computer Science
15-210	Parallel and Sequential Data Structures and Algorithms
15-213	Introduction to Computer Systems
15-251	Great Ideas in Theoretical Computer Science
15-451	Algorithm Design and Analysis

课余分享	name
15-300	Research and Innovation in Computer Science
17-200	Ethics and Policy Issues in Computing

算法与复杂度分析	选修
15-354	Computational Discrete Mathematics
15-355	Modern Computer Algebra
15-455	Undergraduate Complexity Theory
15-456	Computational Geometry
15-458	Discrete Differential Geometry
21-301	Combinatorics
21-484	Graph Theory

逻辑与语言分析	选修
15-312	Foundations of Programming Languages
15-314	Programming Language Semantics
15-316	Software Foundations of Security and Privacy
15-317	Constructive Logic
15-414	Bug Catching: Automated Program Verification and Testing
15-424	Foundations of Cyber-Physical Systems
17-355	Program Analysis
80-413	Category Theory

Software Systems	选修
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
15-445	Database Systems