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:
y = -34x + 62
Step-by-step explanation:
<u>Use the point slope form: (y - y1) = m(x - x1)</u>
<u />
(y - (-6) = -34(x - 2)
y + 6 - 6 = -34x + 68 - 6
y = -34x + 62
Answer: y = -34x + 62
916...the 9 is in the hundreds place so its value is 900
791...the 9 is in the tens place so its value is 90
900/90 = 10
so the 9 in 916 is 10 times bigger then the 9 in 791
Answer:
Statement 1. P
Reason 1. Theorem: The measure of an external angle of a triangle is equal to the sum of the measures of the remote interior angles.
Statement 2. 132 = 3x + 54
Statement 3. x = 26
