Kendine Göndergeli Önerme - IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası

Liaaa · 17 Mayıs 2012, 12:49

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:

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
burada φ, P değişkenli bir tamdeyimdir.
Bu tanım, aslında iki adımdan oluşturulabilir:

Taban önerme:
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
Özelleme, X=P seçme:
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

Ö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)"

Benzer Konular
Konu	Konuyu Başlatan	Forum	Cevaplar	Son Mesaj
Önerme	InTheDarK	Felsefe	0	15 Nisan 2012 14:54

Konuyu Toplam 1 Üye okuyor. (0 Kayıtlı üye ve 1 Misafir)

5846 sayılı Fikir ve Sanat Eserleri Kanunu gereğince sitemizde telif hakkı bulunan mp3,video v.b. eserlerin paylaşımı yasaktır. Yasal işlem olması halinde paylaşan kişi yada kişilerin bilgileri gerekli kuruma verilecektir.