• 

  数字逻辑与数字电路:高晶敏，柴海莉，张金龙

  作者：高晶敏，柴海莉，张金龙 出版社：科学出版社 出版时间：2009 ISBN：978-7-03-025456-6
  索书号：TP331.2/0068 分类号：TP331.2 页数：272页 价格：32.00
  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书介绍了小规模数字集成电路的逻辑设计技术，并重点介绍了中、大规模数字集成电路和可编程逻辑器件。内容包括数字逻辑基础、门电路、组合逻辑电路、触发器、时序逻辑电路、脉冲波形的产生和整形等。

  详细信息

  索书号 展开

• 

  逻辑代数学习手册:廖祖纬

  作者：廖祖纬 出版社： 出版时间：0 ISBN：
  索书号：O141-62/0032 分类号： 页数： 价格：0.50
  复本数： 在馆数：
  累借天数： 累借次数：
  

  详细信息

  索书号 展开

• 

  数字逻辑:王春露，高荔，孙丹丹

  作者：王春露，高荔，孙丹丹 出版社：清华大学出版社 出版时间：2010 ISBN：978-7-302-21460-1
  索书号：TP331.2/1051 分类号：TP331.2 页数：248页 价格：23.80
  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书主要介绍数字逻辑电路和数字系统的基础理论和方法。书中系统地阐述了数制与编码、逻辑代数基础、组合逻辑电路的分析与设计、时序逻辑电路的分析与设计、可编程逻辑器件、VHDL硬件描述语言以及数字系统的分析

  详细信息

  索书号 展开

• 

  数理逻辑:张清宇, 刘新文，夏素敏

  作者：张清宇, 刘新文，夏素敏 出版社：中国社会科学出版社 出版时间：2010 ISBN：978-7-5004-8543-8
  索书号：O141/1233 分类号：O141 页数：128页 价格：24.00
  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书介绍数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二部完全性定理以及所需的递归论内容，等等。

  详细信息

  索书号 展开

• 

  数学逻辑与推理:(英)约翰逊 泰勒同 向延育

  作者：(英)约翰逊 泰勒同 向延育 出版社： 出版时间：0 ISBN：
  索书号：O141/2743 分类号： 页数： 价格：0.38
  复本数： 在馆数：
  累借天数： 累借次数：
  

  详细信息

  索书号 展开

• 

  从前有个数: 故事中的数学逻辑:(美)约翰·阿伦·保罗斯(John Allen Paulos), 史树中

  作者：(美)约翰·阿伦·保罗斯(John Allen Paulos), 史树中 出版社：上海科学技术出版社 出版时间：2006 ISBN：7-5323-8388-1
  索书号：O141-49/2664 分类号：O141-49 页数：184页 价格：19.00
  复本数： 在馆数：
  累借天数： 累借次数：
  

  详细信息

  索书号 展开

• 

  数学的逻辑:(英)郑乐隽, 崔凯

  作者：(英)郑乐隽, 崔凯 出版社：中信出版集团股份有限公司 出版时间：2024 ISBN：978-7-5217-6313-3
  索书号：O1-49/8772 分类号：O1-49 页数：12,342页 价格：69.00
  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书揭示了如何从看似不可能的来源中发现深刻的真相。作者认为，数学不仅仅是关于如何得到正确答案的科学，数学也是关于自己创造的科学和真理，是一段令人兴奋，令人畏惧，令人敬畏，最终获得快乐的经历。她希望通过

  详细信息

  索书号 展开

• 

  逻辑游戏:张祥斌

  作者：张祥斌 出版社：电子工业出版社 出版时间：2018 ISBN：978-7-121-34022-2
  索书号：O1-49 分类号：O1-49 页数：144页 价格：33.00
  复本数： 在馆数：
  累借天数： 累借次数：
  

  数学思维能力的发展和提高是一个循序渐进、长期训练、螺旋上升的过程。本丛书集传授知识、开发智力、游戏娱乐于一体，既是知识载体，又是娱乐工具。本丛书共8个分册，分别是数字游戏、进阶数独、几何游戏、图形游戏

  详细信息

  索书号 展开

• 

  试试你有多聪明: 测试逻辑推理能力的128道数学趣题:魏磊

  作者：魏磊 出版社：浙江教育出版社 出版时间：2006 ISBN：978-7-5338-6595-5
  索书号：O141/2610 分类号：O141 页数：190页 价格：20.00
  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书中的128道经典数学趣题，是专门为测试你的逻辑推理能力、激发智慧潜能而设的。它们不但可以磨砺你的头脑，还将教给你许多超级无敌的逻辑推理技巧。

  详细信息

  索书号 展开

• 

  数理逻辑:(美)恩德特恩(Enderton, H.B.), (电子)沈复兴, (计算机)陈磊, 孙运传

  作者：(美)恩德特恩(Enderton, H.B.), (电子)沈复兴, (计算机)陈磊, 孙运传 出版社：人民邮电出版社 出版时间：2007 ISBN：978-7-115-14311-2
  索书号：O141/6022 分类号：O141 页数：240页 价格：35.00
  复本数： 在馆数：
  累借天数： 累借次数：
  

  本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。

  详细信息

  索书号 展开