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:
1. 4.22
2. 19.415
3. nine and thirty- five
4. Three and four hundred twelve
Step-by-step explanation
Simply get the value of the angle and distribute away.
![\bf 3[cos(270^o)+i~sin(270^o)\implies 3[0+i( -1)]\implies 3-3i](https://tex.z-dn.net/?f=%5Cbf%203%5Bcos%28270%5Eo%29%2Bi~sin%28270%5Eo%29%5Cimplies%203%5B0%2Bi%28%20-1%29%5D%5Cimplies%203-3i)
Answer by JKismyhusbandbae: add 5 to 23
Explanation: The numbers are increasing by 5 each term. To double check 13 - 8 equals 5. To make sure it's right add 13 + 5 equals 18 and so you can add 23 plus 5 equals 28. Which means that five is our pattern.
