豆瓣
扫码直接下载
读的很累
补标。主要读了Ultraproduct的部分。“这东西比较难，但一旦你们理解了，会发现一个新的世界。”
数学史上第一本系统的模型论教材！90年第3版。出版以来一直是学习模型论的首选。即使现在看来，前面四章内容（经典模型论部分）依旧没有过时。
与取整算法和边界优化没有任何关系，查了一下这个作者的网站，看到一堆语义学杂碎。该开窗的开窗，理科请移步：https://arxiv.org/abs/2007.04269 分析哲学也不是没得看，Integer Arithmetic and Boundary Refinement，数哲的研究重点，应该放在在伯努利和傅里叶身上。微积分史还有很多可以做呢。
假装看了，拿来查吧（天呐谁没事会用这个查。。）
此时此刻就在手边的一本书- -
爽死这书～～可惜后面的题已经被人全解了
> Model Theory
1 有用 Denial 2018-10-12 18:31:16
读的很累
1 有用 张黄林 2023-01-17 10:27:46 浙江
补标。主要读了Ultraproduct的部分。“这东西比较难，但一旦你们理解了，会发现一个新的世界。”
1 有用 海螺-Rob_F 2012-10-31 16:59:12
数学史上第一本系统的模型论教材！90年第3版。出版以来一直是学习模型论的首选。即使现在看来，前面四章内容（经典模型论部分）依旧没有过时。
0 有用 Anchi_Re 2020-11-27 02:28:29
与取整算法和边界优化没有任何关系，查了一下这个作者的网站，看到一堆语义学杂碎。该开窗的开窗，理科请移步：https://arxiv.org/abs/2007.04269 分析哲学也不是没得看，Integer Arithmetic and Boundary Refinement，数哲的研究重点，应该放在在伯努利和傅里叶身上。微积分史还有很多可以做呢。
0 有用 卜丄 2023-03-11 23:04:39 山西
假装看了，拿来查吧（天呐谁没事会用这个查。。）
0 有用 M 2010-11-16 17:29:27
此时此刻就在手边的一本书- -
0 有用 raycaesar 2014-03-01 08:54:58
爽死这书～～可惜后面的题已经被人全解了