Lutienpeist重开的计算机生活

3_归纳定义

Lutienpeist重开的计算机生活

lulunote

封面
CS自学指南
CS自学指南
- 前言
- Chap1-Crash Course Computer Science
  Chap1-Crash Course Computer Science
- Chap2-The Missing Semester of Your CS Education
  Chap2-The Missing Semester of Your CS Education
- Chap3CS70
  Chap3CS70
  - 0
- tool
  tool
  - intro
  - git
  - mine
ZJU Courses
ZJU Courses
- 前言
- CSbasic
  CSbasic
  - FDS
    FDS
    
    qianyan
    
    图
    
    基础知识
    
    排序
    
    树
    
    线性结构
    
    题目
  - DD
    DD
    
    Note
  - ADS
    ADS
    
    前言
    
    春学期笔记
    春学期笔记
    
    Lecture
    Lecture
    
    1
    
    2
    
    3
    
    4
    
    5
    
    6
    
    7
    
    8
    
    夏学期笔记
    夏学期笔记
    
    9
    
    10
    
    11
    
    12
    
    13
    
    14
    
    15
    
    数据结构复习
    数据结构复习
    
    0_AMOZIZE
    
    1_AVL&SPLAY
    
    2_RBT&B+
    
    3_FIle
    
    4_HEAP
    
    5_QUEUE
    
    midTerm
    
    pta
    
    数据结构待实现清单
    
    期中知识点
    
    算法分析复习
    算法分析复习
    
    6-AA
    
    7-AA2
    
    作业复习
  - CO
    CO
    
    前言
    
    春学期笔记
    春学期笔记
    
    lecture
    lecture
    
    1+2.1
    
    2.2
    
    3
    
    4.1
    
    4.2
    
    5
    
    6
    
    7
    
    8.2
    
    8
    
    review
    review
    
    1
    
    2.1
    
    2.2
    
    2.3
    
    2.4
    
    2.5
    
    2.6
    
    3
    
    4.1
    
    4.2
    
    4.3
    
    4.4
    
    4.5
    
    graphic
    
    hw
    
    mid
    
    夏学期笔记
    夏学期笔记
    
    Lecture
    Lecture
    
    9
    
    10
    
    11
    
    12.1
    
    12.2
    
    13
    
    14.1
    
    Review
    Review
    
    5.1
    
    5.2 cahce
    
    5.3
  - DBS
    DBS
    
    前言
    
    春学期课堂笔记
    春学期课堂笔记
    
    1
    
    2
    
    3
    
    4
    
    5
    
    6
    
    7
    
    8
    
    夏学期课堂笔记
    夏学期课堂笔记
    
    9
    
    10
    
    11
    
    12
    
    13
    
    14
    
    15
    
    复习笔记
    复习笔记
    
    1
    
    2
    
    3
    
    3.5
    
    3.75
    
    4
    
    5
    
    6
    
    7
    
    8
    
    9
    
    10
    
    11
    
    题目
    
    JDBC
    JDBC
    
    1
    
    lab5
  - OOP
    OOP
    
    前言
    
    Note
    Note
    
    2- Using Objects
    2- Using Objects
    
    Chap1
    
    Const
    
    DMA
    
    File
    
    Reference
    
    String
    
    3-Class
    3-Class
    
    Makefile
    
    Object
    
    4-Object Interactive
    4-Object Interactive
    
    C'tor and D'tor
    
    6-Copy Ctor
    6-Copy Ctor
    
    1
    
    Const
    
    hobbitQia
    hobbitQia
    
    1-string&DM
    
    2-Class
    
    3-container
    
    4-Functions
    
    pta题目记录
    
    翁恺班作业记录
- CSfurther
  CSfurther
  - ARCH
    ARCH
    
    前言
    
    note
    note
    
    1
    
    2
    
    quiz
    
    LAB
    LAB
    
    lab1_支持RV32I指令集的流水线CPU
  - CN
    CN
    
    前言
    
    note
    note
    
    1
    
    1.1
    
    2
    
    3
    
    3.1
  - OS
    OS
    
    前言
    
    note
    note
    
    1
    
    2
    
    2.1
    
    3
    
    4
    
    5
    
    LAB
    LAB
    
    doc
    doc
    
    exp
    
    lab0
    
    lab1
    
    note
    note
    
    lab0
    
    lab1
    
    lab1_Makefile
    
    lab1_riscv
    
    lab1_src
  - PPL
    PPL
    
    前言
    
    1_lambda演算
    
    2_AST
    
    3_归纳定义 3_归纳定义
    Table of contents
    
    ⾃然数归纳法
    
    推理规则
    
    规则归纳rule induction
    
    例子
    
    4_静态与动态语义
  - SSEC
    SSEC
    
    前言
    
    note
    note
    
    stack
    
    1
    
    2
    
    2.1
    
    2.2
    
    LAB
    LAB
    
    note
    note
    
    Ethereum
    
    IDA
    
    0
    
    doc
    doc
    
    0
    
    1
- math
  math
  - shufen1
    shufen1
    
    不要忘记反证法
  - 数学分析Ⅱ(H)
  - 线性代数Ⅱ(H)
  - 概率论与数理统计
  - 离散数学(CKC)
    离散数学(CKC)
    
    课堂规则
    
    Lecture
    Lecture
    
    1
    
    2
    
    3
    
    4
    
    5
    
    6
    
    7
    
    8
    
    9
    
    10
    
    Review
    Review
    
    1
    
    2
    
    3
    
    4
    
    5
    
    6
    
    7
    
    题目
    
    题目2
    
    题目3
    
    题目4
    
    各种运算律
    
    小测1
    
    小测2
    
    题目
  - TOC
    TOC
    
    1
    
    2
    
    2.1
    
    2.2
- 其它有意思的课程
  其它有意思的课程
  - 无线网络应用
  - 马原
  - 宏观经济学
    宏观经济学
    
    前言
    
    note
    note
    
    1
    
    2
    
    2.1
Programming Language
Programming Language
- C++ Programming Tutorial
  C++ Programming Tutorial
  - Introduction
  - Basics
  - More Basics
  - OOP in C++
  - gccmake
  - reference
- Java
  Java
  - 基本语法
  - 编译逻辑
- Python
  Python
  - Introduction
  - Basics
SRTP
SRTP
- index
- 机器学习科普
  机器学习科普
  - DL
  - ML_algr
  - ML_index
  - ML_method
- Intro to Large Language Models
  Intro to Large Language Models
  - chap1
- 文献阅读
  文献阅读
  - 2302.12173v2
English
English
- Vocabulary
  Vocabulary
  - sentence
  - word
- Writing
  Writing
  - sentence
  - word
更新日志
更新日志
- 更新日志

Inductive Definition

:material-circle-edit-outline: 约 105 个字

抽象语法树与归纳法 - 鹤翔万里的笔记本 (tonycrane.cc)

2024年10月9日14点53分

⾃然数归纳法

判断（judgment）：关于某种类别的⼀棵或多棵abt的陈述

规则（rule）：规定了⼀个判断有效的充要条件，因此也就决定了这个判断的含义

Inductive Definition

⾃然数归纳法

推理规则

规则归纳rule induction

例子