Answer:
Step-by-step explanation:
Reduction to normal from using lambda-reduction:
The given lambda - calculus terms is, (λf. λx. f (f x)) (λy. Y * 3) 2
For the term, (λy. Y * 3) 2, we can substitute the value to the function.
Therefore, applying beta- reduction on "(λy. Y * 3) 2" will return 2*3= 6
So the term becomes,(λf. λx. f (f x)) 6
The first term, (λf. λx. f (f x)) takes a function and an argument, and substitute the argument in the function.
Here it is given that it is possible to substitute the resulting multiplication in the result.
Therefore by applying next level beta - reduction, the term becomes f(f(f(6)) (f x)) which is in normal form.
Answer:
um what kinda question is this?
Step-by-step explanation:
Answer:
Step-by-step explanation:
<em>Step 1: Determine quantity per liquid</em>
liquid 1=7/8 cup
liquid 2=9/10 cup
<em>Step 2: Derive expression to calculate total amount of mixture</em>
The expression below can be derived;
T=a+b
where;
T=total amount of mixture
a=total amount of liquid 1
b=total amount of liquid 2
In our case;
a=7/8 cup
b=9/10 cup
replacing;
T=(7/8)+(9/10)=1 31/40 cups
The total amount of mixture=1 31/40 cups
now, you're asked to use it when ln(1.38), which is just another way of saying x = 1.38
so set x = 1.38 and see what "y" is
