Rekursi: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
k Bot: Penggantian teks otomatis (-Pranala Luar +Pranala luar)
k Robot: Perubahan kosmetika
Baris 2:
{{Refimprove|date=June 2012}}
 
[[ImageBerkas:Droste.jpg|thumb|Suatu bentuk rekursi yang dikenal dengan ''[[Efek Droste]]''. Wanita dalam gambar ini memegang suatu objek yang memiliki gambar kecil-nya yang memegang objek yang identik, yang juga memiliki gambar kecil dirinya sendiri yang memegang objek yang identik, dan seterusnya.]]
 
'''Rekursi''' adalah proses pengulangan sesuatu dengan cara [[kesamaan-diri]].
Baris 13:
== Definisi formal dari rekursi ==
 
[[FileBerkas:Screenshot Recursion via vlc.png|thumb|Rekursi dalam program perekaman layar, dengan suatu jendela paling kecil mengandung foto keseluruhan layar.]]
 
Dalam [[matematika]] dan [[ilmu komputer]], kelas dari objek atau metode memperlihatkan perilaku rekursif bila mereka dapat didefinisikan oleh dua properti berikut:
Baris 120:
== Rekursi dalam matematika ==
 
[[FileBerkas:Sierpinski triangle.svg|right|thumb|250px|[[Segitiga Sierpinski]]—sebuah rekursi terbatas dari segitiga membentuk suatu [[jeruji]] geometris.]]
 
=== Himpunan yang didefinisikan secara rekursif ===
Baris 132:
 
:0 ada dalam <math>\mathbb{N}</math>
:jika ''n'' ada dalam <math>\mathbb{N}</math>, maka ''n'' + 1 ada dalam <math>\mathbb{N}</math>
:Himpunan dari bilangan asli adalah himpunan terkecil yang memenuhi dua properti sebelumnya.
 
Baris 240:
{{col-begin}}
{{col-break}}
* [[Rasio Golden]]: <math>\phi = 1 + (1/\phi) = 1 + (1/(1 + (1/(1 + 1/...))))</math>
* [[Faktorial]]: <math>n! = n (n - 1)! = n (n - 1)\cdots 1</math>
* [[Bilangan Fibonacci]]: <math>f (n) = f (n - 1) + f (n - 2)</math>
* [[Bilangan Catalan]]: <math>C_0=1</math>, <math>C_{n+1} = (4n+2)C_n/(n+2)</math>
* Perhitungan [[suku bunga]]
* [[Menara Hanoi]]
* [[Fungsi Ackermann]]
{{col-end}}
 
Baris 252:
 
* {{cite journal|first=Edsger W.|last=Dijkstra|authorlink=Edsger W. Dijkstra|title=Recursive Programming|journal=Numerische Mathematik|volume=2|issue=1|year=1960|pages=312&ndash;318|doi=10.1007/BF01386232}}
* {{cite book|author=Johnsonbaugh, Richard|title=Discrete Mathematics|publisher=Prentice Hall|year=2004|isbn=0-13-117686-2 }}
* {{cite book|author=Hofstadter, Douglas|title=Gödel, Escher, Bach: an Eternal Golden Braid|publisher=Basic Books|year=1999|isbn=0-465-02656-7 }}
* {{cite book|author=Shoenfield, Joseph R.|title=Recursion Theory|publisher=A K Peters Ltd|year=2000|isbn=1-56881-149-7 }}
* {{cite book|author=Causey, Robert L.|title=Logic, Sets, and Recursion|publisher=Jones & Bartlett|year=2001|isbn=0-7637-1695-2 }}
* {{cite book|author=Cori, Rene; Lascar, Daniel; Pelletier, Donald H.|title=Recursion Theory, Gödel's Theorems, Set Theory, Model Theory|publisher=Oxford University Press|year=2001|isbn=0-19-850050-5 }}
* {{cite book|author=Barwise, Jon; Moss, Lawrence S.|title=Vicious Circles|publisher=Stanford Univ Center for the Study of Language and Information|year=1996|isbn=0-19-850050-5 }} - menjelaskan pengerjaan dari [[corecursion]].
* {{cite book|author=Rosen, Kenneth H.|title=Discrete Mathematics and Its Applications|publisher=McGraw-Hill College|year=2002|isbn=0-07-293033-0 }}
* {{cite book|author=Cormen, Thomas H., Charles E. Leiserson, Ronald L. Rivest, Clifford Stein|title=Introduction to Algorithms|publisher=Mit Pr|year=2001|isbn=0-262-03293-7 }}
* {{cite book|author = Kernighan, B.; Ritchie, D.| title=The C programming Language|publisher=Prentice Hall|year = 1988|isbn = 0-13-110362-8 }}
* {{cite book|author=Stokey, Nancy,; Robert Lucas; Edward Prescott|title=Recursive Methods in Economic Dynamics|publisher=Harvard University Press|year=1989|isbn=0-674-75096-9}}
* {{cite book|author=Hungerford|title=Algebra|publisher=Springer|year=1980|isbn=978-0-387-90518-1}}, bagian pertama dari teori himpunan.
 
== Lihat juga ==