跳转至

Minimal Stack

从自然数到实数

正在初始化搜索引擎

ChenQiqian/learn-notes

计算机科学
编程与技术
数学基础
物理基础
实用工具

Minimal Stack

ChenQiqian/learn-notes

计算机科学
计算机科学
- 简介
- 系统学习计算机科学指北
- 自动机理论
  自动机理论
- 计算理论
  计算理论
  - P & NP & NP complete
- 算法
  算法
- 图论
  图论
- 数据库
  数据库
- 计算机网络
  计算机网络
  - Introduction
  - Application Layer
  - Transport Layer
  - Network Layer
    Network Layer
    
    Functions
    
    Data Plane
    
    Control Plane
  - Link Layer
- 操作系统
  操作系统
- 编译原理
  编译原理
- 软件分析与验证
  软件分析与验证
  - 简介
  - 基础知识
    基础知识
    
    基本概念
    
    命题逻辑
    
    一阶逻辑
    
    一阶理论
  - 程序语言
    程序语言
    
    IMP 程序语言
    
    霍尔证明系统
    
    深入理解循环
    
    数组扩展
  - 机械程序验证
    机械程序验证
    
    最弱前置条件
    
    过程拓展与基本路径
    
    程序终止性
    
    循环不变式
  - 自动程序验证
    自动程序验证
    
    程序的自动机表示
    
    最强后置条件
    
    基于自动机的程序验证
- 人工智能导论
  人工智能导论
- 密码学
  密码学
  - Introduction
  - Symmetric Encryption
    Symmetric Encryption
    
    Basic Concepts
    
    Classical Cipher
    
    Stream Cipher
    
    Block Cipher
    
    Mode of Operations
  - Integrity
    Integrity
    
    Hash Function
    
    Message Authentication Code
    
    Password Hashing
  - Public-key Systems
    Public-key Systems
    
    Basic Concepts
    
    RSA, Diffie-Hellman, Elgamal & Elliptic Curve
    
    Digital Signature
  - Application
    Application
    
    Key Management
    
    TLS & SSH
    
    Bitcoin
    
    Zero Knowledge
- 量子计算
  量子计算
  - 简介
  - Clifford 电路
- 论文阅读
  论文阅读
  - Graph Mining
    Graph Mining
    
    AutoMine
  - Quantum Computing
    Quantum Computing
    
    Pattern Matching for QCO
    
    Automated Optimization for large scale QC
    
    Quantum fan-out
  - GNN
    GNN
    
    Summary
    
    Graph Neural Network
    
    ROC
    
    GNNAutoScale
    
    P3
    
    GNNAdvisor
- 工具
  工具
  - 正则表达式
编程与技术
编程与技术
- 简介
- Git & GitHub
- C++
  C++
  - 简介
- CUDA
  CUDA
- ANTLR
- CMake
- Thrift
- Web 前端技术
  Web 前端技术
  - 简介
  - HTML
- Vue.js
  Vue.js
  - 简介
  - 开发工具
- MkDocs
- Flask
- Conda
- IDE
  IDE
  - JetBrains
数学基础
数学基础
- 简介
- 微积分(1)
  微积分(1)
- 数理逻辑
  数理逻辑
  - 命题逻辑
  - 谓词逻辑
- 代数
  代数
  - 集合论
    集合论
    
    简介
    
    集合论基础
    
    关系
    
    函数
    
    序数
  - 代数结构基础
- 线性代数
  线性代数
- 复变函数
  复变函数
- 概率论
  概率论
  - 简介
  - 事件、概率
  - 随机变量
    随机变量
    
    随机变量的定义
    
    常见随机变量分布
    
    随机变量的数字特征
  - 应用
    应用
    
    概率不等式
    
    极限定理与估计
  - 作业题选摘
  - 习题课选摘
- 随机过程
  随机过程
  - 简介
  - 题目选摘
物理基础
物理基础
- 电磁学
  电磁学
- 光学
  光学
  - 干涉
  - 衍射
  - 偏振
- 量子物理
  量子物理
- 电子学
  电子学
  - 数字电路
    数字电路
    
    组合逻辑电路
    
    时序逻辑电路
实用工具
实用工具
- 简介
- 文献工具

第一章：从自然数到实数¶

2024-02-08 03:29:24 2024-02-08 03:29:24

Made with Material for MkDocs