im yorumlayıcı izerge ne demek?
19 harf
Anlamlar
- mantık Bir biçimsel dilin her ilkel değişmezine anlam olarak belli bir dildışı nesne bağlayan izerge.|| İm yorumlayıcı izerge içlemsiz yorumda herhangi bir tamduruma bağlı olmayan (
) gibi bir izerge olup, içlemli yorumda (
) tamdurumuna bağlı (
) gibi bir izergedir. (i) A değişmezi a dizimsel türünden bir özdeğişmez ise (
) evrene dayalı a türünden kaplamsal bir nesnedir.(iii) (
) değişmezi, (oco/oc) /a11 dizimsel türünden bir değişken bağlama imi ise (
) , evrene dayalı (
) türünden kaplamsal bir nesnedir; (i i i)(
) değişmezi bir n-li yönetici (doğrusal olmayan n-li eklem) ise, (
) (T, tamdurumlar kümesidir.) (
) Krş.. kaplam izergesi, içlem izergesi.
Kelime Bilgisi
İlk harf i · son harf e
İlişkili Kelimeler
yorumlayıcı
Interpreter.
izerge
- K kümesinden L kümesine kurulan birizerge, önalanı K, artalanı da L nin altkümesi olan, K da çoğa bir bağıntı demektir. Krş.. kaplamsalizerge, içlemselizerge, dönüştürme, tameşleme, bütünselizerge, bölümselizerge, işlemlenebilirizerge, yinelgenizerge, ayırt ediciizerge, sayısalizerge,izerge değeri,izerge değer alanı,izerge tanım alanı, ize.
- Function, functional relation, correspondence.
Fonction, correspondence