逻辑·语言·计算


作者: 马希文
出版: 照片 - 2003年出版
分类: N53
尺寸: 23cm
书号: 7-100-03543-0
定价: CNY47.00
形态: 约 604 页 - 130 章节
内容摘要: 本书收录了作者的研究论文,除了数学方面的以外,还涉及了包括方言、计算机语言在内的语言学的内容,以及计算理论方面的论述

附录与关键词: 马希文文选 马希文文选

全文目录

目录
数学
双曲函数
(一)引言
(二)双曲函数的定义
(三)双曲函数与指数函数
有限传输设备系统的Feinstein引理
1引言
2Shannon引理
3有限传输设备系统的Feinstein引理的证明
4专线组的大小
关于拟因子法
1用线性模型的一般理论处理拟因子设计
2部分均衡搭配
3列对比的应用
4跋
分布式计算与异步叠代法
计算机科学
树计算机与树程序
1基本概念
2树程序的运行映象
3树程序的描述公式
4讨论
附录定理3.1的证明
语义学中的关系方法
一 一个简单的例子
二 形式化
三 验证
四 函数和调用
五 一个递归程序
六 数据结构
七 结束语
什么是理论计算机科学
元计算机科学
人工智能
数据结构
程序理论
程序语言
计算机系统
程序设计学
引言
第一章 一个简单的例子
第二章 简单程序
第三章 简单程序的设计
第四章 类型
第五章 阵列
第六章 文件
第七章 子程序
第八章 记录
第九章 指针
附录PASCAL语法图
理论计算机科学引论
一 抽象计算机
二 S表达式
三 递归函数
四 顺序计算
五 可举集合
六 逻辑计算
什么是可计算性?
《LISP语言》绪言
机器证明及其应用
人工智能
第一部 分机器证明
1.1关于一阶谓词演算的说明
1.2消解法则
1.3机器证明
1.4调解法
2.1程序验证
第二部 分程序验证
2.2Floyd方法
2.3程序图
3.1程序设计与机器证明
第三部 分程序的设计
3.2追溯算法
有关“知道”的逻辑问题的形式化
一 引言
二 “知道”的模态逻辑
三 可能界的谓词演算
四 可能组合算法
W—JS有关“知道”的模态逻辑
一 引言
二 形式系统W
三 语义解释JS
四 “S先生和P先生”谜题在W-JS下的形式化
《计算机不能做什么》校者的话——代中译本序
人工智能中的逻辑问题
1限制逻辑
2主观模态逻辑
3行动逻辑
4内涵逻辑
5人工智能与逻辑
计算机与思维科学
自然语言理解
计算机与思维
附:计算机与社会
《哥德尔、艾舍尔、巴赫——集异璧之大成》译校者的话
关于动词“了”的弱化形式/·lou/
语言学
计算机与汉字改革
跟副词“再”有关的几个句式
通字——文字改革的一种途径
语文工作与科学技术
一 科技工作对语文工作有什么要求
二 科技工作怎样为语文工作做出贡献
三 语文工作本身的科学化
北京方言里的“着”
与动结式动词有关的某些句式
0引言
1“〓了”是“〓了“的扩展
2“〓了”的一种扩展:“〓了”
3用“把”来扩充“〓了”
4领属性的主语
5扩展引起的置换
6用“让”来扩展“〓了”
7与“数·量·名”结构有关的句式
8小结
从计算机汉字系统看《汉语拼音方案》
语言文字资料的计算机处理
以计算语言学为背景看语法问题
比较方言学中的计量方法
一 弗洛茨瓦夫分类法
二 因子分析法
三 相关系数的计算
四 统计方法的适用条件
《语言学知识的计算机辅助发现》序
附录
良师益友
马希文
马希文教授生平简历
编后记

> 分类号相同的书
  1. 学科前沿与国家自然科学基金优先资助领域战略国际研讨会论文集,Pong,高等教育出版社,7-5325-2699-2,N53
  2. 面向21世纪的中国科学院博士后——中国科学院博士后科研论文集,张国华,科学出版社,7-80100-665-8,N53
  3. 藏北科技之光,马世骁,辽宁人民出版社,7-5021-2918-9,N53
  4. 自然与古希腊,Schrodinger,上海科学技术出版社,7-5036-3506-1,N53
  5. “十五”优先资助领域论证报告集, ,原子能出版社,7-5022-2480-7,N53
  6. 爱因斯坦文集(第三卷), ,商务印书馆, ,N53
> 作者编著的书
  1. 数学四方阵,马希文,中国少年儿童出版社,7-80626-529-5,O1-49
中图分类: > N53 > 自然科学总论 > 自然科学丛书、文集、连续性出版物 > 论文集

© 2008 www.nulog.cn