命题逻辑 命题逻辑的语言 真值指派 命题逻辑的一个推演系统 命题逻辑的可靠性定理与完全性定理 一阶逻辑和形式证明 一阶逻辑的语言的定义 一阶逻辑的一个公理系统 推理和元定理 一阶语言的结构 可定义性 同态和同构 ...

1. 判断句 2. 事物指示代词 3. 地点指示代词 4. 存在动词 5. 时刻 动词 6. 移动动词 7. 他动词 8. 授受动词 8.1. 总结 9. 形容词 10. 形容动词 11. 喜好 12. 比较句 12.1. . 13. 助数词 14. て形 15...

计算机组成原理与体系结构 数据的表示 计算机结构 Flynn分类法 CISC与RISC 流水线技术 存储系统 总线系统 可靠性分析 校验码 操作系统基础 进程管理 存储管理 文件管理 设备管理 ...

request模块 数据解析 模拟登录 异步爬虫 selenium scrapy框架 爬虫是模拟浏览器上网抓取数据。 通用爬虫是抓取系统的重要组成部分，抓取的是一整张页面数据；聚焦爬虫建立在通用爬虫的基础之上，抓取页面特定的局部内容；增量式爬虫检测网站中数据更新的情况，只会抓取网站中最新更新出来的数据。 反爬机制是门户网站通过制定相应的策略或技术手段，防止爬虫...

kotlin基础 变量 函数 函数基础 函数参数化 面向表达式编程 表达式语句 枚举类 when 区间表达式 infix表达式 ...

NumPy数组 ndarray 创建数组 形状与视图 索引、切片、高级索引 广播 迭代器 堆叠与分割 数组元素的修改 NumPy数组 ndarray NumPy提供了一个名为ndarray的多维数组对象。使用array()构造一个ndarray。 def a...

从C到C++ 命名空间 字面量 变量 从C而来的类型 语句 函数 数组 结构化绑定 初始化表列 字符串 C++特性（一） 指针和引用 指针和智能指针 引用 ...

复数与复变函数 复数的定义 复数的几何表示 扩充复平面 复平面上的拓扑 复变函数的极限和连续性 全纯函数 复变函数的导数 Cauchy-Riemann方程 初等全纯函数 指数函数 对数函数 ...

拓扑空间 度量空间 拓扑空间 邻域 导集,闭集,闭包,内部,边界 基 序列 子空间、积空间、商空间 子空间 有限积空间 商空间 连通性 连通空间 连通空间的应用 局部连通 ...

第一讲 随机事件与概率 古典概型 几何概型 重要公式求概率 用对立 用互斥 用独立 用条件 用不等式或包含 用最值 事件的独立性 一维随机变量及其...