数理逻辑引论(高等学校理工科数学类规划教材)
特别声明:本站仅为商品信息简介,并不出售商品,您可点击文中链接进入淘宝网搜索页搜索该商品,有任何问题请与具体淘宝商家联系。
参考价格: 点此进入淘宝搜索页搜索分类: 图书,科学与自然,数学,数理逻辑、数学基础,
品牌: 朱梧槚
基本信息·出版社:大连理工大学出版社
·页码:243 页
·出版日期:2008年
·ISBN:7561140339/9787561140338
·条形码:9787561140338
·包装版本:1版
·装帧:平装
·开本: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章逻辑演算系统的整体特征
附录非经典逻辑纲要
参考文献
……[看更多目录]