点此购买报价￥27.00
目录：图书,科学与自然,数学,数理逻辑、数学基础,
品牌：朱梧槚
基本信息
·出版社：大连理工大学出版社
·页码：243 页码
·出版日：2008年
·ISBN：9787561140338
·条码：9787561140338
·版次：1版
·装帧：平装
·开本：16 16
·中文：中文
·丛书名：高等学校理工科数学类规划教材
内容简介
全书分为五章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造，第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容，最后第5章是欧冠经典二值逻辑系统的严格的语义研究。
目录
第0章绪论
0.1什么是数理逻辑
0.2形式系统及其解释
第1章命题与命题联结词
1.1命题
1.2命题联结词
1.3真值函数
1.4范式
1.5范式与指派
1.6命题联结词含量的完全性
习题与补充
第2章命题逻辑演算
第3章谓词与量词
第4章谓词逻辑演算
第5章逻辑演算系统的整体特征
附录非经典逻辑纲要
参考文献
……[看更多目录]
点此购买报价￥27.00