内容简介
《一阶 逻辑 和一阶理论》的内容属数理逻辑的基础部分。前三章的主题是一阶逻辑：第一、二章分别讲述一阶 语言 的语法、语义；第三章介绍一个一阶 推理 系统，并证明了它的语义完全性。一阶逻辑是各种哲理逻辑（或称应用逻辑）的基础，它在算机 科学 、 人工智能 等领域也有着广泛的应用。这三章完整地介绍了一阶逻辑的中心内容。《一阶逻辑和一阶理论》第四章包含了关于一阶逻辑的一些 其它 论题，以及模型论的一些基础内容。作者以“一阶理论”这一概念为中心组织这些材料，它们与前三章一起，可作为继续 学习 数理逻辑中的“四论”的基础。
下载地址
评论列表
发表评论