İm Yorumlayıcı İzerge » Mantık Terimi
İm Yorumlayıcı İzerge anlamı nedir?
- 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.
-
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları