学习计算机的十四个领域
验测试,密码协议等.
基本问题主要包括:
1.对于给定的问题类,最好的算法是什么?要求的存储空间和计算时间有多少?空间和时间如何折衷?
2.访问数据的最好方法是什么?
3.算法最好和最坏的情况是什么?
4.算法的平均性能如何?
5.算法的通用性如何?
四.PL. Programming Languages
PL1. Overview of programming languages
PL2. Fundamental issues in language design
PL3. Virtual machines
PL4. Introduction to language translation
PL5. Language translation systems
PL6. Type systems
PL7. Models of execution control
PL8. Declaration, modularity, and storage management
PL9. Programming language semantics
PL10. Programming paradigms
PL11. Language-based constructs for parallelism
介绍:
主要内容包括程序设计模式,虚拟机,类型系统,执行控制模型,语言翻译系统,程序设计语言的语义学,
基于语言的并行构件等.
抽象形态的主要内容:包括基于语法和动态语义模型的语言分类(如静态型,动态型,函数式,
过程式,面向对象的,逻辑,规格说明,报文传递和数据流),按照目标应用领域的语言分类(如商业数据处理,
仿真,表处理和图形),程序结构的主要语法和语义模型的分类(如过程分层,函数合成,抽象数据类型和
通信的并行处理),语言的每一种主要类型的抽象实现模型,词法分析,编译,解释和代码优化的方法,
词法分析器,扫描器,编译器组件和编译器的自动生成方法等.
理论形态的主要内容:包括形式语言和自动机,图灵机(过程式语言的基础),POST系统(字符串处理语言的基础),
lamda-演算(函数式语言的基础),形式语义学,谓词逻辑,时态逻辑,近世代数等.
设计形态的主要内容:包括把一个特殊的抽象机器(语法)和语义结合在一起形成的统一的可实现的整体特定语言
(如过程式的(COBOL,FORTURN,ALGOL,Pascal,Ada,C),函数式的(LISP),数据流的(SISAL,VAL),面向对象的(Smalltalk,CLU,C++),逻辑的(Prolog),字符串(SNOBOL)和并发(CSP,Concurrent Pascal,Modula 2)),特定类型
语言的指定实现方法,程序设计环境,词法分析器和扫描器的产生器(如YACC,LEX),编译器产生器,语法和语义
检查,成型,调试和追踪程序,程序设计语言方法在文件处理方面的应用(如制表,图,化学公式),统计处理等.
基本问题主要包括:
1.语言(数据类型,操作,控制结构,引进新类型和操作的机制)表示的虚拟机的可能组织结构是什么?
2.语言如何定义机器?机器如何定义语言?
3.什么样的表示法(语义)可以有效地用于描述计算机应该做什么?
五.AR. Architecture and Organization
AR1. Digital logic and digital systems
AR2. Machine level representation of data
AR3. Assembly level machine organization
AR4. Memory system organization and architecture
AR5. Interfacing and communication
AR6. Functional organization
AR7. Multiprocessing and alternative architectures
AR8. Performance enhancements
AR9. Architecture for networks and distributed systems
介绍:
主要内容包括数字逻辑,数据的机器表示,汇编级机器组织,存储技术,接口和通信,
多道处理和预备体系结构,性能优化,网络和分布式系统的体系结构等.
抽象形态的主要内容:包括布尔代数模型,基本组件合成系统的通用方法,电路模型
和在有限领域内计算算术函数的有限状态机,数据路径和控制结构模型,不同的模型
和工作负载的优化指令集,硬件可靠性(如冗余,错误检测,恢复与测试),VLSI装置设计
中的空间,时间和组织的折衷,不同的计算模型的机器组织(如时序的,数据流,表处理,
阵列处理,向量处理和报文传递),分级设计的确定,即系统级,程序级,指令级,寄存器级
和门级等.
理论形
基本问题主要包括:
1.对于给定的问题类,最好的算法是什么?要求的存储空间和计算时间有多少?空间和时间如何折衷?
2.访问数据的最好方法是什么?
3.算法最好和最坏的情况是什么?
4.算法的平均性能如何?
5.算法的通用性如何?
四.PL. Programming Languages
PL1. Overview of programming languages
PL2. Fundamental issues in language design
PL3. Virtual machines
PL4. Introduction to language translation
PL5. Language translation systems
PL6. Type systems
PL7. Models of execution control
PL8. Declaration, modularity, and storage management
PL9. Programming language semantics
PL10. Programming paradigms
PL11. Language-based constructs for parallelism
介绍:
主要内容包括程序设计模式,虚拟机,类型系统,执行控制模型,语言翻译系统,程序设计语言的语义学,
基于语言的并行构件等.
抽象形态的主要内容:包括基于语法和动态语义模型的语言分类(如静态型,动态型,函数式,
过程式,面向对象的,逻辑,规格说明,报文传递和数据流),按照目标应用领域的语言分类(如商业数据处理,
仿真,表处理和图形),程序结构的主要语法和语义模型的分类(如过程分层,函数合成,抽象数据类型和
通信的并行处理),语言的每一种主要类型的抽象实现模型,词法分析,编译,解释和代码优化的方法,
词法分析器,扫描器,编译器组件和编译器的自动生成方法等.
理论形态的主要内容:包括形式语言和自动机,图灵机(过程式语言的基础),POST系统(字符串处理语言的基础),
lamda-演算(函数式语言的基础),形式语义学,谓词逻辑,时态逻辑,近世代数等.
设计形态的主要内容:包括把一个特殊的抽象机器(语法)和语义结合在一起形成的统一的可实现的整体特定语言
(如过程式的(COBOL,FORTURN,ALGOL,Pascal,Ada,C),函数式的(LISP),数据流的(SISAL,VAL),面向对象的(Smalltalk,CLU,C++),逻辑的(Prolog),字符串(SNOBOL)和并发(CSP,Concurrent Pascal,Modula 2)),特定类型
语言的指定实现方法,程序设计环境,词法分析器和扫描器的产生器(如YACC,LEX),编译器产生器,语法和语义
检查,成型,调试和追踪程序,程序设计语言方法在文件处理方面的应用(如制表,图,化学公式),统计处理等.
基本问题主要包括:
1.语言(数据类型,操作,控制结构,引进新类型和操作的机制)表示的虚拟机的可能组织结构是什么?
2.语言如何定义机器?机器如何定义语言?
3.什么样的表示法(语义)可以有效地用于描述计算机应该做什么?
五.AR. Architecture and Organization
AR1. Digital logic and digital systems
AR2. Machine level representation of data
AR3. Assembly level machine organization
AR4. Memory system organization and architecture
AR5. Interfacing and communication
AR6. Functional organization
AR7. Multiprocessing and alternative architectures
AR8. Performance enhancements
AR9. Architecture for networks and distributed systems
介绍:
主要内容包括数字逻辑,数据的机器表示,汇编级机器组织,存储技术,接口和通信,
多道处理和预备体系结构,性能优化,网络和分布式系统的体系结构等.
抽象形态的主要内容:包括布尔代数模型,基本组件合成系统的通用方法,电路模型
和在有限领域内计算算术函数的有限状态机,数据路径和控制结构模型,不同的模型
和工作负载的优化指令集,硬件可靠性(如冗余,错误检测,恢复与测试),VLSI装置设计
中的空间,时间和组织的折衷,不同的计算模型的机器组织(如时序的,数据流,表处理,
阵列处理,向量处理和报文传递),分级设计的确定,即系统级,程序级,指令级,寄存器级
和门级等.
理论形