一阶逻辑和一阶理论
- 书名：一阶逻辑和一阶理论
- 作者： 叶峰编著
- 格式：PDF
- 时间：2024-07-02
- 评分：
- ISBN：9787500413073
内容简介：
《一阶逻辑和一阶理论》的内容属数理逻辑的基础部分。前三章的主题是一阶逻辑：第一、二章分别讲述一阶语言的语法、语义；第三章介绍一个一阶推理系统，并证明了它的语义完全性。一阶逻辑是各种哲理逻辑（或称应用逻辑）的基础，它在算机科学、人工智能等领域也有着广泛的应用。这三章完整地介绍了一阶逻辑的中心内容。《一阶逻辑和一阶理论》第四章包含了关于一阶逻辑的一些其它论题，以及模型论的一些基础内容。作者以“一阶理论”这一概念为中心组织这些材料，它们与前三章一起，可作为继续学习数理逻辑中的“四论”的基础。
作者简介：
下载地址：
标签：
文章链接：https://www.dushupai.com/book-content-31814.html(转载时请注明本文出处及文章链接)
- 上一篇： 我的伯父伯母周恩来邓颖超
- 下一篇： Don't Shoot the Dog!
读书评论：
更多
-
超人01-15直观、语法和语义的清晰对照，澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括，看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间，虽能看懂却仍无法自己证明。完全性定理实在有些难，先搁置吧~
-
无能狂怒人06-30错误不多，说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。
-
兰德尔03-21【已存柜】经与叶峰老师询问，第185页习题1漏了条件“T是一致的”；第185页练习3是两道题。一是“有左端点而无右端点的稠密线性序理论是完备的”，一是“有左端点也有右端点的稠密线性序理论是完备的”
猜你喜欢：
-
2024-07-194 -
2024-07-197 -
2024-07-199 -
2024-07-197 -
2024-07-199 -
2024-07-196 -
2024-07-207 -
2024-07-2012