kaplam belirlenimi imi

kaplam belirlenimi

(…) || Örn. Bir n-li açık önermenin belirlediği kaplam, bu açık önermeyi gerçekleyen sıralanmış n-li dizgelerden oluşan bağıntıdır.

kaplam imi

A gibi bir düzgün deyimden, bu deyimin kaplamını gösteren kp(A) deyimini oluşturan, yorumsal sözeden dildeki 'kp' birli İşlev imi.

içlem belirlenimi

Belli bir içlemli yorumda A deyimince belirlenen içlem, her tamdurumu A nın bu tamdurumda belirlediği kaplama bağlayan izerge demektir.

cebirsel kaplam

(…) kapsamasını sağlayan iki oyut olduğunda (…)öğesi k oyutu üzerinde cebirseldir biçiminde tanımlanan oyut.

dışbükey kaplam

Bir ilingesel yöney uzayında, bir A alt-kümesi için A yi kapsayan en küçük kapalı dışbükey küme.

gerçek kaplam

A gibi bir düzgün deyimin belli bir yorum gereği gerçek tamdurumda kazandığı olanaklı kaplam.

kaplam

a. man. Bir kavramın ve o kavramı dile getiren terimin içerdiği varlıkların ve bireysel olayların bütünü, kapsam, şümul: Bütün insanlar, hayvanlar, bitkiler canlı kavramının ı içine girerler.

şümûl (bk. çevre, çevre-içi).

kaplam izergesi

(…) || Krş.. im yorumlayıcı izerge, içlem izergesi.