First-order logic.djvu

所需积分/C币:6 2020-03-31 15:16:32 1.45MB DJVU

逻辑学的另一种形式是符号化,用字母和逻辑连接符表示命题。这种逻辑学作为数学和计算的表述语言,称作符号逻辑或数理逻辑,主要用来精确地描述数学理论,同时又是计算机语言的理论基础。符号逻辑除了应用于数学领域、电路设计等其他工程性学科,还在语言学等传统的人文学科找到了用武之地。SMUllyan FOL,classical textbook学习逻辑的有用参考书目,强烈推荐。

...展开详情
img
huaqing_logic
  • 分享学徒

    成功上传1个资源即可获取

关注 私信 TA的资源

上传资源赚积分,得勋章
相关内容推荐
  • 下载 -

    -