逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

公共管理硕士（MPA）专业学位联考考试大纲及考试指南 数学与逻辑 【政治法律】

非经典数理逻辑与近似推理 【数理化】

本书大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学...

2001年工商管理硕士入学考试逻辑应试指导与模拟试题 【哲学宗教】

书脊题名：逻辑应试指导与模拟试题。本书由基础知识、应试指导、模拟试题及答案三个部分组成。编排内容包括：要点和重点、难点和疑点、自测习题与参考答案。...

数字电路与逻辑设计实验技术 【工业技术】

《电子测量与电子电路实验》共分四部分：第一部分基础知识，介绍了电子测量的基础知识和电子电路的测试方法及实验技术；第二部分仪器设备，介绍了常用仪器设备的基本工作原理和使用方法；第三部分实验，共有11个实验.....

逻辑学导论 【哲学宗教】

本书编写的指导思想是：立足现实，着眼未来，使本书尽可能成为一部适应新世纪普通高校逻辑课教学需要的通用教材。作者在编写过程中力求做到如下几点： 1.着眼于逻辑科学的现代发展，把传统逻辑与现代逻辑的基本内容...

工商管理硕士入学考试辅导系列 MBA 语文与逻辑 上 语文 【语言文字】

本书上册严格按照最新修订后制定的2000年MBA联考考试大纲语文部分考纲编写的。下册共分四部分：第一部分着重介绍求解GRK的逻辑试题的基础知识。第二部分，在分析历届逻辑试题的基础上，作者利用自己受过严密的数...

数字逻辑 【工业技术】

数字逻辑是计算机科学与技术专业的专业基础课，也是计算机的基础理论之一。本书对数字逻辑的核心内容作了全面系统的阐述。在阐释数字逻辑电路的基本概念和原理的基础上，着重介绍了数字逻辑设计的基础理论和方...

审美价值结构与情感逻辑 【文学】

本书是孙绍振教授文艺学理论研究部分成果的结集。孙先生1960年毕业于北京大学，既沐浴了五四文化重镇诸多学术大师的思想余泽，又得到当时云集北大的朱光潜、蔡仪、金岳霖等各具代表性的哲学、美学、语言、文学...

生活魔法师 现代生活的科学解答 【综合图书】