客服咨询
意见反馈
介绍
目录
课程概述
《高级数理逻辑》课程是计算机学科和数学学科的基础，是计算机专业研究生的专业核心学位课程和专业基础课程。 通过本课程的学习，还将有利于提高研究生的理论素养，培养研究生的逻辑推理能力、抽象思维能力和形式化表述能力。
课程目标
考核评价
讲师介绍
李辉
详细介绍
本课程主要内容包括：集合论、可计算性理论、命题逻辑与一阶逻辑、推理与证明系统和Prolog编程；面向计算机科学与技术相关专业的研究生。
本课程为我校计算机科学与技术专业硕士的专业核心课，自2008年开课以来一直由李辉担任主讲教师，每学期学生人数基本保持在10-40人左右。以计算机科学与技术的学术硕士学生为主，同时也有我校其他学科的硕士生、博士生和留学生前来选课，专业包括：自动化、应用数学等。学生对本课程的教学效果非常认可，认为教学内容非常独特、有内涵、能引发深度思考，注重理论与实践的结合，教师上课循循善诱，认真负责，评教成绩均在90分以上。
课程优势在于理论结合实际，帮助学生循序渐进地提高逻辑判断和思考能力。劣势在于涉及的理论知识宽泛而深奥，要学好这门课，除了认真听讲，仍需大量阅读相关的研究文献。
第一章 概述
1.1 课程简介
（587s）
1.2 天才数学家-康托
（381s）
1.3 天才数学家-图灵
（413s）
1.4 天才数学家-希尔伯特
（324s）
1.5 天才数学家-哥德尔
（451s）
第六章 一阶逻辑
6.1 符号化与一阶公式
（666s）
6.2 解释与赋值
（591s）
6.3 一阶等价式与蕴含式
（497s）
6.4 前束范式
（549s）
6.5 一阶逻辑推导
（906s）
6.6 一阶逻辑的归结
（635s）
运营单位: 杭州沃土教育科技股份有限公司
