- 계산,computation . . . . 9 matches
general_recursive_function https://en.wikipedia.org/wiki/General_recursive_function // 아래에
general_recursive_function
https://en.wikipedia.org/wiki/General_recursive_function
이것은 [[부분함수,partial_function]]. 이것이 [[total_function]]이면 '''total recursive function''' = total_recursive_function 이 되며, 가끔 그냥 '''recursive function''' = recursive_function 으로 줄여 부름. "(sometimes shortened to recursive function)"
// MKL [[재귀함수,recursive_function]]
[[primitive_recursive_function]] { primitive recursive function 원시재귀함수 (wk) https://ko.wikipedia.org/wiki/원시_재귀_함수 https://en.wikipedia.org/wiki/Primitive_recursive_function Ndict:"원시재귀함수" Ggl:"원시재귀함수" Ndict:"primitive recursive function" Ggl:"primitive recursive function" }
- 재귀,recursion . . . . 6 matches
[[재귀함수,recursive_function]]
=재귀함수,recursive_function 재귀함수,recursive_function 재귀함수 recursive_function Srch:재귀함수 Srch:recursive_function
WtEn:recursive_function
- 함수,function . . . . 6 matches
recursive_function =,recursive_function .
http://www.aistudy.com/computer/recursive_function.htm
https://en.wikipedia.org/wiki/Recursive_function - disambig
"a computable partial function from natural numbers to natural numbers"[* WpEn:Recursive_function]
"a function which can be computed with loops of bounded length"[* WpEn:Recursive_function]
- 알고리듬,algorithm . . . . 4 matches
'''계산가능성이론,computability_theory''' - 재귀이론 recursion_theory 재귀함수이론 재귀함수론([[https://terms.naver.com/entry.naver?docId=5668934&cid=60207&categoryId=60207 수학백과: 재귀함수론]]) recursive_function_theory
Rel. [[재귀,recursion]] [[재귀함수,recursive_function]]
[[계산가능함수,computable_function]] - 재귀함수 재귀가능함수? [[재귀함수,recursive_function]]
https://wiki.haskell.org/Recursive_function_theory
- 경우,case . . . . 2 matches
[[recursive_function]]
[[recursive_function_definition]]
- 계산가능함수,computable_function . . . . 1 match
[[재귀함수,recursive_function]] - spellchk ; rel [[재귀,recursion]]
- 아커만_함수,Ackermann_function . . . . 1 match
[[total_computable_function]]이지만 [[primitive_recursive_function]]은 아닌 함수.
- 재진입성,reentrancy . . . . 1 match
[[재귀함수,recursive_function]]
- 최소 . . . . 1 match
Adding the '''μ-operator''' to the [[primitive_recursive_function]]s makes it possible to define all [[computable_function]]s." // Ndict:계산가능함수 Ggl:계산가능함수 ?
Found 9 matching pages out of 2018 total pages
You can also click here to search title.