1963年全国数理逻辑专业学术会议论文选集 国防工业出版社

1963年全国数理逻辑专业学术会议论文选集 国防工业出版社

1963年全国数理避辑 专业学术会文选集 中国中子学会电子计算机专业委員会编 國防工掌名版社目录 对于数理邂和新算技术的一些看法(代序)胡世华 文 多种类递归算法 胡世华 語法及其定、分解用题.董美李开德 数字計算机的一个数学模型.唐雅松 自动机的归豹、通用自动机及自动机功能的若干用题 陶仁骥 益形式系統理检的客观原型和科学性质 張文 叙列布尔方程 王湘浩 性内动机理 管纪文 关于有限域上的权雨数及代在头校正碼理益申的应旧 管纪文 有限函数类上的能行运算.机”的概念,这是一个反映现代数字計算机整机功能的数学模型。所出的概念能够比较 直接和自然地反映现实的机器,对于可能实现的机器体系也提供了十分宽广的設想和探索 的可能性,对于新的設計思想的提出是有意义的.自动机和算法的一般理,目前正处于理建立和发根的早期。理已經建立起来,还不完善,发展得还不够,因之对于計算技术的实际作用还不显客。然而理的进步发 展,对于計算机新体系的建立,新的設計思想的提出是可以预期的.自动机研究中的另一种倾向是研究自动机的精构特点。从研究对象来説,它是对于 种特殊的自动机,有穷自动机的研究。这一倾向的研究也是重要的,有的时候其至是更加币 要的。