- 离散数学概论 - 北京大学
file:Playlist.dpl
file:1.2.2 真值函数.mp4
file:1.2.1 命题公式_zh.srt
file:1.2.2 真值函数_zh.srt
file:1.2.3 命题形式化.mp4
file:1.1.2 什么是命题_zh.srt
file:1.1.6 逻辑联结词（下）_zh.srt
file:1.1.3 排中律_zh.srt
file:1.1.2 什么是命题.mp4
file:1.1.4 命题符号化_zh.srt
file:1.1.3 排中律.mp4
file:1.1.1 数理逻辑介绍_zh.srt
file:1.1.4 命题符号化.mp4
file:1.1.1 数理逻辑介绍.mp4
file:1.1.5 逻辑联结词（上）.mp4
file:9.2.3 树的应用_zh.srt
file:9.2.2 树.mp4
file:9.2.1 平面图.mp4
file:9.2.3 树的应用.mp4
file:9.2.1 平面图_zh.srt
file:9.1.3 二分图的匹配_zh.srt
file:9.1.2 二分图.mp4
file:9.1.1 图的矩阵表示_zh.srt
file:9.1.1 图的矩阵表示.mp4
file:3.3.2 命题演算形式系统PC_zh.srt
file:3.3.1 形式系统和证明、演绎.mp4
file:3.3.2 命题演算形式系统PC.mp4
file:3.3.1 形式系统和证明、演绎_zh.srt
file:3.3.3 PC中的定理证明.mp4
file:3.3.5 定理判定问题.mp4
file:3.3.3 PC中的定理证明_zh.srt
file:3.3.5 定理判定问题_zh.srt
file:3.3.4 三个元定理_zh.srt
file:3.3.4 三个元定理.mp4
file:3.1.4 证明逻辑等价式和逻辑蕴涵式.mp4
file:3.1.2 逻辑等价式和逻辑蕴涵式_zh.srt
file:3.1.3 代入原理和替换原理.mp4
file:3.1.1 重言式.mp4
file:3.1.3 代入原理和替换原理_zh.srt
file:3.1.1 重言式_zh.srt
file:3.2.4 联结词集完备性_zh.srt
file:3.2.1 范式及基本术语.mp4
file:3.2.1 范式及基本术语_zh.srt
file:3.2.3 主范式.mp4
file:3.2.4 联结词集完备性.mp4
file:3.2.2 求范式的一般步骤.mp4
file:3.2.2 求范式的一般步骤_zh.srt
folder:离散数学概论 - 北京大学
folder:1 数理逻辑-基本概念
folder:9 图论-特殊图
folder:3 数理逻辑-命题逻辑及形式系统
folder:10 抽象代数
folder:12 形式语言与自动机-有限状态机
folder:2 课程介绍
folder:11 形式语言与自动机：基本概念
folder:6 集合论-集合代数
folder:5 集合论
folder:13 形式语言与自动机-图灵机与计算理论
folder:8 图论：图的基本概念
folder:7 集合论-特殊关系及函数
folder:1.2 命题公式
folder:1.1 命题与联结词
folder:9.2 树
folder:9.1 二分图
folder:3.3 命题演算形式系统
folder:3.1 重言式
folder:3.2 范式
folder:10.3 代数结构间的关系
folder:10.1 代数结构
folder:10.2 特殊元素
folder:12.2 商机器
folder:12.1 状态图
folder:12.3 带输出的机器
folder:2.1 课程简介
folder:2.2 正式内容之前
folder:11.1 形式语言
folder:11.2 形式语法分类
folder:6.2 关系运算
folder:6.3 关系特性
folder:6.1 关系定义
folder:5.1 集合基本概念
folder:5.2 归纳定义
folder:13.1 图灵机
folder:13.3 停机问题
folder:4.3 自然推理系统
folder:4.2 谓词演算形式系统
folder:4.1 谓词公式
folder:8.2 连通性
folder:8.1 图的定义
folder:7.1 特殊关系
folder:7.2 函数
- 《离散数学》考点精讲 20讲
file:《离散数学》考点精讲11.flv
file:《离散数学》考点精讲 讲义.pdf
folder:《离散数学》考点精讲 20讲
- 离散数学
file:[1.14]--平面图【公益资源站kkzy.top】.mp4
file:[1.05]--谓词逻辑等值演算与推理【公益资源站kkzy.top】.mp4
file:[1.03]--命题逻辑的推理理论【公益资源站kkzy.top】.mp4
file:[1.08]--二元关系（2）【公益资源站kkzy.top】.mp4
file:离散数学【蜂考速成课】.pdf
file:[1.12]--欧拉图与哈密顿图【公益资源站kkzy.top】.mp4
file:答案13.png
folder:离散数学
folder:公众号【陈蛋蛋碎碎念】
- 计算概论与程序设计基础 - 北京大学
file:Playlist.dpl
file:8.3.2 课件.pdf
file:8.3.1 Goto之争.mp4
file:8.2.1 再谈循环语句.mp4
file:6.1.1 明确学习进度.mp4
file:6.4.1 C语言的构成.mp4
file:4.4.1 如果你来设计一门编程语言.mp4
file:4.6.1 快步走近C程序之二.mp4
file:4.9.1 配置编程环境（补充资料）下载安装和使用IDE.mp4
file:4.1.1 说在前面的话.mp4
file:4.8.1 什么样的程序是好程序.mp4
file:4.3.1 如果你的大脑是台计算机.mp4
file:4.2.1 程序是你告诉计算机的话.mp4
file:4.10.1 配置编程环境（补充资料）使用IDE进行调试.mp4
file:14.7.1 习题课二 较难 选听.mp4
file:14.5.1 数组与指针.mp4
file:14.2.1 什么是指针变量.mp4
file:14.4.1 指针变量的++---.mp4
file:14.3.1 指针变量示例.mp4
file:14.6.1 用指针访问数组.mp4
file:3.2.1 冯诺依曼式计算机.mp4
file:3.5.1 CPU指令的执行.mp4
file:3.1.1 问题的提出.mp4
folder:计算概论与程序设计基础 - 北京大学
folder:8 C语言中的控制成分
folder:6 理性认识C程序 导论
folder:4 感性认识计算机程序
folder:14 指针 —
folder:3 程序运行的基本原理
folder:5 从现实问题到计算机程序的
folder:13 函数的递归
folder:15 指针二
folder:11 C程序中的函数
folder:10 C程序中的字符串
folder:2 计算机的历史与未来
folder:12 C语言中的运算成分
folder:7 C 语言中的数据成分
folder:9 C程序中的数组
folder:17 结构体与链表
folder:1 计算机的基本原理
folder:19 最后一次课
folder:8.3 Goto之争
folder:8.2 再谈循环语句
folder:6.1 明确学习进度
folder:6.4 C语言的构成
folder:4.4 如果你来设计一门编程语言
folder:4.6 快步走近C程序之二
folder:4.9 配置编程环境（补充资料）下载安装和使用IDE
folder:4.1 说在前面的话
folder:4.8 什么样的程序是好程序
folder:4.3 如果你的大脑是台计算机
folder:4.2 程序是你告诉计算机的话
folder:4.10 配置编程环境（补充资料）使用IDE进行调试
folder:14.7 习题课二 较难 选听
folder:14.5 数组与指针
folder:14.2 什么是指针变量
folder:14.4 指针变量的++---
folder:14.3 指针变量示例
folder:14.6 用指针访问数组
folder:3.2 冯诺依曼式计算机
folder:3.5 CPU指令的执行
folder:3.1 问题的提出
folder:3.3 存储器的种类与特点
folder:3.4 存储器的原理与类型
folder:3.6 程序的执行
folder:5.2 先有构想再写程序
folder:5.1 没有解决方案就没有程序
folder:5.3 先有构想再写程序--示例
folder:5.4 体验结构化的程序--示例
folder:13.3 递归应用示例（切饼，斐波那契数列）
folder:13.5 递归应用示例（放苹果）【较难 选听】
folder:13.4 递归应用示例（进制转换，汉诺塔）
folder:13.2 递归调用的过程
folder:13.7 习题课一 枚举 模拟与递归
folder:13.1 如何理解递归
folder:13.6 递归应用示例（逆波兰表达式）【较难 选听】
folder:15.4 二维数组名引用示例
folder:15.1 字符串与指针
folder:15.5 利用指针遍历二维数组
folder:15.3 指向二维数组的指针
folder:11.2 函数的调用过程
folder:11.1 函数的定义与声明
folder:11.3 函数调用示例
folder:11.4 变量的作用域
folder:11.5 数组做函数参数
folder:10.1 字符数组与字符串
folder:10.3 一个字符的输入
folder:10.5 字符串应用例题
folder:10.2 输入缓冲区
folder:2.5 量子计算机的发展状态
folder:2.3 摩尔定律下的计算危机
folder:2.1 历史上的计算设备
folder:2.4 量子计算机的基本原理
folder:2.2 从电子管到云计算
folder:12.9 位运算
folder:12.7 逻辑运算与混合运算
folder:12.5 自增自减运算
folder:12.8 逗号，条件，强制类型转换
folder:12.3 赋值运算的说明
folder:7.8 字符型
folder:7.6 最大与最小整数
folder:7.10 常数
folder:7.4 整数型的存储
folder:7.7 浮点型
folder:7.5 整数的输入输出
folder:7.2 变量定义的含义
folder:7.11 变量命名
folder:7.9 布尔型
folder:7.1 再谈学习进度与安排
folder:9.3 三维数组
folder:9.4 数组的作用之一
folder:9.1 再谈一维数组
folder:17.3 结构体变量与指针
folder:17.4 链表的定义
folder:17.1 结构体与结构体变量
folder:16.1 指针做函数参数
folder:16.4 静态局部变量
folder:16.2 限制指针函数实参的功能
folder:16.3 指针做函数返回值
folder:1.2 图灵机的基本构成
folder:1.1 从数学危机到图灵机
folder:1.4 数的二进制表示
folder:1.3 图灵机的运行机理
folder:1.5 二进制数的布尔运算
folder:19.1 结语;轻叩面向对象之门
folder:19.2 编程工具的安装和使用：下载、安装和使用IDE
folder:19.3 说明 编程工具的安装和使用：使用IDE进行调试
- 4.3 人类生物学-陈守良-北京大学出版社.pdf
file:4.3 人类生物学-陈守良-北京大学出版社.pdf
- 3.2 脊椎动物比较解剖学（第二版）杨安峰，程红，姚锦仙.北京大学出版社.2008.pdf
file:3.2 脊椎动物比较解剖学（第二版）杨安峰，程红，姚锦仙.北京大学出版社.2008.pdf
- 04742通信概论
file:全国2016年4月自考《通信概论》试题及答案04742.doc
file:全国2014年10月高等教育自学考试通信概论试题04742.pdf
file:2017年4月自考通信概论04742试题及答案解析.part2.rar
file:2016年10月自考通信概论（04742）试题及答案解析.doc
- 03709马克思主义基本原理概论
file:赠送马克思主义基本原理概论 小抄.doc
file:马克思主义基本原理概论题集2.docx
file:马克思复习提纲2.doc
file:2.马克思主义基本原理概论复习重点2.doc
file:1.马克思主义基本原理概论知识点汇总3.docx
file:真题版2016年4月自学考试03709《马克思主义基本原理》试卷.docx
file:真题版2015年10月自学考试03709《马克思主义基本原理概论》历年真题.doc
- 计算机组成 - 北京大学
file:Playlist.dpl
file:8.2.1 中断向量表的结构.mp4
file:8.2.2 课件.pdf
file:8.6.1 基于中断的功能调用.mp4
file:8.1.1 中断和异常的来源.mp4
file:8.4.1 中断的处理过程.mp4
file:8.5.1 内部中断分类说明.mp4
file:4.1.1 乘法的运算过程.mp4
file:4.4.1 乘法器的优化2.mp4
file:4.6.1 除法器的实现.mp4
file:5.3.1 运算指令的控制信号.mp4
file:5.6.1 控制信号的集成.mp4
file:5.1.1 设计处理器的准备.mp4
file:5.2.1 数据通路的建立.mp4
file:3.1.1 算术运算和逻辑运算.mp4
file:3.3.1 寄存器的基本原理.mp4
file:3.4.1 逻辑运算的实现.mp4
file:3.5.1 加法和减法的实现.mp4
folder:计算机组成 - 北京大学
folder:8 中断与异常（Interruption and Exception）
folder:4 乘法器和除法器（Multiplier and Divider）
folder:5 单周期处理器（Single Cycle Processor）
folder:3 算术逻辑单元（Arithmetic Logic Unit）
folder:2 指令系统体系结构（Instruction Set Architecture）
folder:6 流水线处理器（Pipelined Processor）
folder:7 存储层次结构（Memory Hierarchy）
folder:9 输入输出接口（Input／Output System）
folder:1 计算机基本结构（Basic Components of a Computer）
folder:8.2 中断向量表的结构
folder:8.6 基于中断的功能调用
folder:8.1 中断和异常的来源
folder:8.4 中断的处理过程
folder:8.5 内部中断分类说明
folder:4.1 乘法的运算过程
folder:4.4 乘法器的优化2
folder:4.2 乘法器的实现
folder:5.3 运算指令的控制信号
folder:5.6 控制信号的集成
folder:5.1 设计处理器的准备
folder:5.2 数据通路的建立
folder:3.6 加法器的优化
folder:3.1 算术运算和逻辑运算
folder:3.3 寄存器的基本原理
folder:3.4 逻辑运算的实现
folder:3.2 门电路的基本原理
folder:3.5 加法和减法的实现
folder:2.5 MIPS体系结构
folder:2.3 x86指令简介
folder:2.6 MIPS指令简介
folder:2.1 设计自己的计算机
folder:2.2 x86体系结构
folder:2.4 复杂的x86指令举例
folder:6.2 流水线的优化
folder:6.1 流水线的基本原理
folder:6.5 数据冒险的处理
folder:6.3 超标量流水线
folder:7.4 主存技术的发展
folder:7.1 存储层次结构概况
folder:7.2 DRAM和SRAM
folder:7.3 主存的工作原理
folder:7.7 存储容量的计算
folder:7.6 高速缓存的设计要点
folder:7.5 高速缓存的工作
folder:9.3 输入输出的控制方式
folder:9.1 输入输出接口的基本功能
folder:9.6 直接存储器访问方式
folder:9.5 外部中断的处理过程
folder:9.2 输入输出接口的编址方式
folder:9.4 中断控制方式
folder:1.4 计算机结构的简化模型
folder:1.5 计算机执行指令的过程
folder:1.7 冯诺依曼结构和具体实现
folder:1.6 计算机输入和输出
folder:1.1 电子计算机的兴起
folder:1.2 冯诺依曼结构的要点
- 软件工程 - 北京大学
file:Playlist.dpl
file:18.1.1 软件测试的概念.mp4
file:18.3.2 白盒测试技术.pdf
file:18.2.2 软件测试过程模型和原则.pdf
file:7.2.1 接口设计.mp4
file:7.2.2 接口设计.pdf
file:7.1.2 初始模块结构图精化的启发式规则.pdf
file:23.4.1 软件再工程模型.mp4
file:23.5.1 逆向工程.mp4
file:23.5.2 逆向工程.pdf
file:23.1.2 软件维护的概念.pdf
file:23.3.2 程序修改.pdf
file:23.3.1 程序修改.mp4
file:23.2.1 软件维护活动.mp4
file:20.2.2 项目管理框架和要素.pdf
file:20.3.1 软件项目管理的概念.mp4
file:20.4.1 【补充】软件质量.pdf
file:20.1.2 项目管理的概念.pdf
file:1.1.2 软件的定义及特点.pdf
file:1.2.2 软件工程的起源和概念.pdf
file:1.5.1 补充材料－软件工程新视野.pdf
file:1.3.1 软件开发的本质和基本手段.mp4
file:1.4.2 软件工程框架.pdf
file:16.1.2 程序设计范型和面向对象编程语言的特点发展.pdf
file:16.2.1 如何选择编程语言.mp4
file:16.3.1 【补充】代码风格与编程规范.pdf
file:17.1.1 敏捷开发概述.mp4
file:17.4.1 Scrum模型.mp4
file:17.3.2 敏捷设计.pdf
file:17.3.1 敏捷设计.mp4
folder:软件工程 - 北京大学
folder:18 第九周：软件测试-1
folder:7 第四周：结构化设计方法-2
folder:23 第十二周（补充内容）：软件维护与再工程
folder:20 第十周：项目管理
folder:1 第一周：软件工程概论
folder:16 第八周：编码实现
folder:17 第八周：敏捷开发方法
folder:5 第三周：结构化分析方法
folder:9 第五周：UML-1
folder:13 第七周：面向对象分析
folder:21 第十周：CMM
folder:15 第八周：面向对象设计-2
folder:12 第六周：UML-4
folder:2 第一周：软件过程
folder:4 第二周：软件需求
folder:22 第十一周：软件开发工具与环境
folder:3 第一周：课程介绍
folder:18.1 软件测试的概念
folder:18.3 白盒测试技术
folder:18.2 软件测试过程模型和原则
folder:7.2 接口设计
folder:7.3 数据设计
folder:7.1 初始模块结构图精化的启发式规则
folder:23.4 软件再工程模型
folder:23.5 逆向工程
folder:23.1 软件维护的概念
folder:23.3 程序修改
folder:23.2 软件维护活动
folder:20.2 项目管理框架和要素
folder:20.3 软件项目管理的概念
folder:20.4 【补充】软件质量
folder:1.1 软件的定义及特点
folder:1.2 软件工程的起源和概念
folder:1.5 补充材料－软件工程新视野
folder:1.3 软件开发的本质和基本手段
folder:1.4 软件工程框架
folder:16.1 程序设计范型和面向对象编程语言的特点发展
folder:16.2 如何选择编程语言
folder:16.3 【补充】代码风格与编程规范
folder:17.1 敏捷开发概述
folder:17.4 Scrum模型
folder:17.2 极限编程
folder:5.6 【补充】需求验证
folder:5.4 需求规格说明书
folder:5.5 【补充】结构化分析案例
folder:5.2 结构化分析模型
folder:5.1 结构化分析方法的概念
folder:9.1 面向对象的概念
folder:9.2 UML的概念
folder:9.3 表达客观事物的术语——类
folder:13.4 识别对象之间的关系
folder:13.5 【补充】面向对象分析案例
folder:13.1 面向对象分析概述
folder:13.2 识别类
folder:13.3 识别属性和操作
folder:21.2 CMM的基本内容
folder:21.3 CMM五级标准
folder:21.4 ISO9000标准
folder:21.1 CMM概念及发展
folder:10.1 表达客观事物的术语——接口及其他
folder:10.3 表达关系的术语——关联
folder:10.2 控制复杂性的术语——包
folder:10.4 表达关系的术语——泛化、细化、依赖及如何使用
folder:15.1 人机交互部分的设计
folder:15.2 控制驱动和数据管理部分的设计
folder:12.3 UML总结
folder:12.2 状态图
folder:12.1 顺序图
folder:2.4 常见的软件生存周期模型
folder:2.3 软件生存周期模型的概念
folder:2.2 软件生存周期过程的分类
folder:4.5 需求规约的概念和格式
folder:4.4 需求发现
folder:4.2 需求的定义
folder:4.7 项目的需求及需求规约
folder:4.6 需求规约的作用
folder:22.3 常用的软件开发工具和环境
folder:22.1 软件开发工具及环境的定义
folder:22.2 工具集成模型
folder:22.4 补充材料-移动web软件分析与优化
folder:11.3 UML模型表达工具_动态建模——用况图
folder:11.1 UML的模型表达工具_概述
folder:14.3 如何进行问题域部分的设计
folder:14.2 问题域部分的概念
folder:3.2 课程简介
folder:3.1 课程宣传片
folder:6.4 【补充】总体设计案例
folder:6.2 初始模块结构图的设计
folder:6.3 初始模块结构图精化的原则
folder:6.1 结构化设计概念
folder:8.1 详细设计工具
folder:8.3 结构化方法总结
folder:8.2 软件设计规约
folder:8.4 【补充】软件设计评审
folder:19.2 软件测试的步骤