逻辑
-
程序设计基础 逻辑编程及C++实现实训教程
陆虹主编2005 年出版205 页ISBN：7040164779本书是普通高等教育“十五”国家级规划教材《程序设计基础——逻辑编程及C++实现》的配套实训指导用书。它紧扣主教材各章所要求掌握的技能，组织每一章的有效实训方案，方案包括：【实训名称】、【实训目标】、...
-
量子力学形式逻辑与物质基础探析 上
杨本洛著2006 年出版270 页ISBN：7313043023本书是以量子力学及相关问题为论述对象的专著，对自然科学的数学及哲学基础进行了评述，提出了个人的观点。
-
逻辑电路与单片机基础
胡建人编著2006 年出版358 页ISBN：730805005X本书以逻辑问题提取方法，逻辑系统设计思想以及用8051系列单片机解决实际逻辑问题为主线，主要内容有可靠性编码、逻辑真值表、文氏图、MCS-51系列单片机工作原理和最小硬件系统设计与应用，衫编程法等。...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
创新思维中的逻辑与非逻辑
唐月娥著2006 年出版353 页ISBN：7801682572本书首先从总体上探讨什么是创新思维、创新思维产生的条件和基础、逻辑思维育肥逻辑思维的本质和特征以及与创新思维的关系等问题，然后进一步研究了逻辑思维形式对创新思维的作用非逻辑思维对创新思维的作用...
-
-
批判性思维 以论证逻辑为工具
武宏志，刘春杰主编2005 年出版264 页ISBN：7224073113本书是我国大学逻辑教科书体系的一种新探索，既可作为大学生文化素质教育类公共选修课教材，也可作为法律、经济、新闻等专业应用逻辑学的导论性教材。它与国际性的批判性思维、非形式逻辑和论辩理论接轨，充分吸...
-
-
-
-
-
-
-
数理逻辑基础与粒计算
闫林著2007 年出版259 页ISBN：9787030198280粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的问题，把整体的概念分解为细小的概念，把复杂的处理分解为简单的处理，总之就是把整体分解为粒。然后再通...
-
-
-
数字逻辑学习与解题指南 第2版
欧阳星明主编2005 年出版244 页ISBN：7560933912本书是《数字逻辑》的配套辅导用书。内容包括组合逻辑电路、同步和异步时序逻辑电路、中规模通用集成电路等。
-
200个聪明人的逻辑思维游戏 最具挑战和智慧的逻辑思维谜题
陈书凯编著2006 年出版200 页ISBN：7506435578逻辑能力决定了思考能力、学习能力、管理能力、表达能力。所以生活中不可缺少正确的逻辑思维能力。本书将会教你如何跳出思维的陷阱、克服易犯的错误，不让习以为常的错误思维阻碍你。让你过得更从容，各种能力...
-
