Mathematical Logic

Mathematical Logic pdf epub mobi txt 电子书 下载 2025

出版者:Springer
作者:H.-D. Ebbinghaus
出品人:
页数:300
译者:
出版时间:1996-11-15
价格:USD 74.95
装帧:Hardcover
isbn号码:9780387942582
丛书系列:Undergraduate Texts in Mathematics
图书标签:
  • 数理逻辑 
  • 数学 
  • 逻辑学 
  • 逻辑 
  • Mathematics 
  • Logic 
  • 一阶理论 
  • 模型论 
  •  
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

具体描述

读后感

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

用户评价

评分

很好的逻辑学教材,全面、翔实、清楚。

评分

琐碎知识比较多,适合检索

评分

很好的逻辑学教材,全面、翔实、清楚。

评分

琐碎知识比较多,适合检索

评分

教学安排上是逻辑学研究生新生必修课的教材,非常适合作为从数理逻辑课程的内容向进一步学习四论过度。第一部分从头开始严格地定义了一阶语言,详细证明了唯一可读性定理、合同引理和替换引理,完全性定理部分包含了教科书上少见的符号集不可数的情况。第二部分的扩展性内容涉及了模型论和递归论中的一些基本问题:选用寄存器机对停机问题和哥德尔定理的初步探讨,初等等价的代数刻画、博弈论刻画以及或许是一个较为遗憾结果的Lindstrom定理。全书基本啃完,只剩下有关消解原理的一章等到以后再专门学习。

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有