当前位置:首页 > TAG信息列表 > 逻辑
逻辑
-
中国古代数学及其逻辑推类思想
刘邦凡著2006 年出版221 页ISBN:7802084652本书收录了燕山大学文法学院近几年来涌现的优秀人文科学学术论文。这些作品,内容广泛,观点新颖,论述充分,语言通俗,具有很强的知识性、学术性和参考性。...
-
数字电路的逻辑分析与设计
彭建朝编著2007 年出版277 页ISBN:9787563918225本书系统地介绍了数字电路逻辑分析与设计的基本理论、基本方法以及基于硬件描述语言Verilog HDL的建模技术等。全书共有8章。第1~第3章讲述数字逻辑的理论基础;第4章介绍了组合逻辑电路中常用逻辑功能电路的...
-
证明与反驳 数学发现的逻辑
(英)伊姆雷·拉卡托斯(Imre Lakatos)著;方刚,兰钊译2007 年出版193 页ISBN:7309053974本书主要研究数学方法论问题。数学知识如何增长?是靠一成不变地增加千真万确的定理的数目,还是按照证明与反驳的逻辑不断改进等。
-
二十世纪意义理论的发展与语言逻辑的兴起
陈道德等著2007 年出版399 页ISBN:7500461712本书对20世纪国外关于意义的理论和语言逻辑的成果作了认真的梳理,并评述了国内语言逻辑的研究成果。
-
数理逻辑:基本原理与形式演算
李未著2008 年出版255 页ISBN:9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心,内容包括一...