We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
类型理论是程序语言理论的组成部分,
学好它并不容易,
因为它包含了很多逻辑学的知识。
为了对逻辑学有个整体认识,
我找到了这本书。
它列举了逻辑学常见的几个分支,
命题逻辑,谓词逻辑,二阶逻辑,
直觉主义逻辑。
其中又穿插了集合论,证明论,
模型论,递归论。
它们联系了形式证明和模型检验,
对理解数学理论的结构,非常有帮助。
如果把逻辑学看做研究符号和符号的解释,
会非常有趣,
符号之间的不同推导规则,建立了不同的逻辑系统。
正如,不同的关系结构,构成了不同的代数系统一样。
回到类型理论上来,
逻辑学与类型理论相互促进,
因为类型看成了附加在语言语法上的属性,
对表达式的类型进行推导,相当于对属性进行逻辑推理。
当然,以上认识可能有不太准确的地方,
仅当做读完此书的阶段性认识吧。
如果想对逻辑学进行概括性学习,
这本书很有帮助。