1.2.2 课程介绍 - 正式内容之前
2019-07-22
- 1.1
- 1.2.1
- 1.2.2
- 2.1.1
- 2.1.2
- 2.1.3
- 2.1.4
- 2.1.5
- 2.1.6
- 2.2.1
- 2.2.2
- 2.2.3
- 3.1.1
- 3.1.2
- 3.1.3
- 3.1.4
- 3.2.1
- 3.2.2
- 3.2.3
- 3.2.4
- 3.3.1
- 3.3.2
- 3.3.3
- 3.3.4
- 3.3.5
- 4.1.1
- 4.1.2
- 4.1.3
- 4.2.1
- 4.2.2
- 4.3.1
- 4.3.2
- 5.1.1
- 5.1.2
- 5.1.3
- 5.1.4
- 5.1.5
- 5.2.1
- 5.2.2
- 5.2.3
- 5.2.4
- 6.1.1
- 6.1.2
- 6.1.3
- 6.2.1
- 6.2.2
- 6.3.1
- 6.3.2
- 7.1.1
- 7.1.2
- 7.1.3
- 7.1.4
- 7.1.5
- 7.1.6
- 7.2.1
- 7.2.2
- 7.2.3
- 8.1.1
- 8.1.2
- 8.1.3
- 8.1.4
- 8.2.1
- 8.2.2
- 8.2.3
- 9.1.1
- 9.1.2
- 9.1.3
- 9.2.1
- 9.2.2
- 9.2.3
- 10.1.1
- 10.1.2
- 10.2.1
- 10.2.2
- 10.2.3
- 10.2.4
- 10.3.1
- 10.3.2
- 10.3.3
- 11.1.1
- 11.1.2
- 11.1.3
- 11.1.4
- 11.2.1
- 11.2.2
- 11.2.3
- 11.2.4
- 11.2.5
- 12.1.1
- 12.1.2
- 12.1.3
- 12.2.1
- 12.2.2
- 12.2.3
- 12.2.4
- 12.3.1
- 12.3.2
- 13.1.1
- 13.1.2
- 13.1.3
- 13.2.1
- 13.2.2
- 13.2.3
- 13.3.1
- 13.3.2
- 13.3.3
简介
本课程介绍计算机科学和信息技术理论基础的概念和思想方法,以及数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念,旨在引导学生理解和掌握离散数学基本概念,采用形式化方法分析问题,并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题。(北京大学)
已显示全部内容