数理逻辑是计算机科学技术的重要数学基础之一，本课程是计算机科学技术专业本科教学的数理逻辑基础课程，主要介绍数理逻辑的基本理论和形式化技术，为后继课程奠定必要基础。主要内容包括：命题逻辑的（标准）形式公理系统（命题语言和形式推导）、语义学和元理论（命题演算的可靠性和完全性）；一阶逻辑的（标准）形式公理系统（一阶语言和形式推导）、语义学和元理论（一阶谓词演算的可靠性和完全性）。

以上的简介与课程实际情况不符。？？？

此课程也作为一门不需要前置课程的计算机辅修专业选修课之一，建议修读作为选修学分。上课刚好与主修同学是在同一个学期。

此课程也作为一门不需要专业基础的计算机专业课之一，建议修读作为自由选修学分。

教学水平

刘贵全老师的《数理逻辑基础》课程内容主要包括命题逻辑和谓词逻辑。部分同学认为他的授课方式较为单一，基本上是“念课本，不作任何解说，缺乏洞见”。很多评论表示，上课催眠效果显著，听了两小时课自己半小时就能理解课程内容，因此不少同学选择翘课自学。总体上，授课水平评价一般，但课本内容比较清晰，可以自学。

作业

课程的作业量较少，通常两周一次，每次的题目量也不大。评论普遍认为，作业题目虽然不多，但如果对数理逻辑理解不深，可能会觉得题目比较难，应付作业需要一定的思考。一些同学提到，作业接近脑筋急转弯，但通常书后有提示，直接参考提示基本上能完成作业。

考试

多位同学表示，期末考试题型通常比较常规，包括判断题、直接证明题等，题目难度中等偏上。考试是开卷的，因此建议带上课本和往年试卷。部分同学指出，直接证明题是高分的关键，需要多练习。总体来说，考试有一定区分度，但并不算特别难，比较考验对概念的理解和题目细节的处理。

给分

给分机制通常是作业占比40%，期末考试占比60%。很多评论提到，刘贵全老师的班对给分比较严格，不太会调分，最后的总评严格按照平时成绩和期末成绩计算。因此，作业和期末考试成绩都很重要。有同学推测，老师可能会根据具体情况调整期末比例，以达到合理的分数分布。

总结

总体来看，刘贵全老师的《数理逻辑基础》课程适合自学能力较强的同学。课程内容不算过于复杂，但讲课方式较为单调，适合课后自学。作业不多，但需要认真对待，考试难度中等，开卷考试意味着平时的积累和复习重点非常关键。部分同学对给分方式和严格程度有争议，总体而言，课程体验中规中矩。