Kategori Yok Kendine göndergeli önerme

Kendine göndergeli önerme

✔ fcwesh


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:
  1. Taban önerme: P \equiv (\forall X:\ \phi(X))
  2. Özelleme, X=P seçme: P \equiv (\phi(P))





Kendine göndergeli önerme Kendine göndergeli önerme fcwesh 5.0 stars based on 35 reviews Bilgisayar programcılığında ve matematiksel mantıkta kendine göndergeli önerme ya da özgöndergeli önerme , bir önermenin veya fonksiyonun k...


loading short url

Benzer Paylaşımlar



Kaynak kodu (İngilizce: source code)
Kexi




:)
:(
hihi
:-)
:D
=D
:-d
;(
;-(
@-)
:P
:o
:>)
(o)
:p
:-?
(p)
:-s
(m)
8-)
:-t
:-b
b-(
:-#
=p~
$-)
(y)
(f)
x-)
(k)
(h)
cheer
Kaydol: Kayıt Yorumları (Atom)