数理逻辑引论
2025-02-17 10:41:58
文学小说
6

内容简介:
《高等学校理工科数学类规划教材·数理逻辑引论》分为五章,其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造,第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容,最后第5章是欧冠经典二值逻辑系统的严格的语义研究。
评论