当然不一样！
计算机系的离散数学中的数理逻辑也太简单了。
这么多学计算机的，大一的基础课，
本版学过的都不知道多少，
我至于说你学不懂？
我显然指的是数学里的数理逻辑。
这么办吧，我不刁难你，就说这2个问题：
布尔巴基学派主要做了些什么？
p-adic域上的可定义群的性质？
【 在 qtpr 的大作中提到: 】
: 数理逻辑就是数理逻辑，没有“计算机系的数理逻辑”这种东西。
: 哥德尔的两个不完全性定理，是数理逻辑的基本内容，零阶和一阶逻辑不完备，高阶逻辑一般不一致，这都是常识。
:
--
FROM 182.148.74.*