|
题名:
|
数理逻辑
/
张再跃，张晓如
,
|
|
ISBN:
|
978-7-302-33102-5
价格：
0.00
|
|
载体形态:
|
135页
26cm
|
|
出版发行:
|
出版地：
北京
出版社：
清华大学出版社
出版日期：
20130101
|
|
内容提要:
|
本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、厚基础”的要求，使学生在了解知识背景的基础上，较为全面、系统的掌握专业基础理论和专业知识。
|
|
主题词:
|
数理逻辑
|
|
中图分类法:
|
O141
版次：
|