内容简介 · · · · · ·
《新世纪高等学校教材•数学与应用数学基础课系列教材:模型论及其在计算机科学中的应用》共分为二十章，主要内容包括：模型论的发生与发展；关于集合论的准备知识；模型论的形式语言；模型的基本性质；紧致性定理与LST定理；初等予模型与模型完全的理论等。《新世纪高等学校教材•数学与应用数学基础课系列教材:模型论及其在计算机科学中的应用》给供相关人员参考阅读。
模型论及其在计算机科学中的应用的书评 · · · · · · ( 全部 1 条 )
> 更多书评 1篇
论坛 · · · · · ·
在这本书的论坛里发言在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- Discrete Mathematics (Kogorou)
- 北京师范大学数学专业教材 (敬之俊如)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有10人想读，手里有一本闲着?
订阅关于模型论及其在计算机科学中的应用的评论:
feed: rss 2.0
2 有用 阿文 2020-01-31 12:22:57
这本书可以说是国内目前了解模型论最好的一本教材。想深入讨论的，可以跟着书中的定义定理进行推理记忆与学习，想简单了解模型论相关问题的，即使读一读作者每章说明性的文字也是受益匪浅！相比较来说，王世强先生的《模型论基础》简直太过简洁了，作者几乎吝惜符号与证明外的每一句话，而且老先生的言语习惯也和现在的大白话教材不太一致了。模型论能从问题的难度上讨论一些存在的数学问题。与数理逻辑分支中的集合论联系最为紧密... 这本书可以说是国内目前了解模型论最好的一本教材。想深入讨论的，可以跟着书中的定义定理进行推理记忆与学习，想简单了解模型论相关问题的，即使读一读作者每章说明性的文字也是受益匪浅！相比较来说，王世强先生的《模型论基础》简直太过简洁了，作者几乎吝惜符号与证明外的每一句话，而且老先生的言语习惯也和现在的大白话教材不太一致了。模型论能从问题的难度上讨论一些存在的数学问题。与数理逻辑分支中的集合论联系最为紧密，有很多关于无穷模型的思考修罗场。相比于以前的兴趣，现在也就是疫情期间在家翻一翻的读物啦！ (展开)