程序员面试逻辑题解析

本书共分为3个部分。第一部分从有趣且锻炼头脑的谜题入手，继而给出解题思路和详细答案。第二部分综合了不同类型的谜题，如数独、调度问题及概率题等。神秘的第三部分带领大家不断历险，开动脑筋，解决大量密码及...

基于硬件描述语言的并行逻辑模拟系统研究与实现

本书收录了2006年上海大学博士论文52篇，通过公开出版，使论文作为公共知识，转化成社会财富，产生社会影响。

直觉主义逻辑的语义基础

本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨，试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系，在直觉主义的几本观念上提出了一些...

形式逻辑在刑侦、司法工作中的运用 资料汇编

当代形式逻辑引论

本书作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知...

现代数字电路与逻辑设计

本书既介绍了数字电路的基本理论和经典内容，同时也介绍了数字电子技术的新成果和电路设计的新方法。叙述中减少了小规模数字集成电路的内容，突出了中、大规模数字集成电路的应用，并增加了对电子设计自动化等内...

逻辑学概论

本书分为以下三编：第一编：非形式逻辑，泛指关于日常思维中的非形式推理和论证的逻辑理论。第二编：演绎逻辑。演绎逻辑以系统的方式研究演绎推理，而演绎推理是前提的真能够保证结论的真的推理。第三编：归纳逻辑。.....

逻辑思维的辩证法

全书共有九章，大致可分为两个部分：逻辑思维过程的辩证法和逻辑思维形式的辩证法。作者对逻辑思维过程的考察的主要内容是对他后来所说的“广义认识论”的四个问题的讨论：感觉能否给予客观实在？普遍、必然的科学...

上海市中学教师用书 语法 逻辑 修辞 语文教学参考书

螃蟹的逻辑 透视北约战略新概念

《螃蟹的逻辑:透视北约战略新概念》主要内容包括：北约冰凉准心刺向中国、“百步穿杨”焉称“误炸”、北约，冷战的畸形儿，关不住的活虎、奥尔布赖特，科索沃战争的替罪羊、北约魁首面面观等。...