李娜2006 年出版326 页ISBN:7310023730
本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。
金岳霖著2010 年出版322 页ISBN:9787300118338
本书所介绍的主要是逻辑中的演绎法,全书前两部分是对传统逻辑的介绍与批评,第三部分介绍了一个现代西方数理逻辑系统,第四部分则就关于逻辑系统的种种问题进行了深入的探讨。作者以深厚的学术功底、缜密的逻辑...
宁帆,张玉艳编2003 年出版301 页ISBN:7115112614
本书由浅入深地阐述了数字与逻辑电路的基本理论、基本概念和基本分析设计方法,文字简洁,逻辑清晰,从实际应用的角度分析各种典型电路。...