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.
Idk tbh man I think sumbody else will answer
Patterns find next 2 numbers 1.) 7,4,1,-2,__,__ <br>
2.) 1,4,9,16,__,__ <br>
3.) 0,1,8,27,__,__
kati45 [8]
Answer:
1. 7, 4, 1, -2, -5, -8
2. 1, 4, 9, 16, 25, 36
3. i'm not sure about this one.
Answer:
Same-side exterior angles
Step-by-step explanation:
Through the process of elimination it is not:
→ Corresponding angles as that would be 2 and 6
→ Same side interior angles as that would be 3 and 6 or 4 and 5
→ Alternate interior angles as that would be 6 and 4 of 3 and 5
