|
题名:
|
模型论及其在计算机科学中的应用 / 北京师范大学数学科学学院主编 , 罗里波编著 |
|
ISBN:
|
978-7-303-13602-5 价格： CNY30.00 |
|
语种:
|
chi |
|
载体形态:
|
300页 23cm |
|
出版发行:
|
出版地： 北京 出版社： 北京师范大学出版社 出版日期： 2012 |
|
内容提要:
|
本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书中主要部分的内容曾经在2002年贵州大学,2003年昆明理工学院和2004年贵州民族学院举办的全国计算机(暑期)高级研讨班上讲授过.又在石家庄经济学院的教师研讨班上使用过，当时学员们认为比较容易接受。后来又补充了一些内容使它更为易懂，我们的目标是让这本书成为开设模型论课程的理想课本，利用这本书来自学模型论也不至于太困难。本书的特点是补充了必要的集合论和数理逻辑的知识，有助于后面对模型论相关部分的理解。在讲授模型论的过程中学员们经常提出一些问题，相信这些也是广大的读者们所关心的问题。 |
|
主题词:
|
模型论 应用 |
|
中图分类法:
|
TP301 版次： 5 |
|
次要责任者:
|
罗里波 编著 |
|
附注:
|
新世纪高等学校教材 数学与应用数学基础课系列教材 |
|
主要团体责任者:
|
北京师范大学 主编 |