模型论及其在计算机科学中的应用

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书中主要部分的内容曾经在2002年贵州大学,2003年昆明理工学院和2004年贵州民族学院举办的全国计算机(暑期)高级研讨班上讲授过.又在石家庄经济学院的教师研讨班上使用过，当时学员们认为比较容易接受。后来又补充了一些内容使它更为易懂，我们的目标是让这本书成为开设模型论课程的理想课本，利用这本书来自学模型论也不至于太困难。本书的特点是补充了必要的集合论和数理逻辑的知识，有助于后面对模型论相关部分的理解。在讲授模型论的过程中学员们经常提出一些问题，相信这些也是广大的读者们所关心的问题。