递归函数论造句

例句与造句

1. 或称递归函数论，对20世纪40年代现代计算机设计思想的形成产生过影响。
2. 30年代前期，K.哥德尔和S.C.克林尼等人创立了递归函数论，将数论函数的算法可计算性刻划为递归性。
3. 例如，LISP语言是为处理人工智能中大量出现符号编程问题而设计的，它的理论基础是符号集上的递归函数论。
4. 方面数学地精确地描述了直观的机械过程，推动了递归函数论的研究，为数理逻辑发展的第三阶段准备了条件。
5. 1936年，丘奇、A.M.图林各自独立地提出一个论点，即凡可计算的函数都是一般递归函数，这就把递归函数论与能行性论紧紧地结合起来，从而使递归函数的应用范围大大地扩展了（见能行性与一般递归）。
6. 用递归函数论造句挺难的，這是一个万能造句的方法
7. 《离散数学概念题解与自测》包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章内容。