2021 年 10月 31 日随笔档案 - minor_second

TCS学习笔记[1] 原始递归函数

摘要： 2 原始递归函数 2.1 原始递归函数 Q: 证明合成、原始递归保持可计算性的思路是什么？ A: 写一段$\mathscr S$程序计算相应函数。合成：顺序结构。原始递归：循环结构。（更具体地，用一个变量$Z$表示不断增长的$t$，$Z$每次+1，而$X_{n+1}$每次-1，当$X_{n-1} 阅读全文

posted @ 2021-10-31 16:12 minor_second 阅读(1292) 评论(0) 推荐(0)

TCS学习笔记[0] 程序设计语言S 可计算函数

摘要： 1 程序设计语言$\mathscr S$和可计算函数 1.1 预备知识 Q: 本节考察的函数和一般数学书中的函数有什么异同？ A: 把部分函数简称为函数（可能定义域中只有一部分有对应的函数值，其余无定义）注：处处无定义称为空函数。注：在本课程中，考虑的往往是$Nn\to N(其中N={0,1,\ 阅读全文

posted @ 2021-10-31 11:25 minor_second 阅读(447) 评论(0) 推荐(0)

TCS学习笔记简介

摘要：专栏简介与声明本专栏链接：https://www.cnblogs.com/minor-second/category/2053938.html 使用教材本专栏是《可计算性与计算复杂性导引》（第3版）个人复习博客系列。 ISBN: 9787301177686 专栏使用方法本专栏以一问一答的形式对阅读全文

posted @ 2021-10-31 04:31 minor_second 阅读(229) 评论(0) 推荐(0)

2021年10月31日