逻辑·语言·计算 马希文文选PDF|Epub|txt|kindle电子书版本网盘下载

逻辑·语言·计算 马希文文选PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

数学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

二、形式系统 W368

三、语义解释 JS378

四、“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