binding
Ciência da Computação
Verbete 1 de 1
substantivo
Contexto: "Ranta further uses a generalized belief operator BΓa which is obtained by binding the variables of Γa with Π. The idea is that if A is a proposition in context Γk, then Bk(A) = ΠΓk.A = Πy : (Σx : Donkey.kick(x)).A is also a proposition"
Fonte: Chatzikyriakidis, S., & Cooper, R. (2018). Type theory for natural language semantics. In Oxford Research Encyclopedia of Linguistics.
Fonte: Chatzikyriakidis, S., & Cooper, R. (2018). Type theory for natural language semantics. In Oxford Research Encyclopedia of Linguistics.
Termo equivalente: vinculação de variável
Definição: "Variable binding is the idea that a variable x is instantiated by a constant c, in which case one says that x is bound to c, and may write x = c."
Fonte: Rohwer, R. (1992, August). A representation of representation applied to a discussion of variable binding. In Proceedings Neurodynamics and Psychology Workshop, Bangor, Wales.
Fonte: Rohwer, R. (1992, August). A representation of representation applied to a discussion of variable binding. In Proceedings Neurodynamics and Psychology Workshop, Bangor, Wales.
Definição em português: "Vinculação de variável é a ideia de que uma variável x é instanciada por uma constante c, caso em que se diz que x está ligado a c, e pode-se escrever x = c."