数理逻辑
Saved in:
Main Authors: | ; |
---|---|
Published: |
清华大学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2013 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 135页: ; 26cm |
ISBN: | 978-7-302-33102-5 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/1216 |
Contents: |
中国高等学校计算机科学与技术专业(应用型)规划教材/陈明主编 本书在内容组织上包括集合论基础知识、可计算性理论基础知识和经典数理逻辑3个部分,其中集合论基础部分着重介绍可数集与不可数集的概念,并运用集合的基数以及基数的比较等有关知识,阐述“无穷可比”的思想;可计算性理论基础部分以递归函数、图灵计算和理想计算机为对象,从多个角度给出“计算”概念的精确描述;经典逻辑部分包括命题逻辑和谓词逻辑等。 |