数理逻辑与集合论
Saved in:
Main Authors: | ; ; |
---|---|
Published: |
科学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2015 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 236页: ; 24cm |
ISBN: | 978-7-03-046908-3 |
Index Number: | O141 |
CLC: |
O141 O144 |
Call Number: | O141/3211 |
Contents: | 本书共8章。第1-5章是数理逻辑部分:第1-3章是数理逻辑,包括命题逻辑、谓词逻辑及其公理化理论;第4章是简单模态逻辑,第5章是利用基础知识分析基础教育阶段数学教学中遇到的问题。第6-8章是集合论部分,包括集合、关系、函数、实数集与基数等基础知识。 |