数理逻辑基础（周熠）
2025春 课程号：CS200203
2025春 课程号：CS200203
2025春 课程号：CS200203
(暂无评价)
(暂无评价)
- 课程难度：你猜
- 作业多少：你猜
- 给分好坏：你猜
- 收获大小：你猜
| 选课类别：计划内与自由选修 | 教学类型：理论课 |
| 课程类别：本科计划内课程 | 开课单位：计算机科学与技术系 |
| 课程层次：专业基础 | 学分：2.0 |
课程主页：暂无（如果你知道，劳烦告诉我们！）
简介
最后更新：2025年1月17日 08:51
数理逻辑是计算机科学技术的重要数学基础之一，本课程是计算机科学技术专业本科教学的数理逻辑基础课程，主要介绍数理逻辑的基本理论和形式化技术，为后继课程奠定必要基础。主要内容包括：命题逻辑的（标准）形式公理系统（命题语言和形式推导）、语义学和元理论（命题演算的可靠性和完全性）；一阶逻辑的（标准）形式公理系统（一阶语言和形式推导）、语义学和元理论（一阶谓词演算的可靠性和完全性）。
点评
写点评
排序
学期
评分
评分
1条点评
