初等模型论

出版者:复旦大学出版社

作者:姚宁远

页数:0

出版时间:2019-11-1

价格:36.00元

装帧:平装

isbn号码:9787309140194

丛书系列:逻辑与形而上学教科书系列

图书标签:数理逻辑模型论科普数学哲学

本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

用户评价

更偏向数学一些，一方面是作者选取了一些模型论（紧致性定理，量词消去）在数学中的应用，另一方面模型论本身也更偏重数学构造和技巧，尤其到最后两章，几无概念直观可以借助。本书可以说把这套教材的精简风格发挥到极致了，大量内容没有展开，当课堂讲义用更适合

更偏向数学一些，一方面是作者选取了一些模型论（紧致性定理，量词消去）在数学中的应用，另一方面模型论本身也更偏重数学构造和技巧，尤其到最后两章，几无概念直观可以借助。本书可以说把这套教材的精简风格发挥到极致了，大量内容没有展开，当课堂讲义用更适合

更偏向数学一些，一方面是作者选取了一些模型论（紧致性定理，量词消去）在数学中的应用，另一方面模型论本身也更偏重数学构造和技巧，尤其到最后两章，几无概念直观可以借助。本书可以说把这套教材的精简风格发挥到极致了，大量内容没有展开，当课堂讲义用更适合

更偏向数学一些，一方面是作者选取了一些模型论（紧致性定理，量词消去）在数学中的应用，另一方面模型论本身也更偏重数学构造和技巧，尤其到最后两章，几无概念直观可以借助。本书可以说把这套教材的精简风格发挥到极致了，大量内容没有展开，当课堂讲义用更适合

更偏向数学一些，一方面是作者选取了一些模型论（紧致性定理，量词消去）在数学中的应用，另一方面模型论本身也更偏重数学构造和技巧，尤其到最后两章，几无概念直观可以借助。本书可以说把这套教材的精简风格发挥到极致了，大量内容没有展开，当课堂讲义用更适合