Everybody says that Valuation is a truth value assignment to all variables in the formula.
How do you call the valuation when some (neither single yet nor all) variables are assigned a value?
Truth valueimplies that variables are binary. How do you call the multivalued case?
I know that Haskel uses the term "partial application". If "partial application" is supplied with optimization, they call it "partial evaluation". I am not sure whether boolean valuation falls into the
evaluationor second category?
ps, Dec 2013
- Is it right that single variable assignment is called Restrict operation? I read
Restrict(Function F, variable v, constant k)is defined as "Shannon cofactor of $F$ w.r.t. $v=k$" in Berkly lectures.