计算模型导引复习
计算模型导引2018复习
罗小米
Spring 2018
一 递归函数1.1 数论函数（P1）本源函数$\mathcal{IF}$：
零函数Z
后继函数S
投影函数$P^n_i$
1.2 配对函数（P7）配对函数：设$pg(x,y):\mathbb{N}^2\rightarrow\mat
...
Hello World
发表于
|
更新于
|
分类于
Hello World
Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in
...