Date: Wednesday, February 5, 2025.
Due Date:Wednesday, February 12, 2025.

a. Write a lambda expression in lambda calculus notation (not in Lisp) that computes the expression 4x² + 5 for a variable x. Then apply this lambda expression to the value 6 and compute the result.

b. Write a lambda expression in lambda calculus notation that computes the expression x² - y² + xy for the variables x and y. Then apply this lambda expression to the values 4 and 1 and compute the result.

a. Write a lambda expression that computes the expression 3x + 2 for the variable x.

b. Using f equal to the lambda expression at point a, write the lambda expression for the Church numerals 0, 1, 2, and 3. Then show how each of them is applied to the value x = 2 and compute the result.

Upload to Canvas, Assignments, Class Exercise 1, a file containing the solution, with a comment mentioning all the people in the team. One submission per team is sufficient. Online students can do the exercise individually.