Browse papers
A

Section A: Long Answer Questions

Attempt all / any as specified.

4 questions
1long12 marks

(a) Define a relation RR on a set AA. State the conditions for RR to be (i) reflexive, (ii) symmetric, (iii) anti-symmetric and (iv) transitive. Let A={1,2,3,4}A = \{1, 2, 3, 4\} and R={(1,1),(1,2),(2,1),(2,2),(3,3),(4,4)}R = \{(1,1),(1,2),(2,1),(2,2),(3,3),(4,4)\}. Determine whether RR is an equivalence relation, and if so, find the corresponding partition of AA. (6)

(b) For arbitrary sets AA, BB and CC, prove the distributive law A(BC)=(AB)(AC)A \cap (B \cup C) = (A \cap B) \cup (A \cap C) using the definition of set membership. Verify the same result using a Venn diagram. (6)

set-theoryrelationsequivalence-relation
2long12 marks

(a) Without using truth tables, show that the compound proposition (pq)(pr)(p \rightarrow q) \wedge (p \rightarrow r) is logically equivalent to p(qr)p \rightarrow (q \wedge r). State the laws of logic used at each step. (6)

(b) Define a tautology and a contradiction. Translate the following statement into a logical expression using quantifiers and hence write its negation in words: "Every student in the class has solved at least one problem." Use appropriate predicates and clearly state the universe of discourse. (6)

propositional-logicpredicate-logiclogical-equivalence
3long12 marks

(a) Solve the recurrence relation an=5an16an2a_n = 5a_{n-1} - 6a_{n-2} for n2n \ge 2, with the initial conditions a0=1a_0 = 1 and a1=0a_1 = 0, using the characteristic-equation method. (6)

(b) Find the particular and general solution of the non-homogeneous recurrence relation an3an1=2na_n - 3a_{n-1} = 2^n, n1n \ge 1, given a0=1a_0 = 1. (6)

recurrence-relationsgenerating-functions
4long10 marks

(a) Define an Euler circuit and a Hamiltonian circuit in a graph. State and justify the necessary and sufficient condition for a connected graph to possess an Euler circuit. Determine, with reasoning, whether the complete graph K5K_5 has an Euler circuit. (6)

(b) Define the chromatic number of a graph. Find the chromatic number of the complete bipartite graph K3,3K_{3,3} and justify your answer. (4)

graph-theoryeuler-hamiltoniangraph-coloring
B

Section B: Short Answer Questions

Attempt all / any as specified.

8 questions
5short6 marks

Define injective, surjective and bijective functions. For the function f:RRf: \mathbb{R} \rightarrow \mathbb{R} defined by f(x)=3x5f(x) = 3x - 5, prove that ff is a bijection and find its inverse function f1f^{-1}.

functionsinjective-surjective-bijective
6short6 marks

Using the principle of mathematical induction, prove that for every positive integer nn:

12+22+32++n2=n(n+1)(2n+1)6.1^2 + 2^2 + 3^2 + \cdots + n^2 = \frac{n(n+1)(2n+1)}{6}.
mathematical-inductionproofs
7short6 marks

(a) State the Pigeonhole Principle. Show that among any 13 people, at least two of them are born in the same month. (3)

(b) In how many ways can a committee of 3 men and 2 women be formed from a group of 7 men and 5 women? (3)

countingcombinatoricspigeonhole-principle
8short6 marks

(a) Find the coefficient of x5y3x^5 y^3 in the expansion of (2xy)8(2x - y)^8 using the Binomial Theorem. (3)

(b) How many distinct arrangements can be made from the letters of the word "MISSISSIPPI"? (3)

countingbinomial-theorempermutations
9short6 marks

Define a spanning tree and a minimum spanning tree of a weighted connected graph. Using Kruskal's algorithm, find a minimum spanning tree and its total weight for the graph with the following edge weights: AB=4, AC=3, BC=2, BD=5, CD=6, CE=4, DE=1AB=4,\ AC=3,\ BC=2,\ BD=5,\ CD=6,\ CE=4,\ DE=1. Show the order in which edges are selected.

treesspanning-treegraph-algorithms
10short6 marks

State the basic postulates of Boolean algebra. Using Boolean algebra laws, simplify the expression F=xyz+xyz+xyF = x'y'z + x'yz + xy' and draw the logic circuit for the simplified expression.

boolean-algebralogic-gates
11short6 marks

(a) Define the adjacency matrix of a graph. Write the adjacency matrix for a simple undirected graph GG with vertices {v1,v2,v3,v4}\{v_1, v_2, v_3, v_4\} and edges {v1v2,v2v3,v3v4,v4v1,v1v3}\{v_1v_2, v_2v_3, v_3v_4, v_4v_1, v_1v_3\}. (3)

(b) State the conditions under which two graphs are said to be isomorphic. (3)

graph-theorygraph-representationisomorphism
12short4 marks

Define a partially ordered set (poset). Draw the Hasse diagram for the poset (D12,)(D_{12}, \mid), where D12D_{12} is the set of all positive divisors of 12 and \mid denotes the "divides" relation.

relationspartial-orderhasse-diagram