Skip to content

Notes Archive

Introduction

Notes Archive

Notes Archive
Better Living
Better Living
- Amazing Places
  Amazing Places
  - 武汉
  - 郑州
- Cooking
  Cooking
  - 一些简单的菜
- Feelings
  Feelings
Computer Science
Computer Science
- 计算机科学部分
- CS intro
  CS intro
  - Draft Text
    Draft Text
    
    C语言基础A: 使用函数建立抽象
    
    可以直接从U盘启动的系统
    
    证明(MCS)
    
    使用Scratch表达逻辑
  - Final text
    Final text
    
    Lab1
- Comp Ntwk
  Comp Ntwk
- Comp Theory
  Comp Theory
  - Intro comp
    Intro comp
    
    2. Finite Automata and Regex expression
- Intro Algo Ds
  Intro Algo Ds
  - Algorithms
    Algorithms
    
    《数据结构和算法》引言
    
    01 c revise
    
    02. 一些常见的算法
    
    03. 递归算法
    
    04. 栈, 递归, 回溯
    
    05. 队列, 堆和优先队列
    
    06. 二叉搜索树
    
    07. 平衡的二叉搜索树: AVL树
    
    08. 平衡的二叉搜索树: 2-4树, 红黑树
    
    09. 动态规划算法
    
    10. 字符串匹配
    
    11. Hash 表
    
    Exercises
    Exercises
    
    练习问题: 二叉搜索树
    
    Figures
    Figures
    
    List of the figures
- Math For CS
  Math For CS
  - AofA
    AofA
    
    Ch1 Introduction
    Ch1 Introduction
    
    Quicksort Example
    
    Recurrence Relations
    
    Divide and Conquer and Mergesort
    
    Master Theorem
    
    Ch2 Generating funcs
    Ch2 Generating funcs
    
    Ordinary Generating Functions
    
    Solving recurrences
    
    Catalan Numbers
    
    Exponential Generating function
    
    Ch3 Asymptotic approx
    Ch3 Asymptotic approx
    
    Standard scale
    
    Manipulating Expansions
    
    Asymptotics of Finite Sums
    
    Bivariate Asymptotics
    
    Ch4 Symbolic Method
    Ch4 Symbolic Method
    
    The Symbolic Method
    
    Labelled objects
  - CMath
    CMath
    
    Ch2 Sums
    Ch2 Sums
    
    Summations
    
    Ch3 Floors and Ceilings
    Ch3 Floors and Ceilings
    
    Exercises
    
    Basic Concepts
    
    Solving Recurrences
    
    Mod: The Binary Op
    
    Ch4 Divisibility
    Ch4 Divisibility
    
    Divisibility
- Operating System
  Operating System
- Software Foundations Vol 1
  Software Foundations Vol 1
  - Introduction
  - Functional Programming basics(basics.v)
- Task Scheduling
  Task Scheduling
  - Reading
    Reading
    
    Paper1
    
    Paper2
    
    Imitation Learning Enabled Task Scheduling for Online Vehicular Edge Computing
    
    模型
    
    模拟环境
Maths
Maths
- 数学部分
- Analysis
  Analysis
  - 《数学分析》阅读笔记
  - Real Ana Sheldon Axler
    Real Ana Sheldon Axler
    
    1 measure
    
    outer measure on R
  - Zorich Math Analysis
    Zorich Math Analysis
    
    2.1 实数的一些计算问题
    
    2.2 与实数集的完备性有关的基本引理
    
    2.3 可数集和不可数集
    
    3.1 数列的极限
    
    3.2 函数的极限
    
    4.1 连续函数的基本定义和例子
    
    4.2 连续函数的性质
    
    5.1 可微函数
    
    5.5 复数. 初等函数之间的相互联系
- Linear Algebra
  Linear Algebra
  - Linear Algebra Adv
    Linear Algebra Adv
    
    1. 多项式
    
    4. 线性空间
    
    5. 线性变换
    
    8. 双线性函数与二次型
- Optimization
  Optimization
  - Opt model intro
    Opt model intro
    
    Chapter 2. Vector and functions
- Probability
  Probability
  - 概率论及其应用(2023 Fall)
- RandP
  RandP
  - Tmp

Introduction

This page is mainly for taking notes on what's the theorem used for the Proof assistant.