一阶逻辑和一阶理论
- 书名：一阶逻辑和一阶理论
- 作者： 叶峰编著
- 格式：PDF
- 时间：2023-09-14
- 评分：
- ISBN：9787500413073
内容简介：
《一阶逻辑和一阶理论》的内容属数理逻辑的基础部分。前三章的主题是一阶逻辑：第一、二章分别讲述一阶语言的语法、语义；第三章介绍一个一阶推理系统，并证明了它的语义完全性。一阶逻辑是各种哲理逻辑（或称应用逻辑）的基础，它在算机科学、人工智能等领域也有着广泛的应用。这三章完整地介绍了一阶逻辑的中心内容。《一阶逻辑和一阶理论》第四章包含了关于一阶逻辑的一些其它论题，以及模型论的一些基础内容。作者以“一阶理论”这一概念为中心组织这些材料，它们与前三章一起，可作为继续学习数理逻辑中的“四论”的基础。
作者简介：
下载地址：
标签：
文章链接：https://www.dalanmei.com/book-content-31814.html(转载时请注明本文出处及文章链接)
- 上一篇： 我的伯父伯母周恩来邓颖超
- 下一篇： Don't Shoot the Dog!
猜你喜欢：
-
2023-09-1430 -
2023-09-1425 -
2023-09-1436 -
2023-09-1424 -
2023-09-1419 -
2023-09-1410 -
2023-09-1438 -
2023-09-1433
