For the Project #1you will study the Ackerman function introduced on p. 380 of the Rosen textbook (8th edition). Read the recursive definition given in the introduction and use it to prove the properties of the Ackermannfunction claimed in problems 50-54 and 56 on p.381.

53. Find these values of Ackermann's function. a) A(2, 3) *b) A(3, 3)

54. Find A(3, 4).

55. Prove that A(m, n + 1) > A(m, n) whenever m and n are nonnegative integers.

56. Prove that A(m + 1, n) A(m, n) whenever m and n are nonnegative integers.