[分享]cs books,points,review

huangjin_suzhouUID：37183

转自 太傻 subject版

对不起,一开始忘了,向所有人道歉

A) SOFTWARE SYSTEMS AND METHODOLOGY
1) ★《Data Structures With C++》 By William Ford ，William Topp
2) 《Data Structure And Program Design In C++》(Second Edition)
3) ★《Operation Systems Internals and Design Principles》 (third edition)
By William Stallings
4) 《编译原理》By 张素琴 蒋维杜
5) ★《编译原理》 陈火旺（国防科大）
6) 《Compiler Construction Principles And Practice》
7) ★《Program Language Design & Implementation》
8) 《Operating System Concepts》(5th edition) By Abraham Silberschatz
9) ★《Compilers: Principles, Techniques, and Tools》Alfred V. Aho
10) ★《算法设计与分析》，机械工业出版社，周培德
B) COMPUTER ORGANIZATION AND ARCHITECTURE
1) ★《Computer System Architecture 》(Third Edition)  By M.MORRIS MANO
2) 《计算机体系结构》（第2版，郑纬民，汤志忠，清华）
3) 《数字逻辑电路分析与设计》（影印版）
4) 《数字电子技术基础简明教程》(清华大学)
5) 《数字逻辑》  蒋大宗
6) ★《Computer Organization and Architecture——Design for Performance》
（fourth edition）By William Stallings
7) 《Advanced Computer Architecture》(Second Edition) By David A.Patterson
8) 《Computer Organization and Design: The Hardware/Software Interface》
C) THEORY
1) ★《Elements Of The Theory Of Computation》(Second Edition) By H.R. Lewis
2) 《计算机算法导论－－设计与分析》By 卢开澄
3) 《可计算性理论》 莫绍撰著  
4) 《可计算性与计算复杂性导引》
5) 《可计算性理论》 张鸣华著
6) 《自动机理论、语言和计算导引》

D) MATHEMATICAL 0 BACKGROUND
1) ★《Discrete Mathematical Structures》 (third edition)
By Bernard Kolman R.C., Busby Sharon Ross
2) ★《数值分析》——华中理工大学出版社
3) ★《数理逻辑与集合论》（清华）

E) OTHER TOPICS
1) ★《Object-Oriented System Analysis And Design》
2) 《A First Course in DataBase System》，清华影印
3) 《关系数据库》，清华大学出版社，石树刚，郑振楣编
4) 《软件工程导论》 （第3版） 张海藩
5) 《Computer Networks》
6) 《数据通信与计算机通信》
7) 《Computer Graphics C Version》 （Second Edition）


I. SOFTWARE SYSTEMS AND METHODOLOGY, 35%
A. Data organization
1. Data types
 Sample Questions 91: 1
2. Data structures and implementation techniques
 Sample Questions 91: 15, 18
 8629: 13, 33, 34, 62, 68
 9129: 3, 9, 10, 58
 9429: 6, 7, 17, 26, 27, 40, 57, 61
 9629: 9, 33, 36, 37, 38, 43, 60, 63, 64
 Descriptive Booklet: 8, 27, 28
 93_Recall: 10, 14
 96_Recall: 2, 48, 54, 63
 97_Recall: 2, 9, 34, 52, 55, 60, 61
 98_Recall: 10, 11, 15, 17, 32, 51, 52, 58, 59
 99_Recall: 26, 33, 34, 46
 Pre-, in-, post- order tree walk
o 8629: 28
o 9129: 1, 13
o 9429: 9, 30
o 9629: 5, 6, 47
o Descriptive Booklet: 3
o 98_Recall: 1, 21, 43, 44
o 99_Recall: 29, 32
 Hash Table
o Sample Questions 91: 6
o 9129: 5
o 9429: 24
o 9629: 24
o 96_Recall: 20 (hash table linear probing)
 Sorting
o Sample Questions 91: 37
o 9429: 21
o 9629: 52
o Descriptive Booklet: 20, 21, 22
o 96_Recall: 19, 32, 41, 72
o 97_Recall: 51
o 98_Recall: 22
o 99_Recall: 9, 30, 31
o 00_Recall: 5
 Pre-, post- condition, invariant
o Sample Questions 91: 48
o 9129: 14, 30
o 9629: 27
o Descriptive Booklet: 13
o 98_Recall: 16
o 99_Recall: 16
 Huffman codes
o 97_Recall: 56
o 99_Recall: 4
3. File organization (e.g., sequential, indexed, multilevel)
 9129: 24
 97_Recall: 59
B. Program control
1. Iteration and recursion
 Sample Questions 91: 14
 8629: 16
 9129: 55
 9429: 56, 65
 9629: 13, 26
 93_Recall: 9
 96_Recall: 15
 98_Recall: 42
 00_Recall: 20, 24
 Loop invariant
o Sample Questions 91: 42
o 9429: 67
o 9629: 10
o 97_Recall: 10
o 00_Recall: 23
2. Functions, procedures, and exception handlers
 9129: 63
 9629: 20
3. Communication and synchronization
 refer to II. D. Communication
C. Programming languages and notation
1. Constructs for data organization and program control
 Sample Questions 91: 39
 93_Recall: 31
 96_Recall: 22 (C++ OOP, Virtual Class)
2. Scope, binding, and parameter passing
 Sample Questions 91: 4, 5, 17
 9129: 47, 52, 53
 9429: 12, 14, 77, 78
 9629: 7, 30
 Descriptive Booklet: 15
 96_Recall: 26, 27, 46
 97_Recall: 12, 13
 99_Recall: 11
3. Expression evaluation
 9129: 2
 9429: 1, 15 (infix), 20, 51
 9629: 19
 Descriptive Booklet: 1, 7, 26
 93_Recall: 1
 99_Recall: 28
D. Systems
1. Compilers and interpreters
 Sample Questions 91: 1, 3, 8, 12, 13
 9129: 7, 35 (Sequential Machine), 39, 42, 65, 79
 9429: 36, 39
 9629: 40, 49, 62
 Descriptive Booklet: 16, 24
 96_Recall: 7, 55, 59, 61, 62, 64, 68, 71
 97_Recall: 19, 22, 23, 24, 25, 47, 58
 98_Recall: 24, 25, 38, 48, 49
 00_Recall: 17
2. Operating systems, including resource management and protection/security
 9129: 28, 29
 9629: 22
 96_Recall: 33, 69
 97_Recall: 20
 98_Recall: 65
 00_Recall: 8
 Job scheduling
o Sample Questions 91: 23, 24
o 9129: 38, 49, 50
o 9429: 3
 Mutual Exclusion
o Sample Questions 91: 9
o 9129: 31, 60
o 9629: 8, 34
o Descriptive Booklet: 5
o 93_Recall: 33
o 98_Recall: 36, 37
o 99_Recall: 36, 39, 40, 52
 Multithreading
o 96_Recall: 9, 11 (Share and Mutual Exclusion)
 Semaphore and P V operations
o 9629: 65
o 96_Recall: 42, 43
o 97_Recall: 7
o 98_Recall: 39
 [Textbooks]
 Multithreading [1] 146-149
3. Networking and distributed systems
4. System development tools
5. System performance
 9129: 16, 17
 9629: 45, 46

II. COMPUTER ORGANIZATION AND ARCHITECTURE, 20%
A. Logic design
1. Implementation of combinational and sequential circuits
 Sample Questions 91: 27, 33
 9129: 8, 26, 62
 9429: 22, 41, 47, 63, 71, 79
 9629: 31
 Descriptive Booklet: 14, 30
 93_Recall: 15, 16
 96_Recall: 1
 98_Recall: 5, 12
2. Functional properties of digital integrated circuits
 Sample Questions 91: 35
 8629: 72
 9129: 21, 67, 75, 76
 9429: 28
 9629: 51, 56
 Descriptive Booklet: 31, 32
 97_Recall: 6
B. Processors and control units
1. Instruction sets
 9129: 68
 99_Recall: 35
 RISC
o 96_Recall: 12, 13
o 97_Recall: 26, 28, 29
o 00_Recall: 14
2. Register and ALU organization
 9429: 55
 Miscellany: II.1
3. Number representation
 refer to IV. B. 1. Computer arithmetic, including number representations, roundoff errors, overflow and underflow
4. Control sequencing
 Sample Questions 91: 30, 31, 34
 9429: 29
5. Data paths
 9129: 80
C. Memories and their hierarchies
1. Speed, capacity, cost, allocation
 Sample Questions 91: 32, 36
 9129: 34
 9629: 21, 61
 93_Recall: 30
 96_Recall: 47
 97_Recall: 16, 38
 99_Recall: 10
 Garbage Collection
o 9429: 58
o 9629: 29
o 93_Recall: 6
o 96_Recall: 49
2. Cache, main, secondary storage
 Sample Questions 91: 25
 9129: 32, 66
 9429: 2, 43, 44
 93_Recall: 27
 97_Recall: 30, 31, 44
 98_Recall: 54, 55, 57
 99_Recall: 24, 43
 00_Recall: 26
3. Virtual memory, paging, segmentation
 9129: 11, 12, 25
 9429: 33
 9629: 18, 54, 55
 Descriptive Booklet: 10
 96_Recall: 34 (TLB), 35, 60
 99_Recall: 49
 [Textbooks]
 TLB [1] 327
D. Communication
1. Bus, switch, and network structures and protocols
 Sample Questions 91: 7, 20, 26
 9429: 16
 93_Recall: 23
 98_Recall: 4
 99_Recall: 25, 47
 00_Recall: 19
 Hamming Distance
o Sample Questions 91: 64
o 9129: 54
o 00_Recall: 13
2. I/O
 Sample Questions 91: 2, 28, 29
 9629: 23, 44
 98_Recall: 26
 99_Recall: 45
 00_Recall: 28
3. Synchronization
 Sample Questions 91: 19
 9429: 32
 97_Recall: 45
 98_Recall: 61
E. High-performance architectures
1. Pipelining super-scalar and out-of-order execution processors
 Sample Questions 91: 21, 22
 9629: 35
 96_Recall: 17, 18, 19, 70, 73
 97_Recall: 46
 98_Recall: 19, 30, 60
 00_Recall: 3
 [Textbooks]
 Pipeline [2] 299, 302-319
2. Parallel computing
 Sample Questions 91: 10
 9129: 48
 9429: 34, 74, 75, 76
 9629: 17
 97_Recall: 33, 40
 98_Recall: 53
3. Distributed computing
 9429: 72, 80

III. THEORY, 25%
A. Automata and language theory
1. Models of computation (finite automata, pushdown automata, Turing machines)
 Sample Questions 91: 38, 40, 41, 43, 47, 49
 8629: 77
 9129: 20, 33, 51, 74
 9429: 4, 5, 11, 49, 50, 64
 9629: 11, 12, 16, 28, 50
 Descriptive Booklet: 6, 23, 29
 93_Recall: 19
 96_Recall: 50, 51, 52, 53 (Pumping lemma), 65, 74
 97_Recall: 21, 35, 36, 42
 98_Recall: 33, 62, 63
 99_Recall: 15
2. Formal languages (regular languages, context-free languages)
 9129: 6
 9429: 59
 9629: 57, 70
 96_Recall: 28, 30
 97_Recall: 32, 43, 49
 98_Recall: 20
 00_Recall: 17
 [Textbooks]
 [3]
 [References]
 [2]
3. Decidability
 9629: 70
 Descriptive Booklet: 34
 93_Recall: 25
 96_Recall: 29 (recursively enumerable language)
 97_Recall: 27
 99_Recall: 3
B. Design and analysis of algorithms and computational complexity
1. Exact or asymptotic analysis of the best, worst, or average case for the time and space complexity of specific algorithms
 Sample Questions 91: 44, 45, 46
 8629: 42, 61
 9129: 27, 40, 44, 45, 56, 57
 9429: 18, 19, 62
 9629: 3, 42
 Descriptive Booklet: 19, 21
 93_Recall: 20
 96_Recall: 39, 40, 44, 45
 97_Recall: 8, 14, 15, 50
 98_Recall: 41, 53
 00_Recall: 6, 9, 21
2. Algorithmic design techniques (divide and conquer, dynamic programming, greedy)
 96_Recall: 24 (Kruskal's algorithm) refer to References [3] 595 Exercise E6
 98_Recall: 40
3. Upper and lower bounds on the complexity of specific problems
 9629: 68
 96_Recall: 8, 25
 98_Recall: 8
4. NP-completeness
 93_Recall: 24
 96_Recall: 4, 23
 97_Recall: 3, 37
 98_Recall: 9, 13
 99_Recall: 2
 00_Recall: 4
C. Correctness of programs
1. Formal specifications and assertions
2. Verification techniques
 97_Recall: 39

IV. MATHEMATICAL BACKGROUND, 15%
A. Discrete structures
1. Mathematical logic
 Sample Questions 91: 62, 63
 8629: 70
 9129: 18, 61, 62
 9429: 37, 52
 9629: 1, 59
 Descriptive Booklet: 11
 93_Recall: 17
 96_Recall: 21, 56
 97_Recall: 41
 98_Recall: 2, 64
 00_Recall: 1
 Don't care
o 8629: 6
o 9129: 69
2. Elementary combinatorics, including graph theory and counting arguments
 Sample Questions 91: 52, 60
 9429: 25, 66
 9629: 4, 25, 32, 41, 48
 96_Recall: 66
 98_Recall: 23
 99_Recall: 22
 Tree
o Sample Questions 91: 53, 57
o 9129: 72
o 9429: 48
o 9629: 69
o Descriptive Booklet: 9
o 93_Recall: 12, 13
o 96_Recall: 57, 58
o 97_Recall: 48, 53, 57
 Graph theory other than tree
o 9129: 19, 22, 23, 41, 43
o 97_Recall: 54
o 98_Recall: 7, 31
o 99_Recall: 53, 54
o 00_Recall: 22
3. Elementary discrete mathematics, including number theory, discrete probability, recurrence relations
 Sample Questions 91: 51
 Descriptive Booklet: 17
 96_Recall: 31, 67
 00_Recall: 18
 Discrete probability
o 9429: 38
o Descriptive Booklet: 12
o 96_Recall: 32
o 97_Recall: 11
o 98_Recall: 50
o 00_Recall: 2, 10, 11, 12, 27
 Recurrence relations
o Sample Questions 91: 16
o 9129: 64
o 9429: 23, 60
o 9629: 58, 67
o Descriptive Booklet: 35
o 93_Recall: 18, 20
o 96_Recall: 16
o 99_Recall: 20
B. Numerical mathematics
1. Computer arithmetic, including number representations, roundoff errors, overflow and underflow
 Sample Questions 91: 50, 55, 56, 59, 61
 8629: 43, 57
 9129: 4, 15, 46, 80
 9429: 8, 13, 31, 45, 54
 9629: 2, 14, 53
 Descriptive Booklet: 18, 32, 33
 96_Recall: 36, 37, 38
 97_Recall: 1, 4, 5, 17, 18, 62
 98_Recall: 18, 27, 28, 29, 45
 00_Recall: 25
 Miscellany: IV.1
2. Classical numerical algorithms
 Sample Questions 91: 58
 8629: 49 (Generate random numbers)
 9129: 59, 70 (Generating functions), 73 (Newton Method), 77
 9429: 10, 35, 42, 46, 53
 9629: 15
 Descriptive Booklet: 2, 25
 96_Recall: 6 (Newton Method)
 98_Recall: 34, 35, 46
 99_Recall: 13, 44
3. Linear algebra
 Sample Questions 91: 11, 54
 9129: 37, 41
 9429: 73
 9629: 39
 98_Recall: 47

V. OTHER TOPICS, 5%
Topics including modeling and simulation, information retrieval, artificial intelligence, computer graphics, data communications, databases, VLSI, logic programming.
 9129: 71 (resolution theorem proving)
 9629: 66 (Church's Thesis)
 93_Recall: 35 (Procedural Language)
 96_Recall: 3 (Amdahl's law), 10 (Expert System)
 98_Recall: 3 (World Wide Web), 14 (Odd-Parity Checking), 56 (Test-and-Set)
 99_Recall: 8 (Functional Language)
 Object Oriented Programming
o 9129: 36
o 9629: 62
o 96_Recall: 22
o 98_Recall: 6
o 00_Recall: 7, 15, 16
 Cryptography
o 9129: 78
o Descriptive Booklet: 4
o 96_Recall: 5 (RSA Encryption Algorithm)
 Database
o 9429: 68, 69, 70




OFTWARE SYSTEMS AND METHODOLOGY

1) 《Data Structures With C++》 By William Ford ，William Topp
/***********************************************************************/
CH1 1.2 C++类与抽象类型, 封装与信息隐藏
1.6 面向对象程序设计
1.7 程序测试与维护
CH2 基本数据类型(全看)  
CH3 3.1 类
3.3 对象与信息传递
CH4 集合
4.4 顺序与二叉查找
CH5 栈, 队列
(后缀) 表达式求值
CH6 抽象算符
6.4 Rational Operators as Member Functions
Implementing the Rational Operators
6.5 The Rational Stream Operators as Friends
Implementing Rational Stream Operators
CH8 类与动态存储
8.1 指针与动态数据结构内存分配
8.3 初始化
CH7 遗传数据类型
7.4 中缀表达式求值
CH9 线性裢表
9.1 结点类
9.2 建立裢表
9.3 设计线性裢表
9.4 裢表类
9.5 实现         
9.6 以裢表实现集合
9.8 环形裢表
9.9 双向裢表
CH10 递归 (全看) 注意算法
★CH11 树 (全看)
CH13 高级分线性数据结构 (全看)
CH14 组织集合
/***********************************************************************/

★ 各类查找与排序算法及其复杂度
/***********************************************************************/
各种内部排序算法复杂度 (数据结构, 高教出版社, 许卓群等著)
1. 直接插入排序:
比较次数: min=n , max=n2/2
移动次数: min≈2n , max≈n2/2
2. 二分法插入排序: 与初始状态无关, 仅取决于记录个数
比较次数:  n·log2n
移动次数: min=2n , max=n2/2 (同直接插入)
3. 表插入排序:
比较: min=n , max=n2/2
移动: 0次 (但附加了n个字段的存储空间)
4. shell排序: (不稳定)
平均比较次数≈平均移动次数≈n1.3
5. 直接选择排序:
比较: (n-1)·n/2         
移动: min=0 , max=3(n-1)
6. 树型选择排序:
比较 ≈n·log2n
移动次数不超过比较次数
7. 堆排序: 0(n·log2n) 附加存储空间, 一个用于高频的结点
8. 交换排序之起泡排序:
                  比较: min=n-1 , max=(n-1)·n/2
                  移动: min=0 , max=3n(n-1)/2
   之快速排序:
               比较: max≈n2/2 , 平均=0(n·log2n)
               移动次数≤比较次数
               附加存储开销0 (log2n)
9. 分配排序:  0 (d·(n+r))
     附加存储开销0 (n+r)
10. 归并排序: 0 (n·log2n)
/***********************************************************************/

2) 《Data Structure And Program Design In C++》(Second Edition)
3) 《Operation Systems Internals and Design Principles》 (third edition)
By William Stallings
4) 《编译原理》By 张素琴 蒋维杜
5) 《编译原理》 陈火旺（国防科大）
/***********************************************************************/
1．词法分析，状态转换图 P29-36
2．DFA、NFA 等价 P38-45
3．上下文无关文法，归纳 P55-92
算符优先
4．LR
5．波兰表达法 P132-162
三元式（+，-，*，/，if，call，==，etc.）
四元式
6．符号表 P178                  
7．参数传递 P206-209/P22-24
/***********************************************************************/

6) 《Compiler Construction Principles And Practice》
7) 《Program Language Design & Implementation》

★Operating systems, including resource management and protection/security
/***********************************************************************/
Process
1.进程状态描述 P102 3.1 （精）
  P46 3.2.3（中）
2.状态转换图 P105.109.113（图） （精）
  P47（图） （中）
  P63（Sleep Wakeup）  （设）
3.进程控制 P127 （精）
（创、撤、挂、唤、延） P49  （中）
4.Process Scheduling 策略
  7h read: （P82~92 7种策略）
  （设）P113（中） P379（精）
1.概念及与进程的不同 P145 （精）
2.引入它的意义
3.什么是用户及线程，核//呢？ P154（精）
SMP
1.Parallel Processor 分类 P161（精）
Micro Kernels
1.Layered Kernel 与 Microkernel 的区别 P165（精）
2.Microkernel的优点 P166（精）
Mutual Exclusion & Synchronization
1.双进程的Peterson算法 P204（精）
2.SEMAPHORES:二进制S~算法 P209（精）
  P63（中） 互斥算法 P210（精）
3.同步：生产/消费算法 P214~215（精）
  P70（中）
死锁：P253~P263（精） P94~103（中）
1.条件：（4）
2.预防
3.避免
4.检测
5.哲学家与叉子问题 P270~271（精）
6.银行家算法
内存管理：P304（精） P307（精） P309~356（设）
1.分页：优缺点            
2.分段：优缺点
3.段页结合
4.替换算法LRU*、FIFO P148（中）
5.虚存（为什么引用虚存）
6.内存保护
I/O与FILE系统
1.I/O方式 P453（精）
2.DMA方式 P457（精）
3.DISK系统传输时间计算 P465
4.文件组织（物理组织、逻辑组织） P197~210（中）
/***********************************************************************/


B) COMPUTER ORGANIZATION AND ARCHITECTURE
1) 《Computer Organization and Architecture——Design for Performance》
（fourth edition）By William Stallings
2) 《Computer System Architecture 》(Third Edition)  By M.MORRIS MANO
3) 《计算机体系结构》（第2版，郑纬民，汤志忠，清华）
4) 《数字逻辑电路分析与设计》（影印版）
/***********************************************************************/
1． Number Systems and Code
1.3 Base Conversion 基数转换 P30-36
1.4 Signed Number Presentation
    符号数表示反码、补码  P37-40及P54
1.5 Computer Code 计算机代码（了解而已） P55-66                 
2． Algebraic Methods for Analysis and Synthesis of Logic Circuit
逻辑分析的代数方法 P91公式
2.2
3. Simplification of Switching Function 函数化简
3.5 K-map 卡诺图化简 P185-200
4．Modular combinatorial logic 组合逻辑
4.2 Decoder 译码器 P245-251
4.3 Encode 编码器 P259-264
4.5 Demultiplexers/Distributor 多路译码/多路选择  P280-282
5．Advanced 属
5.2 PLD 知识 P330-345
6．Sequential Devices 时序器件
6.3 锁存 P389-400
6.4 触发器 P403-417
9．时序电路化简
9.1-9.2 状态化简
10．同步异步电路设计估计不会考，时间太长。
/***********************************************************************/

5) 《数字电子技术基础简明教程》(清华大学)
/***********************************************************************/
3.1基本逻辑公式及三个规则 P139-180
3.2最大项和最小项
3.3卡诺图化简及公式化简
4.8可编程逻辑陈列PLA P253-256      
5.触发器:  RS;JK;D;T P270-295
/***********************************************************************/

6) 《数字逻辑》  蒋大宗
/***********************************************************************/
一. 数制与编码
2.4数制转换 P7-8
3符号数反补表示及加减法 P10-14
二. 布尔代数
2. 基本公式 P27-31
4. 卡诺图化简 P40-45
三. 组合逻辑
(了解)2. 常规器件:译/编码器,比较器,选择/分配器 P58-70
五.同步时序电路分析
2.触发器 SR/D/JK/T P125-130
/***********************************************************************/

7) 《Advanced Computer Architecture》(Second Edition)
By David A.Patterson ,John L. Hennessy


★Computer Architecture
/***********************************************************************/
1. Digital Logic
英：组织与结构 B1:附录 P606
*英：体系结构 B2：Chapter One, Chapter Two P1
中：
2. Data Representation
*英：体系结构 B2: Chapter Three  P67
中：  B3: 第二章 第1节 P36
*英：组织与结构 B1: Chapter 8  P269
3. Instruction Sets
*组织与结构 B1: Chapter 9, Chapter 10, P313,P361
体系结构 B2: Chapter 5 P123
中  B3: 第2章 P71
4. CPU
*组织与结构 B1: Chapter 11, P388
体系结构 B2: Chapter 8, P241
中  B3: 第五章 P253
5. Microprogrammed Control
B1: Chapter 14,15;  P593,P526
*B2:Chapter 7;  P213
6. Computer Arithmetic
B1: Chapter 8; P269
*B2: Chapter 10; P333
7. 汇编
*B2: Chapter 4,6; P93,P193
8. Memory Organization: Internal, External, Cache
B1: Chapter 4,5; P100,P155
*B2: Chapter12;  P445
中B3: 第三章  P130
9. I/O --I/O and DMA  
B1: Chapter 6; P178
*B2:Chapter 11; P381
中B3: 第四章； P208
10. Vector Processing
*B2: Chapter 9, 第6,7节 P319
中B3: 第六章； P347
11. Multiprocessors
B1: Chapter 16; P569
*B2: Chapter 13; P489
中B3: 第九章，第十章 P499
12. Pipeline
*B2: Chapter 9. P299
13. Superscalar Processers
B1:Chap13 P472
/***********************************************************************/


C) THEORY
1) 《Elements Of The Theory Of Computation》(Second Edition)
By H.R. Lewis ,C.H. Papadimitriou
2) 《计算机算法导论－－设计与分析》By 卢开澄
3) 《可计算性理论》 莫绍撰著  
/***********************************************************************/
Turing机
形式与定义 P158
变形 P180
Turing可计算函数值
Turing机可计算函数就是递归函数 P204
形式语言与自动机
文法语言定义类型 P210
有穷自动机与正规语言，正规表达式 P215
上下文无关语言与下堆自动机 P236
递归语言与递归枚举语言（递归集与递归枚举集） P259
判定问题
判定问题 P303
关于Turing机判定问题（停机问题②） P307
/***********************************************************************/

4) 《可计算性与计算复杂性导引》
/***********************************************************************/
八．不可判定问题
Turing机停机问题 P135
十．上下文无关语言
下推自动机与上下文无关文法等价性 P182
十三．NP完全性
NP完全问题 P243
九．正则语言
有穷自动机，正则表达式 P150~160   
十二．计算复杂性
Turing运行时间、空间 P205
复杂性度量 P220       
/***********************************************************************/

5) 《可计算性理论》 张鸣华著
/***********************************************************************/
Turing机
Turing机标准化及组合 P162
Turing机与递归函数等价性 P180
变形
判定问题
基本方法 P314
若干不可解问题
1．停机问题 P314
2．Turing机完全及等价性 P315
引论
可计算性 P1
理论发展 P3
/***********************************************************************/

6) 《自动机理论、语言和计算导引》
/***********************************************************************/
第二章 有穷自动机和正规式
2.2 基本定义 P18
2.3 非确定有穷自动机 P22
2.4 具有 动作的有穷自动机 P28
2.5 正规表达式 P35-43
★构造关系 P35
第三章 正规集合的性质 P67
/***********************************************************************/

D) MATHEMATICAL 0 BACKGROUND
1) 《Discrete Mathematical Structures》 (third edition)
By Bernard Kolman R.C., Busby Sharon Ross
/***********************************************************************/
Chapter 2; Logic P46~57
  2.1 Propositions and Logical Operations
  2.2 Conditional System
Chapter 4 Relations and Digraphs
  4.1 Product Sets and Partitions P101~104         
4.2 Relations and Digraphs P106~129
  4.3 Paths in Relations and Digraphs
  4.4 Properties of Relations
  4.6 P136~154
  4.7
Chapter 5 Functions
  5.2 Functions for Computer Science P177
Chapter 6 Topics in Graph Theory
  6.1 Graphs ~ 6.3 Hamiltonian Paths and Circuits; P197~217
Chapter 7 Order Relations and Structures P266~281
  7.6 Boolean Functions and Boolean Polynomials
  7.5 Functions on Boolean Algebra
Chapter 10 Language and Finite-State Machines P368~417
/***********************************************************************/


2) 《数值分析》——华中理工大学出版社
/***********************************************************************/
第二章
  第2节 拉格朗日插值
2-1 插值多项式的存在唯一性 P21~22
2-3 拉格朗日插值多项式及其n次插值函数 P25
2-4 插值余项 P26~27
  第6节 埃尔米特插值
插值多项式唯一性及插值余项 P43
第四章 数值积分与数值微分
1-2 代数精度的概念  P126
2-2 偶阶求积分公式的代数精度  P129-130
2-3 几种低阶求积分公式的余项  P131
4-3 高斯公式的余项 P147
第五章 常微分方程的数值解法
2-1 尤拉公式局部截断误差 P165
2-2 后退尤拉公式的局部截断误差 p167
3-1 台劳级数的局部截断误差和P阶精度 P173  
4-1 单步法的收敛性 P182~185
4-2 单步法的稳定性 P185~186
《数值分析》--高等教育出版社
第二章 插值法
  第3节 （二）插值多项式的唯一性 P23
（三）插值多项式的误差估计 P24~25
第六章 数值积分
2n阶牛顿-柯特斯公式具有2n+1次精度 P141
抛物线公式的截断误差 P142~143
/***********************************************************************/

3) 《数理逻辑与集合论》（清华）
/***********************************************************************/
第七章 集合 第1~5节 P156~176
第八章 关系 第1~5节 P202~224
/***********************************************************************/


4) 离散数学（复旦）
/***********************************************************************/
第十四、十五章 P313~378 14-2合式公式
  命题演算、谓词演算
/***********************************************************************/

E) OTHER TOPICS
1) 《Object-Oriented System Analysis And Design》
2) 《A First Course in DataBase System》，清华影印
3) 《关系数据库》，清华大学出版社，石树刚，郑振楣编
/***********************************************************************/
第二章 数据模型
E-R图 P10~18 *P103~116
多个E-R图合并及消除冲突
键的概念 P24
关系代数及运算 P32~37 *P201~207
操作符  P26~30 *P173~182      
第三章 DBMS概念
第五章 关系数据库设计理论
函数依赖 P82~84 *P118~134
多值依赖 P106~110 *P156~161
关系模式的分解 P92 *P138~140
范式 1NF,2NF,3NF,BCNF,4NF
第六章 查询优化
若干原则（7条左右） P124~126
第七章 事物处理
可串行化原理 P135~139
可恢复性 P140
并发控制，锁 P144~151
恢复策略 P158~161
第八章 完整性
完整性约束 P162~164
缺：ODL,DDB
/***********************************************************************/

4) 《软件工程导论》 （第3版） 张海藩
/***********************************************************************/
1. 第二章 可行性研究分析（18）
2. 数据流图（23）；数据字典（29）；成本效益分析（32）               
3. 需求分析任务、结构化分析（36）
4. 各种图形工具，层次方框图，IPO图，ER图（45）
5. 软件设计概念与原理（57）
模块化
抽录
信息隐藏和局部化
模块独立
偶合//
内聚
6. 启发式规则（62）
7. 结构程序设计及其相关工具（83）
8. 程序设计方法论（88）
9. 测试：黑白盒测试，arpha-beta测试（127）
10. 软件维护、文档重要性（166）
11. 面向对象的方法：类、对象及优点（188~203）
12. OOP设计风格（269）
Program Language Design & Implementation （全看）
P61 Syntax Criteria
P72 Stage in Translation
P87 Extension to BNF Notation
P89 Finite - State Automata
/***********************************************************************/


5) 《Computer Networks》
/***********************************************************************/
一． INTRODVCTION
1.4 REFERENCE MODELS 28
OSI Reference Model P28
TCP Reference Model P35
OSI/TCP 比较 P38
二. DLL
DATA LINK LAYER DESIGN ISSUES P176
Services Provided to NL P176
Error Control P182
三.NL
Network Layer Design Issues P339
Server Provided to TL P340
四.TL P479
功能 P479
五.AL
几种服务 P577
/***********************************************************************/

6) 《数据通信与计算机通信》
/***********************************************************************/
Chapter 2 P33
S/N;带宽；传输速率 P62
Chapter 6           
DATA LINK CONTROL P164
CRC 长除法
Chapter 4
DATA ENCODING P95
基本编码 P100
/***********************************************************************/

7) 《Computer Graphics C Version》 （Second Edition）
/***********************************************************************/
Chapter 5
5-1 Basic Transformations P184
5-2 Composite Transformations P191
5-5 Transformations Between Coordinate Systems P205
5-8 Raster Methods for Transformations P210
Chapter 6
6-1 The viewing Pipe Line P217   
6-2 Viewing Coordinate Reference Frame P219
6-3 Window-to-View port Coordinate Transformation P220
6-5 Clipping Operations P224
Chapter 7
7-1 Structure Concepts P250
Chapter 9    3-D Concepts
9-1 Three - Dimensional Display Methods P297
Chapter 10   3-D Object Representations
10-8 Be'zier Curves and Surfaces P327
Chapter 11   3-D Geometric and Modeling Transformation
11-2 Rotation P409
11-3 Scaling P420
11-5 Composite Transformations P423
11-7 Modeling and Coordinate Transformations P426
Chapter 14 Illumination Models and Surface-Rendering Methods
14-1 Light Source P496
14-2 Basic Illumination Models P497

dsnyUID：22160

太多了也

madtoyUID：114985

请问图书名前打星的都得买阿？是不是没想都买一本就够了？

madtoyUID：114985

还有，我买的是《Data Structure And Program Design In C》(Second Edition)，上面的写的是《Data Structure And Program Design In C++》(Second Edition),是不是笔误？我查了清华大学出版社的，没有C++只有C。
还有我这本《Data Structure And Program Design In C》是不是可以，是不是不用买★《Data Structures With C++》 这类的C++版本的数据结构书？也就是说C版本的数据结构是否可以代替C++版本 来应付CS SUB？？？
希望大家不吝赐教！ 谢谢

auteurUID：139302

TO huangjin_suzhou：

原创？转贴的话，请注明出处来源。

huangjin_suzhouUID：37183

其实这些内容的书大同小异,随便一本都可以