What on Earth is Recursion? - Computerphile Computerphile English Turkish

What on Earth is Recursion? - ComputerphileYouTube↗ IA↗(long shot)
Education 565.8K views 16.8K likes 123 dislikes 16 May 2014

Computerphile 2.6M subscribers N/A YouTube↗

Click to Play Video

I think I'm on fairly strong ground when I say that we haven't yet, in Computerphile, done recursion.

Sanırım henüz Computerphile’da özyineleme yapmadığımızı söylediğimde oldukça güçlüyüm.

This can get extremely hard.

Bu çok zor olabilir.

It is difficult to get your head around recursion, sometimes.

Bazen kafanızı yinelemenin altına sokmak zordur.

In one way you can take a very mathematical view about it

Bir şekilde bunun hakkında çok matematiksel bir bakış açabilirsiniz.

and close your eyes,

ve gözlerini kapat,

and if you're a pure mathematician

ve eğer saf bir matematikçiyseniz

who thinks, as we computer scientists would say,

bilgisayar bilimcilerinin söylediği gibi

exclusively "top down" about things,

münhasıran şeyler hakkında "yukarıdan aşağıya",

you can say, "Oh, it's just a formal definition, you know."

“Ah, bu sadece resmi bir tanım, bilirsin” diyebilirsiniz.

Here's an example of something you can do recursively.

Özyinelemeli olarak yapabileceğiniz bir şeye bir örnek.

Factorial of n is equal to n times factorial of n minus 1.

N faktörü, n eksi 1'in n çarpımına eşittir.

And if you're used to mathematical thinking, well, that's absolutely alright.

Ve eğer matematiksel düşünceye alışkınsanız, bu kesinlikle sorun değil.

Of course, they will then go on, thank heavens, and say:

Tabii ki, o zaman devam edecekler, göklere teşekkür edip:

"Ah, but you've got to stop that. You're just going round and round"

“Ah, ama bunu durdurmalısın. Sadece dönüp gidiyorsun”

"chasing your own tail."

"kendi kuyruğunu kovalamak."

"Because, what about factorial n minus 1, then?"

“Çünkü, ya faktör n eksi 1, sonra?”

Well, factorial n-1

Peki, faktör n-1

n minus 1 times factorial n minus 2.

n eksi 1 kat faktörü n eksi 2.

And the mathematician will say,

Ve matematikçi diyecek ki,

Oh yes, all you're doing is re-labeling the n.

Oh evet, yaptığınız tek şey n'yi yeniden etiketlemek.

Because, you know, what was n now becomes n-1, and so on.

Çünkü, biliyorsunuz, n'lerin şuan n-1 olması, vb.

And yes, that's quite right.

Ve evet, bu oldukça doğru.

But certainly at the bottom of all this, you've got to have a way of

Ama kesinlikle tüm bunların altında, bir yolunuz olmalı

dropping out and terminating this

bırakma ve sonlandırma

endless succession

sonsuz arka arkaya

of things defined in terms of themselves.

kendileri tarafından tanımlanan şeylerin.

Your way out of all this

Tüm bunlardan çıkış yolunuz

is that when you hit factorial 1,

Faktör 1'e çarptığınızda,

that is defined to be 1.

bu 1 olarak tanımlanır.

So let's take, um, an actual real example of this

Öyleyse, bunun gerçek bir örneğini alalım.

and one which we will later develop

ve hangisini daha sonra geliştireceğimizi

with a program.

What we're saying -- I'll abbreviate it now

Ne diyoruz - onu şimdi kısaltacağım

as "fact" rather than "factorial".

"faktör" yerine "gerçek" olarak.

from this definition

is

4 times whatever factorial of

4 katsayısı ne olursa olsun

[quietly] 4 minus 1?

[sessizce] 4 eksi 1?

3

But factorial 3

Ancak faktörlü 3

is [laughing] 3 times

3 kez [gülüyor]

whatever factorial 2 is.

Faktör 2 ne olursa olsun.

Factorial 2 is 2 times whatever factorial 1 is.

Faktör 2 Faktör 1 ne olursa olsun 2 kere.

Ah! But factorial 1 is 1.

Ah! Ancak faktör 1, 1'dir.

So there we are, then.

Öyleyse işte oradayız.

Factorial 4 is 4 times 3 times 2 times 1

Faktör 4 4 kez 3 kez 2 kez 1

is

Factorial, if you wanted to work 'em out

Faktör, çalışmak istersen

on a computer --

bilgisayarda --

You can do it one of two ways.

Bunu iki yoldan biriyle yapabilirsiniz.

You can do it recursively --

Özyinelemeli yapabilirsiniz -

and this really, as we will see, in its implementation, will need a stack;

ve bu gerçekten, göreceğimiz gibi, uygulamasında, bir yığına ihtiyaç duyacak;

oh yes, it will.

oh evet, olacak.

Or, you can do it iteratively.

Ya da yinelemeli olarak yapabilirsiniz.

What does it mean to do it recursively?

Özyinelemeli yapmak ne anlama geliyor?

I will look at it very briefly here,

Burada kısaca ona bakacağım,

but then I will do this for you on the stack.

ama sonra bunu sizin için yığında yapacağım.

So, here's our recursive definition of factorial.

İşte, özyinelemeli faktöriyel tanımımız.

In fact, I've put in a comment here, saying "This is the recursive version."

Aslında, burada bir yorum yazdım "Bu özyinelemeli versiyonu."

What I'm saying here is --

Burada söylediğim şey -

there again, those of you familiar with

yine orada, tanıdıklarınız

any of the C-like languages,

C benzeri dillerden herhangi biri,

any of the C-like languages, you know, Java, C++, whatever --

C benzeri dillerden herhangi biri, bilirsin, Java, C ++, herneyse -

you'll find this very familiar.

Bunu çok tanıdık bulacaksınız.

The incoming parameter,

Gelen parametre

or "argument" as it's sometimes called,

veya "argüman" olarak adlandırılır bazen

is labeled "n".

"n" olarak etiketlenmiştir.

The name of the function is "factorial".

Fonksiyonun adı "faktördür".

And the answer delivered back by factorial

Ve cevap faktoring tarafından geri döndü

will be an integer answer.

bir tamsayı cevap olacak.

So, every time you call it,

Yani, her aradığında,

it expects an incoming parameter,

gelen bir parametre bekliyor

or argument, as it's sometimes called;

ya da tartışma, bazen dediği gibi;

and it will deliver you back an answer

ve sana bir cevap verecek

that's also another integer.

Bu da başka bir tamsayı.

Factorial is only defined for integers, not for real numbers,

Faktör sadece tam sayılar için tanımlanmıştır, gerçek sayılar için değil,

not for any other sort of thing.

başka hiçbir şey için değil.

Only for integers, and only for positive integers.

Sadece tamsayılar ve sadece pozitif tamsayılar için.

It won't even work for negative ones.

Olumsuz olanlar için bile işe yaramaz.

Now, this is almost like writing mathematics.

Şimdi, bu neredeyse matematik yazmak gibi.

It's almost like writing

Neredeyse yazmak gibi

this definition I had up here, look.

Bu tanım burada vardı, bak.

You say, If the incoming argument is 1,

Diyorsun, Gelen argüman 1 ise,

then my answer is 1.

o zaman cevabım 1.

The factorial of 1 is 1.

1'in faktörü 1'dir.

So I return, to the outside world that wants to know --

Ben de geri dönmek istiyorum, bilmek isteyen dış dünyaya -

I return the answer 1.

Cevap 1'i geri verdim.

Factorial 1 is 1.

Faktör 1 1'dir.

Otherwise, I return back to the outside world

Aksi halde dış dünyaya dönüyorum

that wants to know --

o bilmek istiyor -

I say, The factorial of anything else

Diyorum ki, başka bir şeyin faktörü

is n times the factorial of the number 1 less than it.

n sayısının 1 katının faktörü n'den azdır.

What the secret is here,

Burada ne sırrı var?

is the factorial of the next number below,

Bir sonraki sayının faktörüdür,

you feed in as the so-called "actual parameter";

sözde "gerçek parametre" olarak beslenirsiniz;

the thing that is 1 less than the n you've got at the moment.

Şu an sahip olduğunuzdan 1 daha az olan şey.

So, if we can move 4,

Yani, 4'ü geçebilirsek,

I return back 4 times factorial 3.

Faktör 3'ün 4 katı geri döndüm.

What's n-1? If n is 4, it's factorial 3.

N-1 nedir? N 4 ise, faktoring 3'tür.

What this means is,

I can't return the answer

Cevabı iade edemiyorum

until I've worked out what factorial 3 is.

Faktör 3'ün ne olduğunu çözene kadar.

So I dive back into this same piece of code,

Böylece aynı kod parçasına geri dönüyorum.

only this time --

sadece bu sefer -

it's still calling it "n",

Hala buna "n" diyor,

but n has now changed into 3.

ama n şimdi 3 olarak değişti.

So the first thing you have to get happy about

İlk önce mutlu olman gereken şey

is there isn't just one n.

sadece bir tane yok mu

There's lots of them.

They're all called "n", but they're all different;

Hepsine "n" denir, fakat hepsi farklıdır;

and they all have to be managed and kept separate.

ve hepsinin ayrı yönetilmesi ve muhafaza edilmesi gerekiyor.

That's the first thing: There is not just one n.

İlk şey bu: Sadece bir tane yok.

Recursion wouldn't work if there were.

Eğer olsaydı, özyineleme işe yaramazdı.

And that way of keeping them separate

Ve onları ayrı tutmanın bu yolu

just naturally falls out,

Sadece doğal olarak düşer,

no process for guessing,

tahmin için işlem yok,

bu bir yığın.

You need a stack to do this properly.

Bunu düzgün yapmak için bir yığına ihtiyacınız var.

Here's my main program. Here's its environment; here's its data.

İşte ana programım. İşte çevresi; İşte veri.

What I'm going to do from here, the main program,

Buradan ne yapacağım, ana program,

I want factorial 4.

Faktör 4'ü istiyorum.

In order for it to work correctly

Düzgün çalışması için

and have its own local variables,

ve kendi yerel değişkenlerine sahip,

which of course includes

hangisi elbette

all of these different

Bunların hepsi farklı

instances of n, in this case,

Bu durumda n'nin örnekleri

you put on what's called another stack frame,

başka bir yığın çerçevesine ne denirse,

another whole area of the stack.

yığının bir başka bütün alanı.

Ve diyorsunuz ki,

is going to deliver back

geri teslim edecek

the answer to factorial 4.

Faktör 4'e cevap.

But factorial 4 then says,

Fakat faktör 4, diyor ki

Can't work the answer out

Cevap çözülemiyor

until I know what factorial 3 is.

Faktör 3'ün ne olduğunu öğrenene kadar.

this smaller white one

bu küçük beyaz olan

is gonna work out factorial 3.

Faktör 3 üzerinde çalışacak.

does the usual trick,

olağan numara yapar

Oh, I don't know what factorial 3 is.

Faktör 3'ün ne olduğunu bilmiyorum.

It's 3 times factorial 2.

3 kat faktör 2 var.

So I've got to know what factorial 2 is.

Bu yüzden, faktör 2'nin ne olduğunu bilmeliyim.

So here is the frame

Yani burada çerçeve

that will work out factorial 2.

Bu faktör 2 çalışacaktır.

Finally, with a great sense of relief,

Sonunda, büyük bir rahatlama duygusuyla,

factorial 2 says,

faktör 2 diyor

All I know is that

Tek bildiğim bu

I'm 2 times factorial 1.

Ben 2 kat faktör 1'im.

There's factorial 1.

Factorial 1 says,

Faktör 1 diyor ki

I know what I am;

Ne olduğumu biliyorum;

I am the answer 1.

Ben cevabım 1.

The factorial 2 frame

Faktörlü 2 çerçeve

is waiting there

on what you might call

ne diyebilirsin üzerine

a "pending multiply".

bir "bekleyen çarpma".

I am 2 times whatever factorial 1 is.

Faktör 1 ne olursa olsun 2 katıyım.

Factorial 1 says, Here you go,

Faktör 1 diyor ki, işte

into the pending multiply,

bekleyen çarpanın içine

the answer's 1.

And then the same thing happens.

Ve sonra aynı şey olur.

Oh! So the answer to factorial 2, is 2.

Ah! Öyleyse faktör 2'ye verilen cevap 2.

Where does that need to be delivered back to?

Bunun nereye geri gönderilmesi gerekiyor?

It needs to be delivered back into the frame below,

Aşağıdaki çerçeveye geri gönderilmesi gerekiyor,

which is positively gasping

olumlu nefes alıyor

because it wants to do

çünkü yapmak istiyor

3 times whatever factorial 2 is.

Faktör 2 ne olursa olsun 3 kat.

It's 3 times 2.

Now, where is it that's waiting for that?

Şimdi, onu nerede bekliyor?

3 times 2 is 6.

3 kere 2, 6'dır.

So, somewhere down here

Yani, burada bir yerde

is a pending multiply in this frame,

bu çerçevede bekleyen bir çarpım,

saying that factorial 4

bu faktör 4 söyleyerek

is 4 times whatever factorial 3 was.

Faktör 3 ne olursa olsun 4 katıdır.

But we've just found out that

Ama bunu daha yeni öğrendim

factorial 3 ends up cascading down, delivering 6.

Faktoring 3, 6'yı dağıtarak aşağıya doğru iner.

4 times 6 is 24.

Final pending multiply was done,

Son bekleyen çarpma yapıldı,

and it gets delivered back

ve geri teslim edilir

into the main program

and in the main program that I've got here --

ve buraya geldiğim ana programda -

we'll put this out, of course, with a web link to it --

Elbette bunu bir web bağlantısı ile ortaya koyacağız.

all I do with the value when I get it back,

geri aldığımda değer ile yaptığım tüm

is, I just print it out, or say

Sadece yazdırdım ya da

The answer to factorial 4 is 24.

Faktör 4'ün cevabı 24.

That's back in the main program's area

Ana programın alanına geri döndü

at the bottom of the stack.

yığının dibinde.

What you have to remember is that, in these pending multiplies that we had,

Hatırlaman gereken şey şu, sahip olduğumuz bu bekleyen çarpımlarda

each one of them is holding onto

her biri tutuyor

a different value of n

n farklı bir değer

as the left-hand operand

sol operand olarak

in its pending mulitply.

beklemede kasvetli olarak.

This is saying, 4 times something; the one above it said, 3 times something;

Bu, 4 kez bir şey söylüyor; üstündeki, 3 kez bir şey dedi;

2 times something; and so on.

2 kez bir şey; ve bunun gibi.

And the answers cascaded back down

Cevaplar geri çekildi

and dropped out at the bottom correctly.

ve doğru altına düştü.

We'd like to thank Audible.com for sponsoring this computerphile video.

Bu bilgisayarlı videonun sponsoru olduğu için Audible.com'a teşekkür ederiz.

They've got loads of books online.

İnternette bir sürü kitap var.

So, if you want to check one out,

Yani, birini kontrol etmek istersen,

üzerinden gitmek

audible.com/computerphile

audible.com/computerphile

and you can download one for free

ve bir tane ücretsiz indirebilirsiniz

if you sign up there.

eğer oraya kaydolursanız.

Today, I'd like to recommend

Bugün tavsiye etmek istiyorum

Konsol Savaşları

brand new book out by Blake Harris

Blake Harris'in yeni kitabı

and it chronicles

ve bu kronikler

the console wars of the '90s

90'ların konsol savaşları

between Nintendo and Sega

Nintendo ve Sega arasında

when Sega did something really radical to take on

Sega, üstlenecek çok radikal bir şey yaptığında

the massive company that was, or corporation that was, Nintendo.

Nintendo olan büyük şirket ya da şirket.

Just shows how the players change as time goes on.

Sadece zaman geçtikçe oyuncuların nasıl değiştiğini gösterir.

It's a really, really interesting story.

Bu gerçekten, gerçekten ilginç bir hikaye.

Uh, so check that out.

Uh, öyleyse kontrol et.

Remember, audible dot com slash computerphile

Unutmayın, sesli nokta com slash computerphile

Sign up there to try out a free book.

Ücretsiz bir kitap denemek için oraya kaydolun.

Thanks once again to them

Onlara bir kez daha teşekkürler

for supporting this video

bu videoyu desteklemek için

and other computerphile videos.

ve diğer bilgisayar görüntüleri.

And right up at the very top,

the top of stack is often called

yığının üstüne genellikle denir

the stack top pointer; SP for short.

yığın üst işaretçisi; Kısaca SP.

It's not an IBM one; it's developed by a company called Motorola.

IBM değil. Motorola adlı bir şirket tarafından geliştirilmiştir.

Similar videos:

Where HTML beats C? - Computerphile
Computerphile
551.2K views 11K likes 1.3K dislikes 27 May 201663% match

Program Correctness - Computerphile
Computerphile
48.8K views 2K likes 253 dislikes 27 Nov 202059% match

Fibonacci Programming - Computerphile
Computerphile
198.8K views 3.3K likes 52 dislikes 17 Jun 201456% match

Programming Loops vs Recursion - Computerphile
Computerphile
1.1M views 26.6K likes 417 dislikes 22 Sep 201744% match

ALGOL 60 at 60 - Computerphile
Computerphile
73.7K views 3.1K likes 20 dislikes 04 Jun 202043% match

PDF, What is it FOR? - Computerphile
Computerphile
409K views 12K likes 144 dislikes 16 Sep 201642% match

Why C is so Influential - Computerphile
Computerphile
1.6M views 22.5K likes 1.6K dislikes 25 Aug 201742% match

What is a Monad? - Computerphile
Computerphile
357.7K views 7.6K likes 1.2K dislikes 24 Nov 201738% match

The Perfect Code - Computerphile
Computerphile
491.4K views 10.6K likes 196 dislikes 08 Mar 201738% match

Programming in PostScript - Computerphile
Computerphile
181.1K views 3.5K likes 42 dislikes 11 Apr 201437% match

What is Bootstrapping? - Computerphile
Computerphile
375.1K views 5.5K likes 287 dislikes 19 Mar 201436% match

Essentials: Pointer Power! - Computerphile
Computerphile
326.4K views 8.5K likes 203 dislikes 18 Aug 201734% match

Parsing Explained - Computerphile
Computerphile
134.2K views 3.6K likes 45 dislikes 13 Nov 201933% match

Where did Bytes Come From? - Computerphile
Computerphile
195.3K views 6.1K likes 60 dislikes 01 May 201833% match

Mac or PC? - Computerphile
Computerphile
587.9K views 9.7K likes 314 dislikes 21 May 201432% match

Tail Recursion Explained - Computerphile
Computerphile
104.2K views 5.2K likes 83 dislikes 27 May 202032% match

Reflections on Trusting Trust - Computerphile
Computerphile
66K views 3.7K likes -1 dislikes 23 Mar 202132% match

Why Use Binary? - Computerphile
Computerphile
588.4K views 10.9K likes 133 dislikes 04 Dec 201531% match

AND OR NOT - Logic Gates Explained - Computerphile
Computerphile
344.7K views 6.8K likes 81 dislikes 06 Mar 201531% match

Turing's Enigma Problem (Part 1) - Computerphile
Computerphile
1.1M views 12.6K likes 270 dislikes 28 Nov 201430% match

Computing Limit - Computerphile
Computerphile
358.4K views 11.3K likes 443 dislikes 03 Nov 201730% match

XOR & the Half Adder - Computerphile
Computerphile
174.5K views 3.6K likes 13 dislikes 18 Mar 201530% match

50 Years of Computer Science: Professor Brailsford Q&A - Computerphile
Computerphile
81.3K views 3K likes 17 dislikes 22 Apr 202030% match

Internationalis(z)ing Code - Computerphile
Computerphile
911.6K views 32.5K likes 495 dislikes 04 Aug 201429% match

Essentials: Functional Programming's Y Combinator - Computerphile
Computerphile
172.7K views 3.6K likes 258 dislikes 16 Aug 201729% match

Pong & Object Oriented Programming - Computerphile
Computerphile
193.9K views 3.8K likes 146 dislikes 16 Mar 201629% match

Functional Programming & Haskell - Computerphile
Computerphile
493.3K views 12.2K likes 144 dislikes 30 Nov 201629% match

How Huffman Trees Work - Computerphile
Computerphile
190.2K views 3.2K likes 44 dislikes 18 Oct 201329% match

Busy Beaver Turing Machines - Computerphile
Computerphile
284.8K views 4.9K likes 52 dislikes 02 Sep 201428% match

Lambda Calculus - Computerphile
Computerphile
803.9K views 19.5K likes 567 dislikes 27 Jan 201727% match

Settings Privacy About Contact Donate