扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
中华当代学术著作辑要逻辑.语言.计算:马希文文选 版权信息
- ISBN：9787100174138
- 条形码：9787100174138 ; 978-7-100-17413-8
- 装帧：70g纯质纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
中华当代学术著作辑要逻辑.语言.计算:马希文文选 本书特色
本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学方面的重要论文二十余篇以及一部专著，反映了他在多个领域所做的开创性、先驱性及前瞻性的贡献，蕴含着深邃独到、极富创新的学术思想，对当今信息技术的发展及多学科的交叉融合有重要启发，具有积极的指导意义。
中华当代学术著作辑要逻辑.语言.计算:马希文文选 内容简介
本书收集了马希文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.形式系统W
3.语义解释JS
4.“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)，我国著名数学家、计算机科学家、语言学家和教育家，我国人工智能和计算语言学学科的奠基人之一，也是杰出的科学普及工作者。与朱德熙先生共同组建北大计算语言学研究所。
书友推荐
- >
巴金－再思录
巴金－再思录
¥33.1¥46.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
随园食单
随园食单
¥20.6¥48.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
朝闻道
朝闻道
¥10.2¥23.8
本类畅销
-
中国哲学十讲
¥18.9¥49.8 -
思考的本质:杜威论逻辑思维
¥15.1¥39.8 -
纯粹现代形批判：黑格尔、海德格尔及其以后
¥9.3¥25 -
查拉图斯特拉如是说
¥27.9¥79.8 -
经学常谈
¥13.7¥36 -
线装经典:传习录
¥10.2¥26.8
