- Katılım
- 7 Eyl 2009
- Konular
- 6,986
- Mesajlar
- 38,038
- Çözüm
- 1
- Online süresi
- 7d 22h
- Reaksiyon Skoru
- 1,833
- Altın Konu
- 0
- Başarım Puanı
- 494
- MmoLira
- 6,585
- DevLira
- 0
ROHAN2 WORLD 1-120 TR TİPİ OFFICIAL YOHARA, BALATHOR VE AMON! 80. GÜNÜNDE! +10.000 ONLİNE! HİLE VE BOT %100 ENGELLİ HEMEN TIKLA!
Bilgisayar programcılığında ve matematiksel mantıkta kendine göndergeli önerme ya da özgöndergeli önerme, bir önermenin veya fonksiyonun kendisi hakkında yargı veya çözüm içermesidir.
Tanım
Matematiksel mantıkta, eğer bir P tamdeyimi, değişken olarak yine P'yi içeriyorsa, bu tamdeyimlere özgöndergeli önermeler denir:
P \equiv (\phi(P))
burada \phi, P değişkenli bir tamdeyimdir.
Bu tanım, aslında iki adımdan oluşturulabilir:
Taban önerme: P \equiv (\forall X:\ \phi(X))
Özelleme, X=P seçme: P \equiv (\phi(P))
Örnekler
Epimenides Çatışkısı "Bu cümle yanlıştır"
Fibonacci Serisi f(1)=1 f(2)=1 olmak üzere "f(x)=f(x-1)+f(x-2)"
Tanım
Matematiksel mantıkta, eğer bir P tamdeyimi, değişken olarak yine P'yi içeriyorsa, bu tamdeyimlere özgöndergeli önermeler denir:
P \equiv (\phi(P))
burada \phi, P değişkenli bir tamdeyimdir.
Bu tanım, aslında iki adımdan oluşturulabilir:
Taban önerme: P \equiv (\forall X:\ \phi(X))
Özelleme, X=P seçme: P \equiv (\phi(P))
Örnekler
Epimenides Çatışkısı "Bu cümle yanlıştır"
Fibonacci Serisi f(1)=1 f(2)=1 olmak üzere "f(x)=f(x-1)+f(x-2)"
