逻辑 语言 计算：马希文文选
￥ 30 2.3折 ￥ 129 九五品
仅1件
北京东城
认证卖家担保交易快速发货售后保障
作者马希文
出版社商务印书馆
ISBN9787100174138
出版时间2019-05
版次1
装帧精装
开本16开
纸张胶版纸
页数696页
定价129元
上书时间2024-04-25
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:逻辑 语言 计算：马希文文选
定价：129.00元
作者:马希文
出版社：商务印书馆
出版日期：2019-05-01
ISBN：9787100174138
字数：
页码：696
版次：
装帧：精装
开本：16开
商品重量：
编辑推荐
内容提要
本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学方面的重要论文二十余篇以及一部专著，反映了他在多个领域所做的开创性、先驱性及前瞻性的贡献，蕴含着深邃独到、极富创新的学术思想，对当今信息技术的发展及多学科的交叉融合有重要启发，具有积极的指导意义。
目录
数学双曲函数1.引言2.双曲函数的定义3.双曲函数与指数函数有限传输设备系统的Feinstein引理1.引言2.Shannon引理3.有限传输设备系统的Feinstein引理的证明4.专线组的大小关于拟因子法1.用线性模型的一般理论处理拟因子设计2.部分均衡搭配3.列对比的应用4.跋分布式计算与异步叠代法计算机科学树计算机与树程序1.基本概念2.树程序的运行映象3.树程序的描述公式4.讨论附录定理3.1 的证明语义学中的关系方法1.一个简单的例子2.形式化3.验证4.函数和调用5.一个递归程序6.数据结构7.结束语什么是理论计算机科学1.元计算机科学2.人工智能3.数据结构4.程序理论5.程序语言6.计算机系统程序设计学引言第一章 一个简单的例子第二章 简单程序第三章 简单程序的设计第四章 类型第五章 阵列第六章 文件第七章 子程序第八章 记录第九章 指针附录PASCAL语法图理论计算机科学引论1.抽象计算机2.S表达式3.递归函数4.顺序计算5.可举集合6.逻辑计算什么是可计算性《usP语言》绪言人工智能机器证明及其应用1.机器证明2.程序验证3.程序的设计有关“知道”的逻辑问题的形式化1.引言2.“知道”的模态逻辑3.可能界的谓词演算4.可能组合算法W-JS有关“知道”的模态逻辑1.引言2.形式系统W3.语义解释JS4.“s先生和P先生”谜题在w-Js下的形式化《计算机不能做什么》校者的话——代中译本序人工智能中的逻辑问题1.限制逻辑2.主观模态逻辑3.行动逻辑4.内涵逻辑5.人工智能与逻辑计算机与思维科学自然语言理解计算机与思维附计算机与社会《哥德尔、艾舍尔、巴赫——集异璧之大成》译校者的话语言学关于动词“了”的弱化形式／·lou计算机与汉字改革跟副词“再”有关的几个句式通字——文字改革的一种途径语文工作与科学技术1.科技工作对语文工作有什么要求2.科技工作怎样为语文工作做出贡献3.语文工作本身的科学化北京方言里的“着与动结式动词有关的某些句式1.引言2.“N1V1V2了”是“N1V2了”的扩展3.“N1V1V2了”的一种扩展：“N1N2V1V2了4.用“把”来扩充“N1V1V2了5.领属性的主语6.扩展引起的置换7.用“让”来扩展“N1V1V2了8.与“数·量·名”结构有关的句式9.小结从计算机汉字系统看《汉语拼音方案》语言文字资料的计算机处理以计算语言学为背景看语法问题比较方言学中的计量方法1.弗洛茨瓦夫分类法2.因子分析法3.相关系数的计算4.统计方法的适用条件《语言学知识的计算机辅助发现》序附录良师益友马希文马希文教授生平简历编后记
作者介绍
马希文(1939 -2000)，我国著名数学家、计算机科学家、语言学家和教育家，我国人工智能和计算语言学学科的奠基人之一，也是杰出的科学普及工作者。与朱德熙先生共同组建北大计算语言学研究所。
序言
-
【封面】
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价