数理逻辑导论(H)
（程京德）CS1082023春 2022春 2021春2023春 2022春 2021春
(暂无评价)
- 课程难度：你猜
- 作业多少：你猜
- 给分好坏：你猜
- 收获大小：你猜
| 选课类别：专业任务 | 教学语言：双语 |
| 课程类别：专业基础课 | 开课单位：计算机科学与工程系 |
| 课程层次：本科 | 获得学分：2.0 |
课程主页：暂无（如果你知道，请点右上角“编辑课程信息”添加！）
课程简介（教工部数据）
本课程在介绍逻辑学（特别是经典数理逻辑）的历史背景、本质、目的、基本假设、范围、应用领域之后，详细讲授形式逻辑系统、经典命题演算、经典一阶谓词演算、以及经典数理逻辑的局限性，并且介绍对经典数理逻辑的经典保存扩张及非经典替代。
After introducing the historical background, essence, purpose, basic hypothesis, scope and application fields of logic (especially classical mathematical logic), this course teaches formal logic systems, classical propositional calculus, classical first-order predicate calculus, and the limitations of classical mathematical logic in detail, and then introduces the classical conservative expansions and non-classical alternates of classical mathematical logic.
点评写点评
还没有评论耶！放着我来！
