Answer:
Step-by-step explanation:
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:
(5,-2).
_______________________
South is Negative Y axis.
East is Positive X axis.
(look at the compass in the top right corner)
Cory's current coordinates are (1,1).
When Cory walks 3 units south, he moves 3 steps downwards in the Y axis, which means if his current Y position is 1, we subtract 3, ( 1 - 3 = -2).
And when Cory moves 4 units east, Add 4 as he is walking in the positive X axis. (4 + 1 = 5).
new (x,y) are (5,-2).
Answer:
b. y = −0.5x + 5.5
Step-by-step explanation:
Well first we need to find the slope of line CD.
To do that we'll use the following formula,

We'll use the points (1,1) and (3,5)
So y2 is 5 y1 is 1 so 5-1 = 4
3-1 = 2
<u>Slope = 2x</u>
If the slope of line CD is 2x we can cross out choices C and D.
Two lines that are perpendicular to each other have reciprocal slopes,
meaning is the slope of line CD is 2 then its perpendicular lines slope should be -.5.
If the perpendicular line goes through point (-1,6), the y intercept would be, 5.5.
Look at the image below ↓
<em>Thus,</em>
<em>the answer is option b. y = −0.5x + 5.5.</em>
<em>Hope this helps :)</em>