|
题名:
|
数理逻辑与集合论 shu li luo ji yu ji he lun / 石纯一, 王家廞编著 , |
|
ISBN:
|
7-302-04042-7 价格： CNY18.00 |
|
语种:
|
chi |
|
载体形态:
|
224页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2000 |
|
内容提要:
|
共12章,前8章介绍数理逻辑,包括命题和谓词逻辑的基本概念,等值和推理演算,公理系统,模型论和证明论,后4章介绍集合,包括集合,关系,函数,实数集与基数。可作大学离散数学课程的教科书,也可供从事计算机科学、人工智能等专业的人员参考。 |
|
主题词:
|
数理逻辑 高等学校 |
|
主题词:
|
集论 高等学校 |
|
中图分类法:
|
O14 版次： 4 |
|
主要责任者:
|
石纯一 shi chun yi 编著 |
|
主要责任者:
|
王家廞 wang jia qin 编著 |
|
版次:
|
第二版 |