网站首页交通运输军事农业科学医药卫生历史地理哲学宗教天文地球工业技术政治法律数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文

《数理逻辑》PDF下载

  • 购买积分：10 如何计算积分？
  • 作　　者：汪芳庭编著
  • 出 版 社：合肥：中国科学技术大学出版社
  • 出版年份：2010
  • ISBN：9787312027086
  • 页数：205 页
图书介绍：本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。

点击购买此书全本PDF电子书

暂无目录预览