逻辑·语言·计算 马希文文选

数学 1

双曲函数 1

(一)引言 1

(二)双曲函数的定义 2

(三)双曲函数与指数函数 5

有限传输设备系统的 Feinstein 引理 9

1.引言 9

2.Shannon 引理 9

3.有限传输设备系统的 Feinstein 引理的证明 18

4.专线组的大小 24

关于拟因子法 27

1.用线性模型的一般理论处理拟因子设计 27

2.部分均衡搭配 34

3.列对比的应用 39

4.跋 43

分布式计算与异步叠代法 46

计算机科学 51

树计算机与树程序 51

1.基本概念 51

2.树程序的运行映象 53

3.树程序的描述公式 56

4.讨论 59

附录 定理3.1的证明 62

语义学中的关系方法 66

一、一个简单的例子 66

二、形式化 69

三、验证 70

四、函数和调用 72

五、一个递归程序 74

六、数据结构 77

七、结束语 79

元计算机科学 80

什么是理论计算机科学 80

人工智能 83

数据结构 85

程序理论 86

程序语言 87

计算机系统 89

程序设计学 93

引言 93

第一章 一个简单的例子 95

第二章 简单程序 108

第三章 简单程序的设计 127

第四章 类型 146

第五章 阵列 159

第六章 文件 175

第七章 子程序 189

第八章 记录 207

第九章 指针 215

附录 PASCAL 语法图 222

理论计算机科学引论 231

一、抽象计算机 231

二、S 表达式 240

三、递归函数 248

四、顺序计算 260

五、可举集合 270

六、逻辑计算 278

什么是可计算性? 292

《LISP 语言》绪言 298

人工智能 307

机器证明及其应用 307

第一部分 机器证明 307

1.1 关于一阶谓词演算的说明 308

1.2 消解法则 311

1.3 机器证明 317

1.4 调解法 324

第二部分 程序验证 328

2.1 程序验证 328

2.2 Floyd 方法 331

2.3 程序图 333

第三部分 程序的设计 338

3.1 程序设计与机器证明 338

3.2 追溯算法 341

有关“知道”的逻辑问题的形式化 348

一、引言 348

二、“知道”的模态逻辑 349

三、可能界的谓词演算 353

1四、可能组合算法 357

一、引言 365

W—JS 有关“知道”的模态逻辑 365

二、形式系统 W 368

三、语义解释 JS 378

四、“S 先生和 P 先生”谜题在 W-JS 下的形式化 382

《计算机不能做什么》校者的话——代中译本序 390

人工智能中的逻辑问题 400

1.限制逻辑 400

2.主观模态逻辑 404

3.行动逻辑 406

4.内涵逻辑 408

5.人工智能与逻辑 412

计算机与思维科学 414

自然语言理解 423

计算机与思维 431

附：计算机与社会 439

《哥德尔、艾舍尔、巴赫——集异璧之大成》译校者的话 444

关于动词“了”的弱化形式/·lou/ 448

语言学 448

计算机与汉字改革 465

跟副词“再”有关的几个句式 470

通字——文字改革的一种途径 487

语文工作与科学技术 493

一、科技工作对语文工作有什么要求 493

二、科技工作怎样为语文工作做出贡献 495

三、语文工作本身的科学化 496

北京方言里的“着” 499

与动结式动词有关的某些句式 510

0.引言 510

1.“N1V1V2了”是“N1V2了”的扩展 511

2.“N1V1V2了”的一种扩展：“N1N2V1V2了” 514

3.用“把”来扩充“N1V1V2了” 516

4.领属性的主语 518

5.扩展引起的置换 522

6.用“让”来扩展“N1V1V2了” 525

7.与“数·量·名”结构有关的句式 531

8.小结 536

从计算机汉字系统看《汉语拼音方案》 538

语言文字资料的计算机处理 544

以计算语言学为背景看语法问题 558

比较方言学中的计量方法 570

一、弗洛茨瓦夫分类法 570

二、因子分析法 572

三、相关系数的计算 576

四、统计方法的适用条件 579

《语言学知识的计算机辅助发现》序 588

附录 593

良师益友 593

马希文 596

马希文教授生平简历 599

编后记 603