作者：朱梧槚、肖奚安 出版社：大连理工大学出版社
ISBN：9787561140321 / 7561140320
出版时间：无。 丛编项：高等学校理工科数学类规划教材
简介：数学系基础数学专业和数理逻辑专业教学需要的基础教材，在内容上有浅...集合论是数学的一个基本分支，在数学中占据着独特的地位，其基本概...
主题项：科学与自然－数学－数理逻辑、数学基础
更多同类图书：教育/教材/教辅»教材»研究生/本科/专科教材
作者：朱梧槚、肖奚安 出版社：大连理工大学出版社
ISBN：9787561140338 / 7561140339
出版时间：无。 丛编项：高等学校理工科数学类规划教材
简介：形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容...全书分为五章，其中第1章和第3章主要是从数学模型和数学背景的角...
主题项：科学与自然－数学－数理逻辑、数学基础
更多同类图书：教育/教材/教辅»教材»研究生/本科/专科教材
作者：闫林 出版社：科学出版社
ISBN：9787030198280 / 703019828X
出版时间：2007-08 丛编项：计算机理论基础与应用丛书
简介：本书由两部分内容组成。前四章作为第一部分，讨论了数理逻辑的基础...线。第二部分由后两章构成，内容基于逻辑知识之上，是对第一部分内容...
主题项：科学与自然－数学－数理逻辑、数学基础
更多同类图书：科学技术»计算机/网络»人工智能
作者：（德）哈斯、瑞安 出版社：机械工业出版社
ISBN：9787111213970 / 7111213971
出版时间：2007-7 丛编项：无。
简介：本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓...书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻...
主题项：科学与自然－数学－数理逻辑、数学基础
更多同类图书：科学技术»自然科学»数学
作者：查建国 出版社：湖南教育出版社
ISBN：9787535546883 / 7535546889
出版时间：2005-9 丛编项：无。
简介：地显示出二阶差分方程的解如何随着参数的变化从有序走向混沌。本书显...
主题项：科学与自然－数学－数理逻辑、数学基础
更多同类图书：科学技术»自然科学»数学
作者：（美）索尔 出版社：科学出版社
ISBN：9787030182951 / 7030182952
出版时间：2007-1 丛编项：国外数学名著系列
简介：本书为英文影印版。
主题项：科学与自然－数学－数理逻辑、数学基础
更多同类图书：科学技术»自然科学»数学
作者：（美）恩德滕 著，沈复兴，陈磊，孙运传 译 出版社：人民邮电出版社
ISBN：9787115143112 / 7115143110
出版时间：2007-3-1 丛编项：图灵计算机科学丛书
简介：机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材...本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不...
主题项：科学与自然－数学－数理逻辑、数学基础
更多同类图书：科学技术»计算机/网络»计算机科学理论与基础知识
作者：韩雪涛 出版社：湖南科学技术出版社
ISBN：9787535745927 / 753574592X
出版时间：2006-5-1 丛编项：无。
简介：读者在“根号2是无理数”这一数学命题中很难看到古怪之处。然而，这...，并理解枝繁叶茂的数学大树是如何一步一步成长起来的。本书还将数学...
主题项：科学与自然－数学－数理逻辑、数学基础
更多同类图书：科学技术»自然科学»数学
