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 , değişken olarak yine P'yi içeriyorsa, bu tamdeyimlere özgöndergeli önermeler denir:
burada , P değişkenli bir tamdeyimdir.
Bu tanım, aslında iki adımdan oluşturulabilir:
- Taban önerme:
- Özelleme, X=P seçme:
Örnekler
- "Bu cümle yanlıştır"
- Fibonacci Serisi f(1)=1 f(2)=1 olmak üzere "f(x)=f(x-1)+f(x-2)"
Kaynakça
- Douglas R. Hofstadter, Gödel, Escher, Bach: Bir Ebedi Gökçe Belik, Kabalcı, 2001.
Yazılım ile ilgili bu madde seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
Matematik ile ilgili bu madde seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Bilgisayar programciliginda ve matematiksel mantikta kendine gondergeli onerme ya da ozgondergeli onerme bir onermenin veya fonksiyonun kendisi hakkinda yargi veya cozum icermesidir phylactere Enderg versiyonunun yerini alin TanimMatematiksel mantikta eger bir P degisken olarak yine P yi iceriyorsa bu tamdeyimlere ozgondergeli onermeler denir P ϕ P displaystyle P equiv phi P burada ϕ displaystyle phi P degiskenli bir tamdeyimdir Bu tanim aslinda iki adimdan olusturulabilir Taban onerme P X ϕ X displaystyle P equiv forall X phi X Ozelleme X P secme P ϕ P displaystyle P equiv phi P Ornekler Bu cumle yanlistir Fibonacci Serisi f 1 1 f 2 1 olmak uzere f x f x 1 f x 2 KaynakcaDouglas R Hofstadter Godel Escher Bach Bir Ebedi Gokce Belik Kabalci 2001 Yazilim ile ilgili bu madde taslak seviyesindedir Madde icerigini genisleterek Vikipedi ye katki saglayabilirsiniz Matematik ile ilgili bu madde taslak seviyesindedir Madde icerigini genisleterek Vikipedi ye katki saglayabilirsiniz