“计算机专业基础-相关课程”版本间的差异
(→编程语言) |
(→形式语言与自动机) |
||
第29行: | 第29行: | ||
自动机与复杂度理论导论 | 自动机与复杂度理论导论 | ||
− | + | CS154-2010: Introduction to Automata and Complexity Theory | |
− | 对标课程(Instructor: Jeffrey D. Ullman): | + | 对标课程(Instructor: Jeffrey D. Ullman): http://infolab.stanford.edu/~ullman/ialc/spr10/spr10.html |
+ | |||
+ | CS154: Introduction to Automata and Complexity Theory | ||
+ | |||
+ | 对标课程(Instructor: Omer Reingold):https://see.stanford.edu/Course/cs154 | ||
==编程语言== | ==编程语言== |
2019年12月15日 (日) 02:52的版本
- 与斯坦福大学的计算机专业的教学课程对标。
目录
计算机原理
编程方法学
离散数学
对标课程:CS103: Mathematical Foundations of Computing
- Richard Johnsonbaugh, Discrete Mathatics, Prentice-Hall, 2005.
数据结构与算法
对标课程:CS 161: Design and Analysis of Algorithms
http://www.cs.princeton.edu/courses/archive/spr10/cos226/info.html
- Introduction to Algorithms-Third Edition-The MIT Press (2009)
- Algorithms, 4th Edition by Robert Sedgewick and Kevin Wayne
- 数据结构与算法分析C++描述
形式语言与自动机
自动机与复杂度理论导论
CS154-2010: Introduction to Automata and Complexity Theory
对标课程(Instructor: Jeffrey D. Ullman): http://infolab.stanford.edu/~ullman/ialc/spr10/spr10.html
CS154: Introduction to Automata and Complexity Theory
对标课程(Instructor: Omer Reingold):https://see.stanford.edu/Course/cs154
编程语言
对标课程:
CS107 - Programming Paradigms
CS106A - Programming Methodologies
对标课程:CS 242:programming language
- C++, LISP, Python编程语言
Types and Programming Languages, by Benjamin C. Pierce, MIT Press
编译器
对标课程:CS143: Compilers
- Compilers: Principles, Techniques & Tools, by Alfred Aho, Monica Lam, Ravi Sethi, and Jeffrey Ullman. Addison-Wesley, Second edition. ISBN 0-321-48681-1
- Crafting a Compiler, by Fischer, Cytron and LeBlanc, ISBN 0-13-606705-0
- Modern Compiler Implementation in Java (Second Edition), Andrew Appel and Jens Palsberg., Cambridge University Press
- Engineering a Compiler, Keith Cooper and Linda Torczon, Morgan Kaufman
计算机硬件与计算机软件
系统结构
对标课程:CS152 : Computer Architecture
- Computer Architecture: A Quantitative Approach, (计算机系统结构-量化研究方法-[英文版][第五版])
操作系统
对标课程:CS 140: Operating Systems
计算机网络
对标课程:cs244A: Introduction to Computer Networks
对标课程:cs244: Advanced Topics in Networking
软件工程
对标课程:CS106A:Programming Methodology
- Agile编程
- SCRUM,软件开发
数据系统
数据库与大数据系统
CS145:CS145: Data Management and Data Systems
CS245:CS245: Principles of Data-Intensive Systems
CS346:Database System Implementation
CMU CS 15-721 Introduction to Database Systems
CMU CS 15-445 Advanced Database Systems
人工智能
对标课程:CS121: Introduction to Artificial Intelligence or
对标课程:CS221: Artificial Intelligence: Principles and Techniques
- Artificial Intelligence - A Modern Approach .3e. Third Edition. ([人工智能:一种现代方法.英文.第三版])
机器学习
密码学
对标课程:CS255:Introduction to Cryptography
参考
Stanford Engineering Computer Science, https://cs.stanford.edu/academics/courses
https://exploredegrees.stanford.edu/coursedescriptions/cs/
https://exploredegrees.stanford.edu/coursedescriptions/ee/
通俗读物
改变未来的九大算法,
信息简史,
世界是数字的,
算法之美,