1400、数学建模:课程汇总
返回:本科课程:疾风计划
1、课程定位数学建模更像一套综合表达能力:从问题描述出发,选择模型、处理数据、验证结果,并把过程写成可以被别人理解的论文。它适合后续连接 AI、数据分析和复试项目表达。
2、学习目录
模块
内容
复盘重点
建模流程
问题分析、假设、变量、模型
训练结构化思考
优化模型
线性规划、整数规划、约束优化
连接决策问题
评价模型
层次分析、TOPSIS、熵权法
处理多指标评价
预测模型
回归、时间序列、机器学习基础
连接数据分析
论文表达
摘要、图表、结果解释
训练可展示成果
3、后续补充后面补建模题目、代码、图表模板和论文复盘。
1300、复变函数:课程汇总
返回:本科课程:疾风计划
1、课程定位复变函数是进一步理解工程数学、信号处理和某些分析方法的基础。对博客来说,这部分先做框架整理,不作为近期重点深挖内容。
2、学习目录
模块
内容
复盘重点
复数与复平面
复数运算、几何意义
建立复平面直觉
解析函数
C-R 条件、初等函数
理解解析性的约束
复变积分
Cauchy 积分定理与公式
抓住核心定理
级数
Taylor、Laurent 展开
理解局部展开
留数
留数定理、积分计算
掌握典型计算方法
3、后续补充后面补公式、典型题和它与信号、控制、工程数学之间的关系。
1200、数值分析:课程汇总
返回:本科课程:疾风计划
1、课程定位数值分析关注“计算机如何近似求解数学问题”。它把数学公式、误差控制和程序实现联系起来,适合后续做建模、仿真、数据分析和工程计算复盘。
2、学习目录
模块
内容
复盘重点
误差分析
舍入误差、截断误差、稳定性
理解数值计算的可靠性
插值与拟合
Lagrange、Newton、最小二乘
连接数据建模
方程求解
二分、Newton、迭代法
理解近似求根
线性方程组
Gauss 消元、迭代法
服务矩阵计算
数值积分
梯形、Simpson、误差估计
连接工程计算
3、后续补充后面补算法步骤、代码实现、误差分析和数学建模中的应用案例。
1100、概率论与数理统计:课程汇总
返回:本科课程:疾风计划
1、课程定位概率论与数理统计连接不确定性、数据分析和模型评估。它既是考研数学内容,也是 AI、异常检测、日志分析和安全数据处理的重要基础。
2、学习目录
模块
内容
复盘重点
随机事件
概率、条件概率、独立性
建立概率语言
随机变量
分布函数、离散与连续分布
理解数据生成方式
数字特征
期望、方差、协方差
连接统计描述
大数定律与中心极限定理
极限定理、近似
理解统计推断基础
参数估计与假设检验
估计、置信区间、检验
服务数据分析和实验评估
3、后续补充后面补公式推导、典型题、统计实验和它在 AI/安全数据分析中的使用方式。
1000、线性代数:课程汇总
返回:本科课程:疾风计划
1、课程定位线性代数是矩阵计算、机器学习、图算法、数据分析和考研数学的重要基础。复盘时要把计算题和空间直觉结合起来。
2、学习目录
模块
内容
复盘重点
行列式
性质、展开、计算
掌握基本计算和判别
矩阵
运算、逆矩阵、秩
理解线性变换
向量空间
线性相关、基、维数
建立空间视角
线性方程组
解的结构、齐次与非齐次
连接矩阵和方程
特征值与二次型
特征向量、相似、正定
服务 AI 和优化理解
3、后续补充后面补题型归纳、错题、矩阵分解和机器学习中的对应应用。
0900、高等数学:课程汇总
返回:本科课程:疾风计划
1、课程定位高等数学是考研数学和后续工程建模的主干。复盘时重点抓住极限、微分、积分、级数、微分方程和多元函数之间的连续关系。
2、学习目录
模块
内容
复盘重点
极限与连续
数列极限、函数极限、连续性
建立分析基础
一元微分
导数、微分、中值定理
连接变化率和证明
一元积分
不定积分、定积分、反常积分
训练计算和应用
级数
数项级数、幂级数、泰勒展开
理解近似和展开
多元函数
偏导、重积分、曲线曲面积分
服务建模和物理直觉
3、后续补充后面补考研题型、错题、公式推导和常见解题套路。
Chap24 一阶谓词逻辑
返回:0100 离散数学课程总目录 · 上一章:0123 命题逻辑
1、学习目标命题逻辑只把整句话看成真假对象,一阶谓词逻辑继续拆开句子内部结构:对象、性质、关系、函数、量词和变元。
本章主线:
1234567一阶语言:规定什么是项,什么是公式。自由/约束变元:判断量词到底管住了谁。NL:自然推演系统,在 N 上增加量词规则。KL:形式系统,在 P 上增加量词公理。解释与赋值:给公式一个语义世界。可靠性与和谐性:可证和真之间的关系。期末题:用证明、反例解释和语义证明收束全章。
Auto_Tutor 中本章资料包括 24.1-24.8 课件、期末考试 和 期末考试答案。下面的“期末题答案”按试卷题号 1-7 整理。
2、一阶谓词逻辑在做什么命题逻辑的基本单位是命题变元:
12p: 小王是学生q: 小王会 C++
一阶谓词逻辑把命题继续拆成:
1234对象:小王、张三、某个自然数谓词:是学生、会 C++、小于、相等函数:父亲、后继、加法、乘法量词:所有、存在
例如:
12345所有学生都会 C++。forall x (Student(x) -> Cpp(x))存在一个学 ...
0800、数据库系统原理与开发:课程汇总
返回:本科课程:疾风计划
1、课程定位数据库系统把数据建模、存储、查询、事务和开发实践连接起来。它既服务课程项目,也和 Web 安全、SQL 注入、权限配置、日志审计等网络安全方向有关。
2、学习目录
模块
内容
复盘重点
关系模型
表、键、约束、范式
理解数据如何被规范组织
SQL
查询、连接、聚合、子查询
训练数据查询表达
索引与优化
B+ 树、索引选择、执行计划
理解性能和存储结构
事务
ACID、并发控制、恢复
理解一致性和可靠性
数据库开发
设计、接口、权限、备份
连接项目和安全配置
3、后续补充后面补 ER 图、SQL 题、数据库课程项目、SQL 注入与安全配置复盘。
Chap23 命题逻辑
返回:0100 离散数学课程总目录 · 上一章:0122 包含排斥、Burnside 引理与 Polya 定理 · 下一章:0124 一阶谓词逻辑
1、学习目标本章进入数理逻辑。组合数学里我们在“数对象”,命题逻辑里我们开始“数真假、管推理”:把自然语言命题符号化,再判断公式真假、推理是否有效、证明系统是否可靠和完备。
主线:
12345678命题与联结词:把句子翻译成公式。真值表:逐个赋值检查公式真假。联结词完全集:哪些联结词足以表达所有真值函数。推理形式:前提都真时结论必真。自然推演 N:接近日常证明。形式系统 P:公理模式 + MP 的证明机器。等值演算与范式:把公式化成便于判断的形态。可靠性、和谐性、完备性:连接语义真与形式可证。
本章没有常规“023 习题”文件,Auto_Tutor 中对应的是 23期中考试 与 23期中考试答案。下面的“测验答案”按试卷题号 1-6 整理。
2、命题与联结词命题是有确定真假的陈述句。
不是命题的典型句子:
1234疑问句:8 大于 10 吗?祈使句:请勿吸烟!含自由变元的句子:x 大于 y。悖论式句子:我正在撒谎。
命题逻辑把命 ...
0700、编译原理:课程汇总
返回:本科课程:疾风计划
1、课程定位编译原理解释高级语言如何变成可执行程序。短期目标是建立“词法、语法、语义、中间代码、优化、目标代码”的整体框架,长期可以服务程序分析、代码审计和自动化工具理解。
2、学习目录
模块
内容
复盘重点
词法分析
正则、自动机、Token
理解源码如何被切分
语法分析
文法、推导、分析树
理解程序结构如何被识别
语义分析
类型检查、符号表
理解程序约束和上下文
中间代码
三地址码、控制流
连接优化和目标代码
优化与生成
局部优化、寄存器、目标代码
建立编译后端概念
3、后续补充后面补课程实验、简易解释器/编译器示例,以及它和代码安全分析之间的关系。

