Difference between r1.16 and the current
@@ -162,6 +162,10 @@
''언젠 또 iterative와 동의어였던것갈은데 뭐였지... [[반복,iteration]]''
''이것 정리 tbw''
= Cmp =
recurrence - [[recurrence]] - [[리커런스,recurrence]]
저것도 재귀로 번역되기도 하는데
''이것 정리 tbw''
https://en.wikipedia.org/wiki/Mathematical_logic#Recursion_theory
"Recursion theory, also called computability theory, studies..."
[[recursion_theory]] = [[computability_theory]] 동의어.
recurrence - [[recurrence]] - [[리커런스,recurrence]]
저것도 재귀로 번역되기도 하는데
Contents
- 1. Sub
- 1.1. recursive call 재귀호출
- 1.2. recursive function 재귀함수
- 1.3. recursive definition 재귀적 정의
- 1.4. head_recursion vs tail_recursion
- 1.5. recursion theorem
- 1.6. ADDHERE (SUB pages of recursion)
- 1.7. ADDHERE (SUB pages of recursion)
- 1.8. ADDHERE (SUB pages of recursion)
- 1.9. ADDHERE (SUB pages of recursion)
- 1.10. ADDHERE (SUB pages of recursion)
- 2. 관련표현
- 3. 동의어
- 4. Cmp
- 5. Twin
1.1. recursive call 재귀호출 ¶
재귀호출,recursive_call - 호출,call
=재귀호출,recursive_call =,recursive_call 재귀호출 recursive_call
recursive_call
재귀호출
{
=재귀호출,recursive_call =,recursive_call 재귀호출 recursive_call
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
{
1.2. recursive function 재귀함수 ¶
재귀함수,recursive_function
=재귀함수,recursive_function 재귀함수,recursive_function 재귀함수 recursive_function
재귀함수
recursive_function
{
=재귀함수,recursive_function 재귀함수,recursive_function 재귀함수 recursive_function
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
{
1.3. recursive definition 재귀적 정의 ¶
recursive_definition =,recursive_definition =,recursive_definition . recursive_definition
{
recursive definition
재귀정의? 재귀적정의?
{
recursive definition
재귀정의? 재귀적정의?
1.4. head_recursion vs tail_recursion ¶
head_recursion
tail_recursion
"head recursion tail recursion"
head recursion tail recursion
head recursion tail recursion
tail_recursion
"head recursion tail recursion"
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
QQQ 머리재귀에 비해 꼬리재귀는 컴파일러가 최적화할 수 있어 더 효율적? 항상? CHK
1.4.2.1. 꼬리재귀 최적화 ¶
PAGENAME TBD
"tail recursion elimination optimization"
tail recursion elimination optimization
tail recursion elimination optimization
tail recursion elimination optimization
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
2. 관련표현 ¶
self-definition ? 이런게있나? recursive_definition 과 차이가 있다면? 같은건지?
self-definition
self-definition recursive definition
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
사실 self 뭐뭐 이건 모두 재귀와밀접한데...
3. 동의어 ¶
계산가능성 얘기할 땐, recursive = computable 동의어.
mathematical_induction (VG: 수학적귀납법,mathematical_induction) 얘기할 땐, recursive = inductive 동의어.
언젠 또 iterative와 동의어였던것갈은데 뭐였지... 반복,iteration
이것 정리 tbw
mathematical_induction (VG: 수학적귀납법,mathematical_induction) 얘기할 땐, recursive = inductive 동의어.
언젠 또 iterative와 동의어였던것갈은데 뭐였지... 반복,iteration
이것 정리 tbw
https://en.wikipedia.org/wiki/Mathematical_logic#Recursion_theory
"Recursion theory, also called computability theory, studies..."
recursion_theory = computability_theory 동의어.
recursion_theory = computability_theory 동의어.