- 博客(0)
- 资源 (1)
空空如也
First-order logic.djvu
逻辑学的另一种形式是符号化,用字母和逻辑连接符表示命题。这种逻辑学作为数学和计算的表述语言,称作符号逻辑或数理逻辑,主要用来精确地描述数学理论,同时又是计算机语言的理论基础。符号逻辑除了应用于数学领域、电路设计等其他工程性学科,还在语言学等传统的人文学科找到了用武之地。SMUllyan FOL,classical textbook学习逻辑的有用参考书目,强烈推荐。
2020-03-31
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人