返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
出版时间：
至
大约有400项符合查询结果项。（搜索耗时：0.0102秒）
为您推荐： 数字电路逻辑设计 数字电路与逻辑设计 数字电路与逻辑设计李晓辉 脉冲与数字电路 脉冲数字电路第3版 数字通信电路
本书是数理逻辑课程的经典教材。
本书系统地讲解了数理逻辑的思想与方法
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻辑介绍。适合相关专业学生使用。...
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
全部
交通运输(529)
数理化(400)
文化科学教育体育(1616)
文学(131)
环境安全(22)
生物(15)
社会科学(171)
经济(1015)
自然科学(65)
航空航天(23)
艺术(330)
军事(25)
语言文字(327)
马列毛邓(59)
综合图书(39)
其他书籍(1322)
外文(15)
农业科学(39)
医药卫生(154)
历史地理(112)
哲学宗教(2155)
天文地球(252)
工业技术(12564)
政治法律(704)
