ISBN/价格: | 978-7-03-046908-3:CNY49.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 数理逻辑与集合论/.房元霞, 赵汝木, 盛秀艳编著 |
出版发行项: | 北京:,科学出版社:,2015.12 |
载体形态项: | 236页:;+24cm |
提要文摘: | 本书是数理逻辑和集合论的基础语言。共8章, 前5章是数理逻辑部分: 第1-3章是数理逻辑, 包括命题逻辑、谓词逻辑及其公理化理论 ; 第4章是简单模态逻辑, 第5章是利用基础知识分析基础教育阶段数学教、学中遇到的问题。在每一节的起始将本节内容所渗透的重要的思想方法提炼出来放在前面, 以期利于读者对内容的深入理解和对数学思想方法的进一步思考。后3章是集合论部分, 包括集合、关系、函数、实数集与基数等基础知识。 |
题名主题: | 数理逻辑 |
题名主题: | 集论 |
索书号: | O141/F38 |
中图分类: | O141 |
中图分类: | O144 |
个人名称等同: | 房元霞 编著 |
个人名称等同: | 赵汝木 编著 |
个人名称等同: | 盛秀艳 编著 |
记录来源: | CN 人天书店 20160206 |