模型论（Model Theory）

 

研究生选修课，4学时，春季开课

 

先修课程：一阶逻辑

 

课程目的：

掌握模型论的基本知识，并在学习中提高对一阶逻辑的认识和数学证明的能力。

 

内容提要：

模型论是数理逻辑的主要分支之一，它的方法与结论在其它逻辑分支中有着重要的应用。

 

教材：

C. C. Chang and H. J. Keisler：Model Theory (3^rd edition)，North-Holand, 1990.

 

参考书：

暂无

 

成绩评定办法：

习题完成情况和成绩占40%，期末考试成绩占60%。

 

教学大纲：