《1963年全国数理逻辑专业学术会议论文选集》求取 ⇩
作者 | 中国电子学会电子计算机专业委员会编 编者 |
---|---|
出版 | 北京:国防工业出版社 |
参考页数 | 130 ✅ 真实服务 非骗流量 ❤️ |
出版时间 | 1965(求助前请核对) 目录预览 |
ISBN号 | 15034·869 — 违规投诉 / 求助条款 |
PDF编号 | 83439078(学习资料 勿作它用) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |
目录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
1965《1963年全国数理逻辑专业学术会议论文选集》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由中国电子学会电子计算机专业委员会编 1965 北京:国防工业出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
- 1994年全国声学学术会议论文集
- 1994
- 1963年学术年会论文摘要集
- 1964
- 1960年全国地理学术会议论文选集 地貌
- 1962
- 中国地球物理学会1963年学术会议论文集
- 1965
- 第一次全国量子电子学专业学术会议论文选集
- 1964
- 全国逻辑讨论会论文选集 1979
- 1981
- 学术论文选集 1963
- 1963
- 第一次全国信息论专业学术会议论文选集
- 1964
- 全国函数论会议论文综述部分 函数论专辑
- 1979
- 广东省地理学会1963年年会论文选集
- 1964
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD