图书介绍
逻辑·语言·计算 马希文文选PDF|Epub|txt|kindle电子书版本网盘下载
- 马希文著 著
- 出版社： 北京：商务印书馆
- ISBN：9787100174138
- 出版时间：2019
- 标注页数：679页
- 文件大小：39MB
- 文件页数：693页
- 主题词：数学－文集；计算机科学－文集
PDF下载
下载说明
逻辑·语言·计算 马希文文选PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
数学3
双曲函数3
1.引言3
2.双曲函数的定义4
3.双曲函数与指数函数7
有限传输设备系统的Feinstein引理11
1.引言11
2.Shannon引理11
3.有限传输设备系统的Feinstein引理的证明21
4.专线组的大小28
关于拟因子法31
1.用线性模型的一般理论处理拟因子设计31
2.部分均衡搭配39
3.列对比的应用44
4.跋49
分布式计算与异步叠代法52
计算机科学59
树计算机与树程序59
1.基本概念59
2.树程序的运行映象61
3.树程序的描述公式65
4.讨论68
附录 定理3.1的证明71
语义学中的关系方法76
1.一个简单的例子76
2.形式化79
3.验证80
4.函数和调用83
5.一个递归程序85
6.数据结构88
7.结束语90
什么是理论计算机科学92
1.元计算机科学93
2.人工智能96
3.数据结构98
4.程序理论98
5.程序语言100
6.计算机系统102
程序设计学106
引言106
第一章 一个简单的例子108
第二章 简单程序122
第三章 简单程序的设计143
第四章 类型164
第五章 阵列178
第六章 文件196
第七章 子程序211
第八章 记录231
第九章 指针239
附录 PASCAL语法图248
理论计算机科学引论257
1.抽象计算机257
2.S表达式267
3.递归函数276
4.顺序计算290
5.可举集合300
6.逻辑计算309
什么是可计算性？326
《LISP语言》绪言333
人工智能345
机器证明及其应用345
1.机器证明345
2.程序验证368
3.程序的设计379
有关“知道”的逻辑问题的形式化391
1.引言391
2.“知道”的模态逻辑393
3.可能界的谓词演算397
4.可能组合算法401
W－JS有关“知道”的模态逻辑410
1.引言410
2.形式系统W413
3.语义解释JS425
4.“S先生和P先生”谜题在W－JS下的形式化429
《计算机不能做什么》校者的话——代中译本序438
人工智能中的逻辑问题449
1.限制逻辑449
2.主观模态逻辑453
3.行动逻辑456
4.内涵逻辑457
5.人工智能与逻辑462
计算机与思维科学464
自然语言理解474
计算机与思维483
附 计算机与社会493
《哥德尔、艾舍尔、巴赫——集异璧之大成》译校者的话498
语言学503
关于动词“了”的弱化形式/·lou/503
计算机与汉字改革522
跟副词“再”有关的几个句式527
通字——文字改革的一种途径546
语文工作与科学技术552
1.科技工作对语文工作有什么要求552
2.科技工作怎样为语文工作做出贡献554
3.语文工作本身的科学化556
北京方言里的“着”558
与动结式动词有关的某些句式571
1.引言571
2.“N1V1V2了”是“N1V2了”的扩展572
3.“N1V1V2了”的一种扩展：“N1N2V1V2了”576
4.用“把”来扩充“N1V1V2了”578
5.领属性的主语581
6.扩展引起的置换585
7.用“让”来扩展“N1V1V2了”589
8.与“数·量·名”结构有关的句式596
9.小结602
从计算机汉字系统看《汉语拼音方案》605
语言文字资料的计算机处理611
以计算语言学为背景看语法问题627
比较方言学中的计量方法640
1.弗洛茨瓦夫分类法640
2.因子分析法642
3.相关系数的计算647
4.统计方法的适用条件651
《语言学知识的计算机辅助发现》序659
附录667
良师益友&马希文667
马希文&〔日本〕相原茂671
马希文教授生平简历674
编后记678