大约有8,000项符合查询结果项。（搜索耗时：0.0266秒）
为您推荐： 科学史与科学哲学导论 在逻辑与哲学之间 逻辑与哲学 逻辑学导论 新编归纳逻辑导论 归纳逻辑导论
-
悖论、逻辑与非Cantor集合论
张金成著2018 年出版139 页ISBN：9787560371535本书共分为两编13章，介绍了关于悖论、逻辑与非Cantor集合论的相关内容，给出了正集和反集的概念，阐述了域外项的逻辑性质，重构ZF公理系统，给出了一般集合的递归性与“停机问题”。本书适合于从事悖论、逻辑与非Ca...
-
集论与逻辑 面向计算机科学
沈恩绍著2003 年出版198 页ISBN：703011047121世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
-
-
先进控制理论与方法导论
章卫国主编2000 年出版248 页ISBN：7561212356高等学校教材:本书介绍了控制理论主要研究领域的发展过程、基本概念与原理、研究现状、已取得的研究成果、存在的主要问题、学科前沿、发展趋势以及应用概况，并提供了不少应用算例。...
-
量子逻辑门与量子退相干
张登玉著2013 年出版250 页ISBN：9787030359933量子信息是量子力学、信息科学和计算机科学结合成的新领域。本专著研究量子信息中量子逻辑门与量子退相干及其相关问题。每一章节均以专题进行探讨。主要内容包括：量子信息中的基本问题（量子计算的量子力学原...
-
-
-
信息学、语言学、数学与逻辑一本通 上
汪长喜主编2018 年出版540 页ISBN：7560370187本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容。本书适合于高等学校计算机相关专业学生和计算机爱好者参考使用，也可作为计算机培训学校的培训教材...
-
数理逻辑引论与归结原理
王国俊著2003 年出版216 页ISBN：7030115791本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
-
