数理逻辑与程序理论 Mathematical Logic and Theory of Programming

计算机科学与技术学院 专业核心课 2026秋 雁栖湖 3.0 学分
授课教师: 眭跃飞

综合评价
暂无评价 0 人评价
培养层次:硕博通用课程 所属学科/专业:计算机软件与理论
课程类别:专业核心课 开课单位:计算机科学与技术学院
学分:3.0
课程点评
还没有评论耶!放着我来!
五维雷达图
综合评价 暂无评价
  • 课程难度暂无评分
  • 作业多少暂无评分
  • 给分好坏暂无评分
  • 收获大小暂无评分
授课教师
开设学期
  • 2026秋 · 180086081202P2001H 眭跃飞
选课规划

把「数理逻辑与程序理论」加入你的选课规划,自动检测时间冲突。

登录后加入选课规划
选课请以教务系统发布的信息为准。
其他老师的「数理逻辑与程序理论」课
眭跃飞老师的其他课
▲