命题逻辑的基本概念
主讲教师:王潇
| 学校: | 仲恺农业工程学院 |
| 开课院系: | 信息科学与技术学院 |
| 开课专业: | 信管 |
| 课程英文名称: | Discrete Mathematics |
| 课程编号: | 320273 |
| 学分: | 3.0 |
| 课时: | 48 |
离散数学是现代数学的一个分支,并是计算机专业的一门核心基础课程。本课程主要研究处理离散结构所必须的描述工具和方法,通过讲授集合论、代数结构与代数系统、数理逻辑以及图论等方面的初步知识,为计算机及其相关专业的课程打下坚实的基础。
| 课程章节 | | 文件类型 | | 修改时间 | | 大小 | | 备注 | |
| 1.1 命题与联结词 |
文档
.pdf
|
2024-09-18 | 408.64KB | ||
|
文档
.pdf
|
2024-09-18 | 1.24MB | |||
|
视频
.mp4
|
2024-09-18 | 60.26MB | |||
|
视频
.mp4
|
2024-09-18 | 18.71MB | |||
|
视频
.mp4
|
2024-09-18 | 23.69MB | |||
|
视频
.mp4
|
2024-09-18 | 24.83MB | |||
|
视频
.mp4
|
2024-09-18 | 15.65MB | |||
| 1.2 命题公式及其赋值 |
文档
.pdf
|
2024-09-18 | 138.82KB | ||
|
文档
.pdf
|
2024-09-18 | 1.45MB | |||
|
视频
.mp4
|
2024-09-18 | 23.92MB | |||
|
视频
.mp4
|
2024-09-18 | 11.82MB | |||
|
视频
.mp4
|
2024-09-18 | 39.09MB | |||
| 2.1 等值式 |
文档
.pdf
|
2024-09-18 | 180.25KB | ||
|
文档
.pdf
|
2024-09-18 | 1.05MB | |||
|
视频
.mp4
|
2024-09-18 | 39.83MB | |||
|
视频
.mp4
|
2024-09-18 | 39.83MB | |||
|
视频
.mp4
|
2024-09-18 | 48.23MB | |||
|
视频
.mp4
|
2024-09-18 | 21.11MB | |||
| 2.2 析取范式与合取范式 |
文档
.pdf
|
2024-09-18 | 271.25KB | ||
|
文档
.pdf
|
2024-09-18 | 1.61MB | |||
|
视频
.mp4
|
2024-09-18 | 39.20MB | |||
|
视频
.mp4
|
2024-09-18 | 32.16MB | |||
|
视频
.mp4
|
2024-09-18 | 44.51MB | |||
|
视频
.mp4
|
2024-09-18 | 30.53MB | |||
| 2.3 联结词的完备集 |
文档
.pdf
|
2024-09-18 | 456.70KB | ||
|
视频
.mp4
|
2024-09-18 | 23.86MB | |||
| 3.1 推理的形式结构 |
文档
.pdf
|
2024-09-18 | 296.17KB | ||
|
文档
.pdf
|
2024-09-18 | 716.43KB | |||
|
视频
.mp4
|
2024-09-18 | 54.83MB | |||
| 3.2 自然推理系统 |
文档
.pdf
|
2024-09-18 | 296.18KB | ||
|
文档
.pdf
|
2024-09-18 | 917.37KB | |||
|
视频
.mp4
|
2024-09-18 | 41.86MB | |||
|
视频
.mp4
|
2024-09-18 | 28.35MB | |||
|
视频
.mp4
|
2024-09-18 | 41.31MB | |||
| 4.1 一阶逻辑命题符号化 |
文档
.pdf
|
2024-09-18 | 277.93KB | ||
|
文档
.pdf
|
2024-09-18 | 1.02MB | |||
|
视频
.mp4
|
2024-09-18 | 32.18MB | |||
|
视频
.mp4
|
2024-09-18 | 21.90MB | |||
|
视频
.mp4
|
2024-09-18 | 27.83MB | |||
| 4.2 一阶逻辑公式及解释 |
文档
.pdf
|
2024-09-18 | 283.07KB | ||
|
文档
.pdf
|
2024-09-18 | 1.28MB | |||
|
视频
.mp4
|
2024-09-18 | 26.00MB | |||
|
视频
.mp4
|
2024-09-18 | 19.48MB | |||
|
视频
.mp4
|
2024-09-18 | 18.56MB | |||
| 5.1 一阶逻辑等值式与置换规则 |
文档
.pdf
|
2024-09-18 | 335.26KB | ||
|
文档
.pdf
|
2024-09-18 | 675.97KB | |||
|
视频
.mp4
|
2024-09-18 | 32.89MB | |||
|
视频
.mp4
|
2024-09-18 | 13.39MB | |||
| 5.2 一阶逻辑前束范式 |
文档
.pdf
|
2024-09-18 | 156.10KB | ||
|
文档
.pdf
|
2024-09-18 | 428.18KB | |||
|
视频
.mp4
|
2024-09-18 | 29.12MB | |||
| 6.1 集合的基本概念 |
文档
.pdf
|
2024-09-18 | 555.95KB | ||
|
文档
.pdf
|
2024-09-18 | 525.80KB | |||
|
视频
.mp4
|
2024-09-18 | 48.96MB | |||
| 6.2 集合的运算 |
文档
.pdf
|
2024-09-18 | 416.69KB | ||
|
视频
.mp4
|
2024-09-18 | 12.16MB | |||
|
视频
.mp4
|
2024-09-18 | 17.04MB | |||
| 6.3 有穷集的计数 |
文档
.pdf
|
2024-09-18 | 654.43KB | ||
| 6.4 集合恒等式 |
文档
.pdf
|
2024-09-18 | 618.06KB | ||
|
视频
.mp4
|
2024-09-18 | 14.59MB | |||
|
视频
.mp4
|
2024-09-18 | 19.04MB | |||
|
视频
.mp4
|
2024-09-18 | 16.33MB | |||
| 7.1 有序对与笛卡尔积 |
文档
.pdf
|
2024-09-18 | 389.51KB | ||
|
文档
.pdf
|
2024-09-18 | 388.61KB | |||
|
视频
.mp4
|
2024-09-18 | 22.35MB | |||
| 7.2 二元关系 |
文档
.pdf
|
2024-09-18 | 415.06KB | ||
|
视频
.mp4
|
2024-09-18 | 39.81MB | |||
| 7.3 关系的运算 |
文档
.pdf
|
2024-09-18 | 385.42KB | ||
|
文档
.pdf
|
2024-09-18 | 1.01MB | |||
|
视频
.mp4
|
2024-09-18 | 10.47MB | |||
|
视频
.mp4
|
2024-09-18 | 15.54MB | |||
|
视频
.mp4
|
2024-09-18 | 34.34MB | |||
| 7.4 关系的性质 |
文档
.pdf
|
2024-09-18 | 368.42KB | ||
|
文档
.pdf
|
2024-09-18 | 838.23KB | |||
|
视频
.mp4
|
2024-09-18 | 10.99MB | |||
|
视频
.mp4
|
2024-09-18 | 16.78MB | |||
|
视频
.mp4
|
2024-09-18 | 11.41MB | |||
| 7.5 关系的闭包 |
文档
.pdf
|
2024-09-18 | 281.57KB | ||
|
文档
.pdf
|
2024-09-18 | 954.38KB | |||
|
视频
.mp4
|
2024-09-18 | 30.36MB | |||
| 7.6 等价关系与划分 |
文档
.pdf
|
2024-09-18 | 461.65KB | ||
|
文档
.pdf
|
2024-09-18 | 558.05KB | |||
|
视频
.mp4
|
2024-09-18 | 33.65MB | |||
| 7.7 偏序关系 |
文档
.pdf
|
2024-09-18 | 359.60KB | ||
|
文档
.pdf
|
2024-09-18 | 666.32KB | |||
| 8.1 函数的定义与性质 |
文档
.pdf
|
2024-09-18 | 1.20MB |