kaplamsal deyim

kaplamsal deyim İng. extensional expression

1. A deyiminin B gibi bir altdeyiminin belli bir geçişine göre kaplamsal deyim olması, B ile kaplamdaş olan her C deyimi için, A ile A içinde B yerine C koymakla elde edilen deyimin kaplamdaş olması demektir. 2. A deyiminin kaplamsal olması A nın tüm altdeyimlerinin bütün geçişlerine göre kaplamsal olması demektir. || Örn. (…)

---

kaplamsal deyim ile benzer kelimeler

kaplamsal sf. Kavramla ilgili bütün özellikleri bir arada bulunduran.

kaplamsal anlam bk. kaplam.

kaplamsal bağıntı İng. relation in extension Sıralanmış n-li dizgelerden ( ) oluşan küme ya da bu kümenin ayırt edici izergesi. ||'n-li bağıntı'terimi başka biçimde belirtilmediğinde "n-li " anlamında kullanılır. Örn. ( ) yükleminin kaplamı, ( ) n-li sıdır.

kaplamsal izerge İng. function in extension Evren öğelerinden oluşan sıralanmış n-li dizgeler kümesinden evrene kurulan izerge. ||'n-li izerge' terimi başka biçimde belirtilmediğinde "n-li " anlamında kullanılır. Örn. ( )

kaplamsal izerge soyutlayıcısı İng. functional abstractor ( ) Krş.. birey soyutlayıcısı.

kaplamsal nesne İng. extensional entity a (ad kaplamı) türünden bir , evren öğesi bir birey; p (önerme kaplamı) türünden bir , bir doğruluk değeri; ( ) türünden bir de ( ) türünden nesnelerden oluşan sıralanmış n-li dizgeler kümesinden ( ) türünden nesneler kümesine kurul...

kaplamsal özellik İng. extensive property Büyüklüğü, bulunduğu nesne ya da dizgenin niceliğiyle değişen , erke, oylum gibi özellik.

kaplamsal yorumlanmış dil İng. extensional interpreted language Tüm düzgün deyimleri kaplamsal olan yorumlanmış dil. || Böyle bir dilde (...) deyimi, anayöneteni B kapalı deyimi olan kapalı bir deyim ise, ( ) Örn. Temel mantıklı dil kaplamsal olup, kipler mantığına dayanan bir dil i...

---