图书介绍

1963年全国数理逻辑专业学术会议论文选集2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

中国电子学会电子计算机专业委员会编著
出版社：北京：国防工业出版社
ISBN：15034·869
出版时间：1965
标注页数：130页
文件大小：6MB
文件页数：131页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：1a4f5e0feee5989d4baa702757080c0a

下载说明

1963年全国数理逻辑专业学术会议论文选集PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

目录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