数理逻辑与集合论
- 作者石纯一，王家廞编著
- 出版社北京：清华大学出版社
- 标注页数224 页
- 文件页数231 页
- 文件大小7.61 MB
- 出版时间2000
- ISBN7302040427
内容简介
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
同作者推荐
同出版社推荐
中华人民共和国药典 一九八五年版 一部中华人民共和国卫生部药典委员会编 · 北京：人民卫生出版社；北京：化学工业出版社 · 1985
神经系统药物作用机制（英）R.W.赖亚尔著；张宝恒等译 · 北京：北京人民卫生出版社 · 1982
中国现代医学 1986王季午等主编 · 北京：人民卫生出版社；源流出版社 · 1987
药理学进展 神经药理分册 1980中国药理学会主编 · 北京：人民卫生出版社；合肥：安徽科学技术出版社 · 1981
人体解剖图谱（捷）吉司，F.，（捷）森塔戈泰，I.著 · 北京：人民卫生出版社；匈牙利科学院出版社 · 1960
人体解剖图谱 第3卷 神经系、脉管、淋巴管、感官 第5版（捷）吉司，F.，（捷）森塔戈泰，I.著 · 北京：人民卫生出版社；匈牙利科学院出版社 · 2222
X线检查与诊断技术唐陶富，廖伟雄，罗天蔚主编；翁蝇和，黄光辉，欧阳光副主编 · 北京：人民卫生出版社 · 2015
蛋白质临床应用石汉平，王昆华，李增宁主编；吴小燕等副主编 · 北京：人民卫生出版社 · 2015