所有分类
  • 所有分类
  • 机械工业
  • 人民邮电
  • 清华大学
  • 电子工业

数理逻辑与集合论 PDF下载

数理逻辑与集合论  PDF下载插图

数理逻辑与集合论-封面

数理逻辑与集合论  PDF下载插图1

数理逻辑与集合论-书签


【作 者】石纯一,王家廞编著
【丛书名】清华大学计算机系列教材
【形态项】 224
【出版项】 北京:清华大学出版社 , 2000.12
【ISBN号】7-302-04042-7
【中图法分类号】O141;O144
【原书定价】18.00
【主题词】数理逻辑(学科: 高等学校) 集论(学科: 高等学校) 数理逻辑 集论
【参考文献格式】 石纯一,王家廞编著. 数理逻辑与集合论. 北京:清华大学出版社, 2000.12.
内容提要:
清华大学计算机系列教材:本书介绍了数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论,包括集合、关系、函数、实数集与基数等。

资源下载资源下载价格3立即购买    升级VIP后免费
客服QQ:453187836
资源下载
下载价格3
客服QQ:453187836
0

评论0

请先

显示验证码
没有账号? 注册  忘记密码?

社交账号快速登录

微信扫一扫关注
如已关注,请回复“登录”二字获取验证码