西安交通大学研究生课程简介
课程编码：052027
课程名称：高等数理逻辑
Advanced Mathematical Logic Advanced Mathematical Logic
学分数：3
课内总学时数：60
上机（实验）学时数：0
课程内容简介：
高等数理逻辑是以形式化、公理化、结构化、系统化的角度研究经典逻体系和各种非经典逻体系的形式系统(语法理论)和语义理论的科学。高等数理逻辑的内容主要包括：经典逻辑体系，以及模态逻辑体系，时态逻辑体系，l-演算与组合逻辑、p-演算及进程代数简介，二阶逻辑体系与高等逻辑体系简介等现代逻辑体系。
高等数理逻辑与计算机科学的两个重要理论支柱：计算理论和程序理论密切相关，是计算机科学与技术的重要理论课程。学习计算机科学的研究生在掌握了本课程的系统理论之后，将为他们今后进一步的学习、实际工作、理论研究和分析奠定一个坚实的理论基础。
先修课:离散数学，人工智能。
参考书目：
1.《Mathematical Logic》H.D. Ebbinghans J.Flum W.Thomax；
2.《现代逻辑启蒙》杨百顺；
3.《人工智能中的逻辑》T.雷蒙德；
4.《认知逻辑导论》周昌乐；
5.《An Introduction to Modal Logic》；
G.E. HUGHES M.J. CRESSWELL.
执笔人：刘国荣
