THE EAST AFRICAN UNIVERSITY (TEAU)
SCHOOL OF COMPUTER SCIENCE AND IT
                                 DEPARTMENT OF COMPUTER SCIENCE
                                 JAN – APRIL 2019, MAIN EXAMINATION
 COURSE                    :      DISCRETE MATHEMATICS
 CODE                      :      MAT 1202
 TIME                      :      2 Hours
 INSTRUCTIONS
     1. The Paper is made up of FIVE (5) Questions, question ONE is compulsory plus any other TWO
        questions.
     2. Credit is given for legibility, clarity of expressions and use of relevant illustrations.
     3. Clearly write your registration number on each answer sheet used.
                         DO NOT WRITE ANYWHERE ON THIS QUESTION PAPER
 QUESTION ONE (30mks)
(a) Explain what is meant by the following terms:-
         (i) Ordered pair.                                                                    (2mks)
         (ii) Binary relation                                                                  (2mks)
         (iii) A function from A to B.                                                         (2mks)
                     1   0 0 1   1
(b) Let MR =
    whether R is
                 [   0
                     1
                     1
                     0
                         1 0 0
                         0 1 1
                         0 1 1
                         0 1 O
                                 0
                                 0
                                 1
                                  ]
                                 1 be a matrix representing relation R on a set A. State with reasons
            i. Reflexive                                                                      (4mks)
           ii. Symmetric                                                                      (4mks)
(c) Let f: R→R be defined by f(x) = 2x – 3. Now if f is one-to-one and onto, hence f has an inverse
    function f −1. Find f −1.                                                              (3mks)
 (d) Shows that the following set of functions are inverses of each other.                          (4mks)
                            f(x) = ( x +1)2
                              g(x) = √ x - 1
   (e) Find the truth table of the compound proposition (p v q) → (p ^¬r)                          (5mks)
   (f) Let A = {a, b, c. d} and let R = {(a, b), (b, c), (c, d) (d, a)} be a Relation on A.
           Draw the directed graph representing R                                                   (4mks)
   QUESTION TWO
(a) Define the following terms
           (i) Reflexive relation                                                                 (2mks)
           (ii) Transitive relation                                                               (2mks)
(b) Let A = {1, 2, 3},B= {a, b, c}, and C = {x, y, z}. Consider the following relations R and S from A to B
     and from B to C, respectively.
           R = {(1, b), (2, a), (2, c)} and S = {(a, y), (b, x), (c, y), (c, z)}
     (i) Find the composition relation R◦S.                                                       (4mks)
     (ii) Find the matrices M R , M S and M R ° Sof the respective relations R, S, and R◦S         (6mks)
       (g) Consider the relation R = {(a, a), (a, b), (b, c), (c, c)} on the set A = {a, b, c}.
           Find:
               (i) Reflexive(R)
               (ii) Symmetric (R)
                (iii)            Transitive (R)
                        (6mks)
 QUESTION THREE
(a) Define the following terms in relation to functions
   (i)        Onto                                                               (2mks)
   (ii)       One-to-one                                                         (2mks)
(b) Let the functions f: A → B, g: B → C, h: C → D be defined by Figure below.
                                                                         x                4
                                                  1
                   a                                                     y
                                                                                          5
                                                  2
                   b                                                     z
                                                                                          6
                   c                              3                     w
 Determine if each function is:
     (i) Onto
     (ii) One-to-one
     (iii)              Invertible
             (7mks)
(h) Let f :R → R and g: R → R be defined by f (x) = 2x + 1 and g(x) = x2 − 2.
     Find the formula for the composition function g◦f                           (4mks)
      (i) Let f:R→R be defined by f(x) = 2x – 3. Now if f is one-to-one and onto, hence f has an inverse
          function f −1.
          Find f −1.                                                                           (5mks)
       QUESTION FOUR
(a)    Use truth tables to show the following
                   i. ( p Ʌ q ) ≡ ( p ⋁ q )                                                    (5mks)
           (ii)        p → q ≡∼ p ∨ q.                                                             (5mks)
(b) Consider the conditional proposition p → q. The simple propositions q → p, ¬p → ¬q and
                  ¬q → ¬p are called, respectively, the converse, inverse, and contrapositive of the conditional p
                  → q. Which if any of these propositions are logically equivalent to p → q?     (5mks)
       Only the contrapositive ¬q →¬p is logically equivalent to the original conditional proposition p → q.
(c) Show that the argument
                       q→r
                     ∴p → r
                       Is valid                                                                     (5mks)
       QUESTION FIVE
(a) Define f :( S,*) → (Q, +) by f(a, b) = a/b. show that f is a homomorphism                       (3mks)
 (b) Consider the group G = {1, 2, 3, 4, 5, 6} under multiplication modulo 7.
     (i) Find the multiplication table of G.                              (4mks)
                          5          5   3   1       6   4   2
                          6          6   5   4       3   2   1
     (ii) Find the orders and subgroups generated by 2 and 3.          (4mks)
(c) Show that * is associative hence that S is Semigroup                    (5mks)
(d) Let σ and τ be the following elements of the symmetric group S6:
            σ=   (13    2 34 5 6
                        1 56 2 4
                                 and τ =
                                         1 2 34 5 6
                                         )       (
                                         5 3 16 2 4              )
            Find:
                       (i) σ2,                                                  (2mks)
                       (ii) σ−1. :                                              (2mks)