信息科学的本质 [信息科学的数学基础]

　　D・L・范 M・伊都　编 　　第一次由越南组织的国际会议是有关理论计算机科学的｡它是一次关于计算数学的ICOMIDC专题讨论会,于1988年在胡志明城举行｡在过去的几年中,在这个领域中取得了很大的进展｡因此有必要在越南组织另一次有关这个领域的国际大会,它会使越南的科学家,特别是年轻人更新知识,与世界第一流的专家进行接触,交换想法与经验｡信息科学数学基础(MFI99) 大会于1999年10月25日―28日在越南河内举行｡这次会议是由IFI和越南数学研究所､信息技术研究所和越南自然科学与技术国家中心(越南科学与技术院的前身) 共同举办｡这次会议也被东南亚数学协会(SEAMS)认可为它的活动之一｡本书是这次会议的会议录,它的内容由在MFI99上的几份特邀学术演讲稿和经选择的论文组成｡
　　本书一共收集了18篇论文,它们是:(1)皮特里网的增长功能及其应用;(2)皮特里网语言的无限分层; (3) 测试有理W-码算法; (4) 用于随机生成树有效设计的分布式随机移动; (5) 群集中的形式概念分析与粗糙集合理论; (6)用于最小切割K平衡划分问题的简单试探法; (7) 在最大非汉米尔顿图形中最长的循环及剩余图; (8) 决定性与非决定性可操纵自动机; (9) 可信赖代码的最坏情况冗余;(10) 在确定子字阶中最大的独立集合; (11) 有理W 语言的强识别;(12)有关多值正布尔相关覆盖的某些结果; (13) 属性选择的一个新度量;(14)由布尔线路定义的问题的复杂性; (15) 有理撇出定理; (16) 有限简单图的新分类; (17)4价亚轮换图的连通性与非空首符;(18) 最大熵原理与概率逻辑条件独立假设之间的关系｡
　　本书收集的论文内容介绍了从纯数学理论(半群理论､图论),直至理论及应用计算科学,即形式语言､自动机､并行及分布式计算､形式系统､知识系统及数据库理论｡
　　本书可供从事信息科学研究的研究人员阅读,也可供信息专业人员参考｡
　　胡光华,高级软件工程师
　　(原中国科学院物理学研究所)