师资力量
常见问题
关于我们
西交网校
师资力量
常见问题
关于我们
登录
注册
登录
注册
中文
English
《离散数学》
第15-2任务： （视频）第十五讲 一阶逻辑公式
查看课程
任务列表
第1-1任务： （ppt）第一讲
第1-2任务： （视频）第一讲 课程概述及逻辑问题举例
第2-1任务： （ppt）第二讲
第2-2任务： （视频）第二讲 命题符号化
第3-1任务： （ppt）第三讲
第3-2任务： （视频）第三讲 基本联结词
第4-1任务： （ppt）第四讲
第4-2任务： （视频）第四讲 命题公式及分类
第5-1任务： （ppt）第五讲
第5-2任务： （视频）第五讲 等值演算
第6-1任务： （ppt）第六讲
第6-2任务： （视频）第六讲 联结词全功能集
第7-1任务： （ppt）第七讲
第7-2任务： （视频）第七讲 对偶与范式
第8-1任务： （ppt）第八讲
第8-2任务： （视频）第八讲 主析取范式
第9-1任务： （ppt）第九讲
第9-2任务： （视频）第九讲 主析取范式例题
第10-1任务： （ppt）第十讲
第10-2任务： （视频）第十讲 主合取范式
第11-1任务： （ppt）第十一讲
第11-2任务： （视频）第十一讲 应用实例—加法器的设计
第12-1任务： （ppt）第十二讲
第12-2任务： （视频）第十二讲 推理理论（一）
第13-1任务： （ppt）第十三讲
第13-2任务： （视频）第十三讲 推理理论（二）
第14-1任务： （ppt）第十四讲
第14-2任务： （视频）第十四讲 一阶逻辑基本概念
第15-1任务： （ppt）第十五讲
第15-2任务： （视频）第十五讲 一阶逻辑公式
第16-1任务： （ppt）第十六讲
第16-2任务： （视频）第十六讲 公式解释及分类
第17-1任务： （ppt）第十七讲
第17-2任务： （视频）第十七讲 关于量词的等值式
第18-1任务： （ppt）第十八讲
第18-2任务： （视频）第十八讲 前束范式
第19-1任务： （ppt）第十九讲
第19-2任务： （视频）第十九讲 关于量词的推理规则
第20-1任务： （ppt）第二十讲
第20-2任务： （视频）第二十讲 一阶逻辑推理例题
第21-1任务： （ppt）第二十一讲
第21-2任务： （视频）第二十一讲 逻辑部分小结及例题选解
第22-1任务： （ppt）第二十二讲
第22-2任务： （视频）第二十二讲 集合的表示
第23-1任务： （ppt）第二十三讲
第23-2任务： （视频）第二十三讲 集合之间的关系
第24-1任务： （ppt）第二十四讲
第24-2任务： （视频）第二十四讲 集合的基本运算（上）
第25-1任务： （ppt）第二十五讲
第25-2任务： （视频）第二十五讲 集合的基本运算（下）
第26-1任务： （ppt）第二十六讲
第26-2任务： （视频）第二十六讲 集合元素的计数
第27-1任务： （ppt）第二十七讲
第27-2任务： （视频）第二十七讲 集合复习及例题选解
第28-1任务： （ppt）第二十八讲
第28-2任务： （视频）第二十八讲 序偶与笛卡尔积
第29-1任务： （ppt）第二十九讲
第29-2任务： （视频）第二十九讲 关系的定义
第30-1任务： （ppt）第三十讲
第30-2任务： （视频）第三十讲 关系的定义
第31-1任务： （ppt）第三十一讲
第31-2任务： （视频）第三十一讲 关系的表示
第32-1任务： （ppt）第三十二讲
第32-2任务： （视频）第三十二讲 关系的运算（上）
第33-1任务： （ppt）第三十三讲
第33-2任务： （视频）第三十三讲 关系的运算（下）
第34-1任务： （ppt）第三十四讲
第34-2任务： （视频）第三十四讲 关系的性质
第35-1任务： （ppt）第三十五讲
第35-2任务： （视频）第三十五讲 关系性质的判定
第36-1任务： （ppt）第三十六讲
第36-2任务： （视频）第三十六讲 关系的闭包
第37-1任务： （ppt）第三十七讲
第37-2任务： （视频）第三十七讲 闭包的性质（上）
第38-1任务： （ppt）第三十八讲
第38-2任务： （视频）第三十八讲 闭包的性质（下）
第39-1任务： （ppt）第三十九讲
第39-2任务： （视频）第三十九讲 等价关系与等价类
第40-1任务： （ppt）第四十讲
第40-2任务： （视频）第四十讲 等价类的性质
第41-1任务： （ppt）第四十一讲
第41-2任务： （视频）第四十一讲 序关系--偏序关系和哈斯图
第42-1任务： （ppt）第四十二讲
第42-2任务： （视频）第四十二讲 偏序集的特殊元素
第43-1任务： （ppt）第四十三讲
第43-2任务： （视频）第四十三讲 偏序集的分解及上下界
第44-1任务： （ppt）第四十四讲
第44-2任务： （视频）第四十四讲 函数的定义
第45-1任务： （ppt）第四十五讲
第45-2任务： （视频）第四十五讲 函数的性质（上）
第46-1任务： （ppt）第四十六讲
第46-2任务： （视频）第四十六讲 函数的性质（下）
第47-1任务： （ppt）第四十七讲
第47-2任务： （视频）第四十七讲 函数的复合
第48-1任务： （ppt）第四十八讲
第48-2任务： （视频）第四十八讲 函数复合的性质
第49-1任务： （ppt）第四十九讲
第49-2任务： （视频）第四十九讲 反函数
第50-1任务： （ppt）第五十讲
第50-2任务： （视频）第五十讲 复习及例题选解（上）
第51-1任务： （ppt）第五十一讲
第51-2任务： （视频）第五十一讲 复习及例题选解（下）
第52-1任务： （ppt）第五十二讲
第52-2任务： （视频）第五十二讲 二元运算及其性质
第53-1任务： （ppt）第五十三讲
第53-2任务： （视频）第五十三讲 二元运算的特殊元素
第54-1任务： （ppt）第五十四讲
第54-2任务： （视频）第五十四讲 特殊元素的性质
第55-1任务： （ppt）第五十五讲
第55-2任务： （视频）第五十五讲 代数系统
第56-1任务： （ppt）第五十六讲
第56-2任务： （视频）第五十六讲 同态与同构的定义
第57-1任务： （ppt）第五十七讲
第57-2任务： （视频）第五十七讲 同态与同构系统举例
第58-1任务： （ppt）第五十八讲
第58-2任务： （视频）第五十八讲 同态代数系统的性质
第59-1任务： （ppt）第五十九讲
第59-2任务： （视频）第五十九讲 代数系统复习及例题选解
第60-1任务： （ppt）第六十讲
第60-2任务： （视频）第六十讲 半群
第61-1任务： （ppt）第六十一讲
第61-2任务： （视频）第六十一讲 群的定义
第62-1任务： （ppt）第六十二讲
第62-2任务： （视频）第六十二讲 群的判定及幂运算
第63-1任务： （ppt）第六十三讲
第63-2任务： （视频）第六十三讲 群的性质（上）
第64-1任务： （ppt）第六十四讲
第64-2任务： （视频）第六十四讲 群的性质（下）
第65-1任务： （ppt）第六十五讲
第65-2任务： （视频）第六十五讲 元素的阶
第66-1任务： （ppt）第六十六讲
第66-2任务： （视频）第六十六讲 子群及其判定（上）
第67-1任务： （ppt）第六十七讲
第67-2任务： （视频）第六十七讲 子群及其判定（下）
第68-1任务： （ppt）第六十八讲
第68-2任务： （视频）第六十八讲 循环群（上）
第69-1任务： （ppt）第六十九讲
第69-2任务： （视频）第六十九讲 循环群（下）
第70-1任务： （ppt）第七十讲
第70-2任务： （视频）第七十讲 置换群（上）
第71-1任务： （ppt）第七十一讲
第71-2任务： （视频）第七十一讲 置换群（下）
第72-1任务： （ppt）第七十二讲
第72-2任务： （视频）第七十二讲 陪集
第73-1任务： （ppt）第七十三讲
第73-2任务： （视频）第七十三讲 陪集的性质
第74-1任务： （ppt）第七十四讲
第74-2任务： （视频）第七十四讲 拉格朗日定理
第75-1任务： （ppt）第七十五讲
第75-2任务： （视频）第七十五讲 正规子群和商群
第76-1任务： （ppt）第七十六讲
第76-2任务： （视频）第七十六讲 同态基本定理
第77-1任务： （ppt）第七十七讲
第77-2任务： （视频）第七十七讲 环
第78-1任务： （ppt）第七十八讲
第78-2任务： （视频）第七十八讲 几种特殊的环和域
第79-1任务： （ppt）第七十九讲
第79-2任务： （视频）第七十九讲 复习及例题选解
第80-1任务： （ppt）第八十讲
第80-2任务： （视频）第八十讲 复习及例题选解
第81-1任务： （ppt）第八十一讲
第81-2任务： （视频）第八十一讲 格及其性质（上）
第82-1任务： （ppt）第八十二讲
第82-2任务： （视频）第八十二讲 格及其性质（下）
第83-1任务： （ppt）第八十三讲
第83-2任务： （视频）第八十三讲 特殊格（上）
第84-1任务： （ppt）第八十四讲
第84-2任务： （视频）第八十四讲 特殊格（下）
第85-1任务： （ppt）第八十五讲
第85-2任务： （视频）第八十五讲 布尔代数
第86-1任务： （ppt）第八十六讲
第86-2任务： （视频）第八十六讲 格和布尔代数复习及例题选解
第87-1任务： （ppt）第八十七讲
第87-2任务： （视频）第八十七讲 图论概述及举例
第88-1任务： （ppt）第八十八讲
第88-2任务： （视频）第八十八讲 图的定义
第89-1任务： （ppt）第八十九讲
第89-2任务： （视频）第八十九讲 图的相关术语及举例
第90-1任务： （ppt）第九十讲
第90-2任务： （视频）第九十讲 通路与回路
第91-1任务： （ppt）第九十一讲
第91-2任务： （视频）第九十一讲 图的连通性
第92任务： （视频）第九十二讲 强弱分图和单向分图
第93任务： （视频）第九十三讲 有向图的邻接矩阵
第94任务： （视频）第九十四讲 有向图的可达矩阵
第95任务： （视频）第九十五讲 无向图的关联矩阵
第96任务： （视频）第九十六讲 有向无环图的关联矩阵
第97-1任务： （ppt）第九十七讲
第97-2任务： （视频）第九十七讲 带权图与最短路径
第98-1任务： （ppt）第九十八讲
第98-2任务： （视频）第九十八讲 图的基本概念复习及例题选解
第99-1任务： （PPT）第九十九讲
第99-2任务： (视频) 第九十九讲 树及其等价定义
第100-1任务： （PPT）第一百讲
第100-2任务： (视频) 第一百讲 树的性质
第101-1任务： （PPT）第一百零一讲
第101-2任务： (视频) 第一百零一讲 生成树
第102-1任务： （PPT）第一百零二讲
第102-2任务： (视频) 第一百零二讲 最小生成树
第103-1任务： （PPT）第一百零三讲
第103-2任务： (视频) 第一百零三讲 根树
第104-1任务： （PPT）第一百零四讲
第104-2任务： (视频) 第一百零四讲 最优二元树
第105-1任务： （PPT）第一百零五讲
第105-2任务： (视频) 第一百零五讲 前缀码的设计
第106-1任务： （PPT）第一百零六讲
第106-2任务： (视频) 第一百零六讲 树复习及例题选解
第107-1任务： （PPT）第一百零七讲
第107-2任务： (视频) 第一百零七讲 欧拉无向图
第108-1任务： （PPT）第一百零八讲
第108-2任务： (视频) 第一百零八讲 欧拉有向图
第109-1任务： （PPT）第一百零九讲
第109-2任务： (视频) 第一百零九讲 哈密顿图
第110-1任务： （PPT）第一百一十讲
第110-2任务： (视频) 第一百一十讲 哈密顿图举例及最近邻算法
第111-1任务： （PPT）第一百一十一讲
第111-2任务： (视频) 第一百一十一讲 平面图
第112-1任务： （PPT）第一百一十二讲
第112-2任务： (视频) 第一百一十二讲 二分图
第113-1任务： （PPT）第一百一十三讲
第113-2任务： (视频) 第一百一十三讲 几种典型图复习及例题选解
第114-1任务： （PPT）第一百一十四讲
第114-2任务： (视频) 第一百一十四讲 数理逻辑与集合总复习
第115-1任务： （PPT）第一百一十五讲
第115-2任务： (视频) 第一百一十五讲 代数结构与图论总复习