《1963年全国数理逻辑专业学术会议论文选集》

目录5

对于数理逻辑和计算技术的一些看法（代序） 胡世华5

论文11

多种类递归算法 胡世华11

？语法及其判定、分解问题 董韫美 李开德25

数字计算机的一个数学模型 唐稚松37

自动机的归约、通用自动机及自动机功能的若干问题 陶仁骥47

论形式系统理论的客观原型和科学性质 张锦文57

叙列布尔方程 王湘浩64

线性内动机理论 管纪文68

关于有限域上的权函数及其在误差校正码理论中的应用 管纪文78

有限函数类上的能行运算 陈火旺86

偏序集上初等命题的一些可判定情况（Ⅰ） 王世强92

原始递归算术的新系统 莫绍揆 沈百英99

4值逻辑中的所有极大封闭集 罗铸楷110

摘要113

“103”机检查程序差错的一些方法 瞿兆荣113

关于原始递归性 胡世华 杨东屏114

图林机的逆机器 方靖东115

素值逻辑函数的若干完全系 刘凤璞116

K值逻辑的同余化问题 刘凤璞118

构造性实数论中几个基本谓词在S．C．Kleene分层下所属的类型 郝克刚120

一种具有误差调整的浮点算法 姜树桥122

以最佳次序计算布尔表达式 孟章荣 刘金火124

半完备亚基础系统 莫绍揆 沈百英126

自度量Post代数（Ⅰ） 吴望名127

三元基础原始递归算术 沈百英129