Screen Library数理逻辑
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个部分，其中集合论基础部分着重介绍可数集与不可数集的概念，并运用集合的基数以及基数的比较等有关知识，阐述“无穷可比”的思想；可计算性理论基础部分以递归函数、图灵计算和理想计算机为对象，从多个角度给出“计算”概念的精确描述；经典逻辑部分包括命题逻辑和谓词逻辑等。 |