为什么没有第二章的笔记呢？由于第二章全章都是在科普数学知识。

第二章 数学预备知识

翻译半天，我发现看这个课件 就可以了

  • 集结 Sets, 相关 Relations, and 函数 Fu笔记本电脑开机黑屏没反应怎么办nctions
  • 有序集结 Ordered S笔记本电脑怎么连wifiets
  • 序列 Sequences
  • 归纳法 Induction

第三章 算术表达式（笔记无类型）

介绍

这一章用到的编程言语只要一些简略的语法：

  • 布尔值 true 和 false
  • 条件表达式 if ... then ... else ...
  • 数字 0
  • 算术操作笔记本电脑符 next（标明加一） 和 prev（标明减一）
  • 判别操笔记作符 iszero

即：

ter笔记本m ::=
tr笔记ue
false
if term then term else term
next term
prev term
iszero term

在第八章之前，term 跟 expressi笔记本电脑开机黑屏没反应怎么办on 同义，就是表达式的意思。看看下面表达式你能不能了解：

if flase then 0 else笔记本电脑开机黑屏没反应怎么办 1;
> 1
iszero (prev (next 0));
> true
next(next笔记(next(0)笔记本电脑排名前十));
> 3

语法 Syntax

上面的 term ::= 表达式界说了这门言语的语法，但现在介绍另一种界说语法的方法。terms 的集结就是这样笔记本一个集结：

  1. {true,false,0}⊆T{true, false笔记本电脑性价比排行2020, 0} subseteq T
  2. if t1∈Tt_1 in笔记 T,then {nextt1,prevt1,iszerot1}⊆T{text{next } t_1, te笔记本电脑什么牌子好xt{prev } t_1, text{iszero } t1} subseteq T
  3. if t1∈Tt_1 in T, t笔记本电脑开不了机2∈Tt_2 in T, t3∈Tt_3 in T, then if t1t_1 then t2t_2 else t3t_3 ∈Tin T

上面的规则可以缩写成：

true∈Ttrue in T false∈Tfal笔记本电脑开不了机se in T 0∈T0 in T
t1∈Tnextt1∈Tfrac笔记本电脑性价比排行2020{t_1 in T}{text{next }t_1 in T} t1∈Tprevt1∈Tfrac{t_1 in T}{text{prev }t_1 in T} t1∈Tiszer笔记ot1∈笔记本电脑Tfrac{t笔记本电脑开不了机_1 in T}{text{iszero }t_1 in T}
t1∈T  t2∈T  t3∈Tift1thent2elset3∈Tfrac{t_1 in T; t_2 in T;t_3 in T}{te笔记本电脑开机黑屏没反应怎么办xt{if }t笔记本cpu天梯图_1 text{ then }t_2text{ else笔记本 }t_3 in T}

上面的规则还可以写成：

TAPL《类型和程序设计语言》第三章笔记

求值

TAPL《类型和程序设计语言》第三章笔记

上图的意思是：

  • v 求值毕竟得到 v
  • 假如 t1t_1 求值得到笔记本电脑 true，t2t_笔记2 求值得到 v2v_2，则 if t1t笔记本_1 then t2t_2 else t3t_3 求值得到 v2v_2
  • 以此类推

完。