Untitled Document
书名 | 作者 | 丛书名 | ISBN
总论工程技术
工程基础科学
计算机与信息技术
电子/通信/光电技术
材料科学与新技术
土木建筑/规划/水利
电气/自动化/仪表
化工/冶金/矿业
机械/轻工/食品
能源/交通/航天
农林技术
安全技术/防灾救灾
首页>技术>计算机与信息技术>信息技术/信息安全>信息数字化/分析/识别
 
数理逻辑:基本原理与形式演算
 math-phy@mail.sciencep.com
信息科学与技术基础丛书
李未 著
科学出版社 2007年11月出版
定价:58.00 语种:中文
标准书号:978-7-03-020096-9 装帧:精装
版本:第一版 开本:B5
责任编辑:林鹏,陈玉琢 字数:300千字
读者对象:本科以上文化程度 页数:255
书类:理论专著/研究生教育 册/包:6
编辑部: 科学数理分社
附注:
  数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有指导作用。本书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限,修正演算系统,过程模式及其性质,以及归纳推理理论,提出了三个语言环境的思想以及元语言环境的基本原理,并描述了信息社会中科学研究的工作流程。
  本书前五章可作为大学本科生的数理逻辑教材,而后五章可向有关专业的研究生讲授。本书也可供数学、信息与技术和其他自然科学专业的本科生、研究生和有关科研人员参考。
李未
《数理逻辑:基本原理与形式演算 》

会员登录
会员:
密码:
忘记密码
Untitled Document
注册 | 登录 | 联系我们 | 招聘信息 | 站点地图
出版社地址:北京东黄城根北街16号 邮政编码:100717
联系: webmaster@cspg.net 科学出版社 · 中国 版权所有  京ICP备 09076940号