理论计算机科学 1PDF电子书下载

一、面向对象的数据设计方法和工具 1

二、建立在一阶谓词演算上的数据库设计理论 42

三、语言产生和理解机制的研究 63

四、乏晰默认推理 87

五、关于圈与路之并的补图的色唯一性 112

六、保密环境中的一种伪随机数生成器的统计特性分析 127

七、线性算子方程的最优剩余算法 133

八、并行系统的死锁和公平性判定问题 162

九、带分隔符号＄的ω语言理论——（Ⅰ）带＄ω语言的运算 175

十、关于永久进程的映射的性质 181