LPL软件

语言、证明和逻辑涵盖了诸如布尔连接词、形式证明技术、量词、基本集合理论和归纳等主题。高级章节包括命题逻辑和谓词逻辑的完备性和完备性证明,以及哥德尔第一个不完全性定理的可访问草图。这本书适合广泛的课程,从本科生的第一门逻辑课程(哲学、数学和计算机科学)到第一个研究生逻辑学课程。LPL由一本书、三个逻辑程序和一个基于因特网的分级服务组成。在线包版本(通过该网站的商店可用)是不同的,因为该书仅以PDF格式可用,并且软件被下载,而不是通过CD分发。分级服务对购买新包装的学生是免费的。


ZBMaCT中的参考文献(17篇文章中引用)

显示结果1至17的17。
按年份排序(引文

  1. 斯坦德费尔,肖恩:GunZhan-Palwitz与J.K.KoWist-FiCH自然演绎证明之间的翻译(2019)
  2. 伯顿,吉姆;豪斯,约翰:蜘蛛图的符号学(2017)
  3. Cordes、莫里兹、雷蒙斯、弗里德里希:自然演绎线性演算中的注释和言外表达(2017)
  4. 鲍姆加特,米迦勒:表现解释力和代表性的有效性(2014)
  5. 阿拉马,杰西:通过财产遗漏引出MIZAR证据的隐含假设(2013)
  6. Barker Plummer,戴夫;巴维斯,乔恩;埃特曼代,约翰:语言、证明和逻辑。与Albert Liu、Michael Murray和Emma Pease合作。用CD-ROM(2011)
  7. McKeon,Matthew William:对逻辑对象的抗辩(2009)
  8. Panchenko,B. E.;PyShanko,I. M.:在一组语义原子谓词上合成的关系框架的性质(2009)
  9. 布林斯乔德,塞尔默:逻辑主义宣言:终于让基于逻辑的人工智能成为自己的领域(2008)
  10. 豪斯,约翰;斯台普顿,宝石:视觉数学:图解形式化和证明(2008)
  11. 阿诺德,Ruedi;哈特曼,沃纳:《逻辑学》中的逻辑学逻辑学(2007)伊波尔特
  12. 赖克特,雷蒙德;尼维尔盖特,J·鲁格;哈特曼,沃纳:用Kara编程。趣味性的信息学导论(2005)
  13. Mossakowski,直到;HAXTHOSON,Anne E.;Shanela,唐纳德;TaelkKi,ANDRZJ:CASL:通用代数规范语言:语义和证明理论(2003)
  14. Verheij,巴特:可论证论证的人工论证助手(2003)伊波尔特
  15. McMath,戴维;Rozenfeld,玛丽安娜;Sommer,李察:编写普通数学证明的计算机环境(2001)
  16. 赖特,雷蒙德:行动中的知识。确定和实现动态系统的逻辑基础(2001)
  17. 迪卢齐奥,Patrick Scotto:逻辑系统与形式(2000)