d*****u
发帖数: 17243 | 1 这里有多少人了解
propositional logic, first-order logic, second-order logic,
higher-order logic..?
好像计算机专业的要学一点（多半也记不住），哲学专业的要学一点？ | b*******m
发帖数: 5492 | 2 计算机系数理逻辑一般要讲到命题逻辑和一阶逻辑，再往上就不讲了，如果想学的话要
选别的课程
【在 d*****u 的大作中提到】
: 这里有多少人了解
: propositional logic, first-order logic, second-order logic,
: higher-order logic..?
: 好像计算机专业的要学一点（多半也记不住），哲学专业的要学一点？
| d*****u
发帖数: 17243 | 3 语言学系的语义学基础课讲到二阶逻辑
不过语义学一般对硕士都不作要求
【在 b*******m 的大作中提到】
: 计算机系数理逻辑一般要讲到命题逻辑和一阶逻辑，再往上就不讲了，如果想学的话要
: 选别的课程
|
|
