Abone imleşimi (Alm. Teilnehmer-Signalisierung, f; Fr signalisation d’abonné, f; İng subscriber signaling) blşm


yüklem (Alm. Prädikat, n; Fr. prédicat, m; İng. predicate) blşm



Indir 0.55 Mb.
Sayfa890/899
Tarih11.02.2022
Büyüklüğü0.55 Mb.
#41
1   ...   886   887   888   889   890   891   892   893   ...   899
yüklem (Alm. Prädikat, n; Fr. prédicat, m; İng. predicate) blşm. 1. Belirli bir kümeden değer alan bir değişkenin bir koşulu sağlayıp sağlamadığını veya bir özelliği taşıyıp taşımadığını bildiren iki değerli fonksiyon. 2. Bir tümcede yer alan bir ya da daha fazla ögeyi açıklayan ve cümlenin ağırlığını, yükünü üzerine alıp taşıyan öge.
yüklem mantığı (Alm. Prädikatenlogik, f; Fr. logique des prédicats, f; İng. predicate logic) blşm. Matematiksel mantıkta, nesnelerin taşıdıkları ortak özelliklere göre nesne toplulukları üzerinde mantıksal işlemlerle yapılan ifade oluşturma ve hesaplama dili.

Indir 0.55 Mb.

Arkadaşlarınla ​​paylaş:
1   ...   886   887   888   889   890   891   892   893   ...   899




Veritabanı telif hakkı ile korunan ©dosyalar.org 2022
mesaj gönder

    Ana sayfa