please send answer Q3 for part a please send proper answer Y}{ x - Y > 0}Y +Y div 2ii. {x is even}X + X +1X + 2 * X{x is odd}X + 2 * Yiii. {x = Y}{x = Y}Y + 2 * X(c) A palindromic number is...

please send answer Q3 for part a

please send proper answer

Extracted text: 3. (a) Explain the notation {Pre} Code {Post}. Explain in your answer the difference between total and partial correctness. (b) Which of the following statements are true? In each case you should justify your argument informally. X + X* 2 i. {x > Y} { x - Y > 0} Y +Y div 2 ii. {x is even} X + X +1 X + 2 * X {x is odd} X + 2 * Y iii. {x = Y} {x = Y} Y + 2 * X (c) A palindromic number is a number that is the same if read forwards or backwards: 12321 and 641146 are examples. It is possible to represent a number using an array of digits (numbers 0 - 9), for example: [1,9, 5, 2] could represent 1952. i. Using an appropriate iteration construct, write an algorithm as a procedure that decides if an input array A[1...n] of digits is a palindromic number. ii. Repeat question (i) but write your algorithm as a recursive procedure. Show how your algorithm works by giving a trace of the computation with the array [1, 2, 2, 1).