1963年全国数理逻辑专业学术会议论文选集PDF电子书下载
- 电子书积分:8 积分如何计算积分?
- 作 者:中国电子学会电子计算机专业委员会编
- 出 版 社:北京:国防工业出版社
- 出版年份:1965
- ISBN:15034·869
- 页数:130 页
图书介绍:
《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
相关图书
- 《电子测量与仪器》人力资源和社会保障部教材办公室组织编写 2009
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《少儿电子琴入门教程 双色图解版》灌木文化 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《“十三五”规划教材 中药鉴定学实验 供中药学 药学及相关专业使用 第2版》吴啟南 2018
- 《广西近代专业音乐研究》李昂责任编辑;(中国)杨柳成 2019
- 《国家执业药师考试历年真题试卷全解 2015-2019 中药学专业知识 1》黄坤主编 2020
- 《全国学前教育专业(新课程标准)“十三五”规划教材 简谱手风琴教程 第2版》(中国)杨克勤,王宝庆 2019
- 《绿色过程工程与清洁生产技术 张懿院士论文集精选 上》《绿色过程工程与清洁生产技术》编写组编 2019
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
作者其它书籍
- 《国学经典诵读》(中国)严琼燕 2019
- 《思维导图 超好用英语单词书》(中国)王若琳 2019
- 《东北民歌文化研究及艺术探析》(中国)杨清波 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《两京烟云》陈诗泳,赖秀俞责任编辑;(中国)千慧 2019
- 《HTML5从入门到精通 第3版》(中国)明日科技 2019
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
出版社其它书籍
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《抗战三部曲 国防诗歌集》蒲风著 1937
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017
- 《新工业时代 世界级工业家张毓强和他的“新石头记”》秦朔 2019
- 《智能制造高技能人才培养规划丛书 ABB工业机器人虚拟仿真教程》(中国)工控帮教研组 2019
- 《陶瓷工业节能减排技术丛书 陶瓷工业节能减排与污染综合治理》罗民华著 2017