数理逻辑：基本原理与形式演算（第二版）

定　　价：98 元 本教材已被 1 所学校申请过！

丛书名：信息科学与技术基础丛书

• 作者：李未著
• 出版时间：2014/3/1
• ISBN：9787030401557
• 出 版 社：科学出版社

适用读者:数学、信息与技术和其他自然科学专业的本科生、研究生和科研人员

• 中图法分类：O141 
• 页码：312
• 纸张：胶版纸
• 版次：2
• 开本：大32开
• 字数：(单位：千字)

内容简介

　　《信息科学与技术基础丛书·数理逻辑：基本原理与形式演算（第二版）》的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部分内容包括：版本序列及其极限理论、修正演算系统、过程模式理论、归纳推理理论、三个语言环境的理论和元语言环境遵从的6个基本原理以及信息社会中科学研究的工作流程。

更多科学出版社服务，请扫码获取。

序 言

　　迅猛发展的信息科学与技术将人类社会带入了信息时代。半个多世纪以来，众多学者为信息科学的建立、信息技术的发展和信息社会的进步作出了不懈的努力。然而，要为信息科学与技术奠定坚实的基础，我们仍然面临很多问题与挑战。无论是科学研究和技术革新，还是基础教育和学科建设，都需要我们继续付出艰苦的劳动。
　　如何加强和深化信息科学的基础研究，完善已有的创新成果，为信息技术的持续发展提供保障？如何将重要的学术思想、理论和方法系统化，将信息科学与技术各个分支中的基本原理、核心内容和最新进展结合起来？如何让学术论著同时服务于科研与教学，使其相辅相成、相互促进？这些问题的解决将会使我国信息科学与技术的基础教育和学术研究的质量得到显著提高。
　　《信息科学与技术基础丛书》是为解决上述问题所做的一种尝试。这套丛书旨在收录信息科学与技术领域的研究专著。要求每部著作中都有一定篇幅的内容是著者的原创性研究成果，并且结构合理、内容充实、论证严密、写作规范。这套丛书可以作为研究生和高年级本科生的教材和教学参考书。入选这套丛书的每部著作都至少需要通过两位同行专家的评审。
　　这套丛书的出版离不开作者、出版社与编委会的通力合作和诸多同仁的支持。在此我们向支持丛书出版工作的所有个人和单位表示诚挚的谢意，并热切期待来自读者的批评、指正和帮助，使这套丛书能够不断完善，成为信息科学与技术方面的重要文献。
　　李未
　　2007年11月
　　于北京航空航天大学