离散数学-逻辑基石:计算机科学的数学基础
《离散数学》是计算机科学的核心基础课程,系统研究离散对象的结构及其相互关系。本课程涵盖命题与谓词逻辑、代数系统、图论等核心内容,旨在培养严密的逻辑推理、抽象思维与数学建模能力,为后续学习算法、数据结构等奠定坚实的理论基础。 视频课程目录: 01 前言 02 命题逻辑 03 谓词逻辑 04 第三单元 05 第四单元 06 代数系统 07 图论 ├─{01}--前言 │ [1.1]--1-离散数学概述.mp4 │ ├─{02}--第一单元 │ (2.4)--命题公式及翻译2.mpg │ (2.5)--真值表与等价公式2.mpg │ (2.6)--等价公式的证明方法(一)2.mpg │ [2.