一阶逻辑和一阶理论epub,mobi,azw3,pdf格式kindle电子书下载，作者：叶峰编著-琅嬛苑

书名
一阶逻辑和一阶理论
作者叶峰编著
格式PDF
ISBN书号9787500413073
出版年1994.1
出版社中国社会科学出版社
页数223页
装帧平装
标签数理科学与化学

内容简介

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

下载地址

豆瓣评论

超人

直观、语法和语义的清晰对照，澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括，看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间，虽能看懂却仍无法自己证明。完全性定理实在有些难，先搁置吧~01-15
无能狂怒人

错误不多，说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。06-30
兰德尔

【已存柜】经与叶峰老师询问，第185页习题1漏了条件“T是一致的”；第185页练习3是两道题。一是“有左端点而无右端点的稠密线性序理论是完备的”，一是“有左端点也有右端点的稠密线性序理论是完备的”03-21
Hephan

Herbrand定理，相对化，解释03-22
Teki

对不可数语言的讨论、无歧义性、完全性讲得很多。这套书的排版和编辑实在是符合时代水平...05-23

标签推荐

文学(7254) 历史(4068) 小说(3717) 哲学(2341) 地理(1918) 宗教(1723) 经济(1631) 政治(1438) 法律(1171) 科普(1113) 工业技术(1103) 文化(1044) 科学(1030) 艺术(1003) 日本(938) 教育(813) 管理(721) 社会(682) 体育(671) 经典(563) 思想(555) 推理(544) 社会科学总论(482) 医药(477) 卫生(476) 传记(470) 心理(450) 商业(448) 励志(432) 投资(425) 美国(424) 思维(423) 悬疑(421) 金融(412) 随笔(410) 中国(340) 旅行(316) 数理科学与化学(316) 绘本(313) 科幻(309) 中国语言文学(302) 语言(294) 理学(289) 文字(275) 中国古代文学(273) 漫画(272) 中国现当代文学(271) 外国语言文学(271) 建筑(266) 成长(250) 军事(245) 纪实(237) 生物学(233) 美食(231) 英国(229) 互联网(225) 天文学(218) 游记(214) 心理学(196) 生物科学(195) 散文(187) 工学(170) 职场(168) 历史学(160) 生活(158) 社会学(155) 医学(151) 法国(150) 营销(148) 编程(142) 女性(139) 法学(137) 地球科学(136) 设计(130) 二战(126) 战争(126) 学习(126) 股票(121) 奇幻(119) 物理(115) 世界(113) 德国(111) 人文(109) 理财(106) 创业(106) 欧洲(104) 经济学(101) 人物(100) 健康(93) 沟通(88) 自然(87) 治愈(86) 宇宙(85) 艺术学(85) 数学(84) 名著(84) 生物(83) 爱情(81) 计算机科学与技术(80) 国学(78)