Browse papers
A

Section A: Long Answer Questions

Attempt all / any as specified.

4 questions
1long12 marks

(a) State the principle of mathematical induction. Using 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}.

(6)

(b) Solve the recurrence relation an=5an16an2a_n = 5a_{n-1} - 6a_{n-2} for n2n \ge 2, with initial conditions a0=1a_0 = 1 and a1=0a_1 = 0. Show all steps including the formation and solution of the characteristic equation. (6)

(a) Principle of Mathematical Induction and proof of the sum of squares

Principle of Mathematical Induction. Let P(n)P(n) be a statement about a positive integer nn. If

  1. Basis step: P(1)P(1) is true, and
  2. Inductive step: for every k1k \ge 1, P(k)P(k+1)P(k) \Rightarrow P(k+1),

then P(n)P(n) is true for all positive integers nn.

To prove: P(n):  12+22++n2=n(n+1)(2n+1)6.\displaystyle P(n): \; 1^2 + 2^2 + \cdots + n^2 = \frac{n(n+1)(2n+1)}{6}.

Basis step (n=1n=1): LHS =12=1= 1^2 = 1. RHS =1236=1= \dfrac{1\cdot 2 \cdot 3}{6} = 1. So P(1)P(1) holds.

Inductive step: Assume P(k)P(k) is true, i.e.

12+22++k2=k(k+1)(2k+1)6.1^2 + 2^2 + \cdots + k^2 = \frac{k(k+1)(2k+1)}{6}.

Add (k+1)2(k+1)^2 to both sides:

12++k2+(k+1)2=k(k+1)(2k+1)6+(k+1)2.1^2 + \cdots + k^2 + (k+1)^2 = \frac{k(k+1)(2k+1)}{6} + (k+1)^2.

Taking (k+1)(k+1) common:

=(k+1)k(2k+1)+6(k+1)6=(k+1)2k2+7k+66=(k+1)(k+2)(2k+3)6.= (k+1)\cdot\frac{k(2k+1) + 6(k+1)}{6} = (k+1)\cdot\frac{2k^2 + 7k + 6}{6} = (k+1)\cdot\frac{(k+2)(2k+3)}{6}.

This is exactly (k+1)((k+1)+1)(2(k+1)+1)6\dfrac{(k+1)\big((k+1)+1\big)\big(2(k+1)+1\big)}{6}, which is P(k+1)P(k+1).

Since the basis and inductive steps hold, by the principle of mathematical induction P(n)P(n) is true for all positive integers nn. \blacksquare

(b) Solving the recurrence an=5an16an2a_n = 5a_{n-1} - 6a_{n-2}

This is a linear homogeneous recurrence of degree 2. The characteristic equation is obtained by substituting an=rna_n = r^n:

r2=5r6    r25r+6=0    (r2)(r3)=0.r^2 = 5r - 6 \;\Rightarrow\; r^2 - 5r + 6 = 0 \;\Rightarrow\; (r-2)(r-3) = 0.

The roots are r1=2r_1 = 2 and r2=3r_2 = 3 (distinct), so the general solution is

an=A2n+B3n.a_n = A\cdot 2^n + B\cdot 3^n.

Apply initial conditions:

  • a0=1:  A+B=1.a_0 = 1: \; A + B = 1.
  • a1=0:  2A+3B=0.a_1 = 0: \; 2A + 3B = 0.

From the first, A=1BA = 1 - B. Substituting: 2(1B)+3B=02+B=0B=22(1-B) + 3B = 0 \Rightarrow 2 + B = 0 \Rightarrow B = -2, hence A=3A = 3.

Final solution:

an=32n23n.\boxed{a_n = 3\cdot 2^n - 2\cdot 3^n.}

Check: a0=32=1a_0 = 3 - 2 = 1, a1=66=0a_1 = 6 - 6 = 0, a2=1218=6a_2 = 12 - 18 = -6, and 5a16a0=06=65a_1 - 6a_0 = 0 - 6 = -6. ✓

mathematical-inductionproofsrecurrence-relations
2long12 marks

(a) Define a tautology, a contradiction, and a contingency. Construct a truth table for the compound proposition (pq)(qr)(p \rightarrow q) \wedge (q \rightarrow r) and determine its type. (5)

(b) Using rules of inference, show that the following argument is valid. State the rule used at each step.

Premises: pqp \rightarrow q, ¬qr\neg q \vee r, ¬r\neg r. Conclusion: ¬p\neg p. (4)

(c) Translate the statement "Every student in this class has visited either Pokhara or Lumbini" into a logical expression using quantifiers and predicates, clearly defining the universe of discourse and each predicate. (3)

(a) Tautology, contradiction, contingency and the truth table

  • Tautology: a compound proposition that is true for every assignment of truth values to its variables (e.g. p¬pp \vee \neg p).
  • Contradiction: a compound proposition that is false for every assignment (e.g. p¬pp \wedge \neg p).
  • Contingency: a compound proposition that is true for some assignments and false for others (neither a tautology nor a contradiction).

Truth table for (pq)(qr)(p \rightarrow q) \wedge (q \rightarrow r):

ppqqrrpqp\to qqrq\to r(pq)(qr)(p\to q)\wedge(q\to r)
TTTTTT
TTFTFF
TFTFTF
TFFFTF
FTTTTT
FTFTFF
FFTTTT
FFFTTT

The final column contains both T and F, so the proposition is a contingency.

(b) Validity by rules of inference

Premises: (1) pqp \rightarrow q, (2) ¬qr\neg q \vee r, (3) ¬r\neg r. Conclusion: ¬p\neg p.

StepStatementJustification
1pqp \rightarrow qPremise
2¬qr\neg q \vee rPremise
3¬r\neg rPremise
4qrq \rightarrow rEquivalence of (2): ¬qrqr\neg q \vee r \equiv q \rightarrow r
5prp \rightarrow rHypothetical syllogism on (1) and (4)
6¬p\neg pModus tollens on (5) and (3)

Hence the conclusion ¬p\neg p follows, so the argument is valid.

(c) Translation with quantifiers

Universe of discourse: all students in this class. Let P(x)P(x): "xx has visited Pokhara", and L(x)L(x): "xx has visited Lumbini".

x(P(x)L(x)).\forall x \,\big( P(x) \vee L(x) \big).

This reads: for every student xx in the class, xx has visited Pokhara or Lumbini (inclusive or).

propositional-logicpredicate-logicrules-of-inference
3long12 marks

(a) Define a connected graph, a Hamiltonian circuit, and an Euler circuit. State the necessary and sufficient condition for a connected graph to contain an Euler circuit. (4)

(b) Apply Dijkstra's algorithm to find the shortest path from vertex AA to all other vertices of the following weighted graph. Edges and weights: AA-BB = 4, AA-CC = 2, CC-BB = 1, BB-DD = 5, CC-DD = 8, CC-EE = 10, DD-EE = 2, DD-ZZ = 6, EE-ZZ = 3. Show the table of tentative distances at each iteration. (8)

(a) Definitions

  • Connected graph: a graph in which there is a path between every pair of distinct vertices.
  • Hamiltonian circuit: a closed walk that visits every vertex exactly once and returns to the starting vertex.
  • Euler circuit: a closed walk that traverses every edge exactly once and returns to the starting vertex.

Necessary and sufficient condition (Euler circuit): A connected graph (with at least one edge) contains an Euler circuit if and only if every vertex has even degree.

(b) Dijkstra's algorithm from AA

Edges (undirected): AB=4, AC=2, CB=1, BD=5, CD=8, CE=10, DE=2, DZ=6, EZ=3AB=4,\ AC=2,\ CB=1,\ BD=5,\ CD=8,\ CE=10,\ DE=2,\ DZ=6,\ EZ=3.

Start: d(A)=0d(A)=0, all others \infty. At each step pick the unvisited vertex of least tentative distance, mark it permanent (✓), and relax its neighbours.

IterationChosen (perm.)ABCDEZ
Init0
1A (0)0✓42
2C (2)0✓32✓1012
3B (3)3✓812
4D (8)8✓1014
5E (10)10✓13
6Z (13)13✓

Relaxation notes: from C, B:min(4,2+1)=3B: \min(4, 2+1)=3, D:2+8=10D: 2+8=10, E:2+10=12E: 2+10=12. From B, D:min(10,3+5)=8D: \min(10, 3+5)=8. From D, E:min(12,8+2)=10E:\min(12,8+2)=10, Z:8+6=14Z:8+6=14. From E, Z:min(14,10+3)=13Z:\min(14,10+3)=13.

Shortest distances from AA:

A=0,C=2,B=3,D=8,E=10,Z=13.A=0,\quad C=2,\quad B=3,\quad D=8,\quad E=10,\quad Z=13.

Shortest paths: ACA\to C (2); ACBA\to C\to B (3); ACBDA\to C\to B\to D (8); ACBDEA\to C\to B\to D\to E (10); ACBDEZA\to C\to B\to D\to E\to Z (13).

graph-theorytreesspanning-tree
4long12 marks

(a) Let RR be a relation defined on the set of integers Z\mathbb{Z} by aRba\,R\,b if and only if aba - b is divisible by 5. Prove that RR is an equivalence relation and describe its equivalence classes. (6)

(b) State and prove the principle of inclusion-exclusion for two finite sets AA and BB. In a survey of 120 students, 70 like tea, 60 like coffee, and 30 like both. How many students like neither tea nor coffee? (6)

(a) RR on Z\mathbb{Z}: aRb    5(ab)a\,R\,b \iff 5 \mid (a-b) is an equivalence relation

We verify the three properties.

  • Reflexive: for any aa, aa=0=50a-a = 0 = 5\cdot 0, which is divisible by 5, so aRaa\,R\,a. ✓
  • Symmetric: if aRba\,R\,b then ab=5ka-b = 5k for some integer kk. Then ba=5k=5(k)b-a = -5k = 5(-k) is divisible by 5, so bRab\,R\,a. ✓
  • Transitive: if aRba\,R\,b and bRcb\,R\,c, then ab=5ka-b = 5k and bc=5mb-c = 5m. Adding, ac=5(k+m)a-c = 5(k+m) is divisible by 5, so aRca\,R\,c. ✓

Hence RR is reflexive, symmetric and transitive, so it is an equivalence relation.

Equivalence classes. Two integers are related iff they leave the same remainder on division by 5. So there are exactly five classes (the residue classes mod 5):

[0]={,5,0,5,10,}, [1], [2], [3], [4],[0]=\{\dots,-5,0,5,10,\dots\},\ [1],\ [2],\ [3],\ [4],

where [r]={xZ:xr(mod5)}[r] = \{ x \in \mathbb{Z} : x \equiv r \pmod 5 \}. These five classes partition Z\mathbb{Z}.

(b) Inclusion–exclusion for two sets

Statement. For finite sets AA and BB,

AB=A+BAB.|A \cup B| = |A| + |B| - |A \cap B|.

Proof. When we add A|A| and B|B|, every element of ABA\cap B is counted twice — once in AA and once in BB — while elements in exactly one set are counted once. Subtracting AB|A\cap B| removes the double count, leaving each element of ABA\cup B counted exactly once. Hence AB=A+BAB|A\cup B| = |A|+|B|-|A\cap B|. \blacksquare

Numerical part. Let TT = tea drinkers, CC = coffee drinkers, total =120= 120. T=70|T|=70, C=60|C|=60, TC=30|T\cap C|=30.

TC=70+6030=100.|T \cup C| = 70 + 60 - 30 = 100.

Students who like neither =120100=20.= 120 - 100 = \boxed{20}.

set-theoryrelationsequivalence-relations
B

Section B: Short Answer Questions

Attempt all / any as specified.

7 questions
5short8 marks

(a) Define injective, surjective, and bijective functions with one example of each. (4)

(b) Let f:RRf : \mathbb{R} \rightarrow \mathbb{R} be defined by f(x)=3x7f(x) = 3x - 7. Show that ff is a bijection and find its inverse function f1f^{-1}. (4)

(a) Injective, surjective, bijective functions

Let f:XYf : X \to Y.

  • Injective (one-to-one): distinct inputs give distinct outputs, i.e. f(a)=f(b)a=bf(a)=f(b) \Rightarrow a=b. Example: f:RR, f(x)=2xf:\mathbb{R}\to\mathbb{R},\ f(x)=2x (injective but, on RR\mathbb{R}\to\mathbb{R}, also surjective; on NN\mathbb{N}\to\mathbb{N}, f(n)=2nf(n)=2n is injective only).
  • Surjective (onto): every element of the codomain is an image, i.e. for all yYy\in Y there is xXx\in X with f(x)=yf(x)=y. Example: f:RR, f(x)=x3f:\mathbb{R}\to\mathbb{R},\ f(x)=x^3 is surjective.
  • Bijective: both injective and surjective (a one-to-one correspondence). Example: f:RR, f(x)=x+1f:\mathbb{R}\to\mathbb{R},\ f(x)=x+1.

(b) f(x)=3x7f(x) = 3x - 7 is a bijection; find f1f^{-1}

Injective: Suppose f(a)=f(b)f(a)=f(b). Then 3a7=3b73a=3ba=b3a-7 = 3b-7 \Rightarrow 3a = 3b \Rightarrow a=b. So ff is one-to-one.

Surjective: Let yRy\in\mathbb{R}. Solve y=3x7x=y+73Ry = 3x-7 \Rightarrow x = \dfrac{y+7}{3} \in \mathbb{R}, and f ⁣(y+73)=yf\!\left(\dfrac{y+7}{3}\right)=y. So every yy is attained; ff is onto.

Being injective and surjective, ff is a bijection.

Inverse: set y=3x7y = 3x-7 and solve for xx: x=y+73x = \dfrac{y+7}{3}. Renaming,

f1(x)=x+73.\boxed{f^{-1}(x) = \frac{x+7}{3}.}

Check: f1(f(x))=(3x7)+73=x.f^{-1}(f(x)) = \frac{(3x-7)+7}{3} = x.

functionsbijectioninverse-function
6short8 marks

(a) How many distinct strings can be formed by rearranging the letters of the word "ENGINEERING"? (4)

(b) In how many ways can a committee of 4 members be selected from a group of 7 men and 5 women if the committee must contain at least 2 women? (4)

(a) Rearrangements of "ENGINEERING"

The word has 11 letters. Letter counts:

  • E: 3, N: 3, G: 2, I: 2, R: 1.

(Check: 3+3+2+2+1=113+3+2+2+1 = 11.) The number of distinct arrangements is the multinomial

11!3!3!2!2!1!=3991680066221=39916800144=277200.\frac{11!}{3!\,3!\,2!\,2!\,1!} = \frac{39916800}{6\cdot 6\cdot 2\cdot 2\cdot 1} = \frac{39916800}{144} = \boxed{277200}.

(b) Committee of 4 with at least 2 women (7 men, 5 women)

"At least 2 women" means 2, 3, or 4 women (the rest men).

  • 2 women, 2 men: (52)(72)=1021=210.\binom{5}{2}\binom{7}{2} = 10 \cdot 21 = 210.
  • 3 women, 1 man: (53)(71)=107=70.\binom{5}{3}\binom{7}{1} = 10 \cdot 7 = 70.
  • 4 women, 0 men: (54)(70)=51=5.\binom{5}{4}\binom{7}{0} = 5 \cdot 1 = 5.

Total =210+70+5=285= 210 + 70 + 5 = \boxed{285} ways.

countingcombinatoricspermutations
7short8 marks

(a) State the basic postulates of Boolean algebra. Prove the absorption law x+xy=xx + xy = x using the postulates. (4)

(b) Simplify the Boolean function F(x,y,z)=m(0,1,2,4,5)F(x, y, z) = \sum m(0, 1, 2, 4, 5) using a Karnaugh map and draw the resulting logic circuit. (4)

(a) Postulates of Boolean algebra and the absorption law

A Boolean algebra (B,+,,,0,1)(B, +, \cdot, ', 0, 1) satisfies, for all x,y,zBx,y,z\in B:

  1. Closure under ++ and \cdot.
  2. Identity: x+0=xx + 0 = x,   x1=x\;x \cdot 1 = x.
  3. Commutativity: x+y=y+xx+y = y+x,   xy=yx\;x\cdot y = y\cdot x.
  4. Distributivity: x(y+z)=xy+xzx\cdot(y+z) = x\cdot y + x\cdot z and x+(yz)=(x+y)(x+z)x+(y\cdot z) = (x+y)\cdot(x+z).
  5. Complement: x+x=1x + x' = 1,   xx=0\;x\cdot x' = 0.

Proof of absorption x+xy=xx + xy = x:

x+xy=x1+xy(identity, x=x1)x + xy = x\cdot 1 + x\cdot y \quad (\text{identity, } x = x\cdot 1) =x(1+y)(distributive law)= x\cdot(1 + y) \quad (\text{distributive law}) =x1(1+y=1)= x\cdot 1 \quad (1 + y = 1) =x.= x. \qquad \blacksquare

(b) K-map simplification of F(x,y,z)=m(0,1,2,4,5)F(x,y,z) = \sum m(0,1,2,4,5)

Minterms in xyzxyz order: 0=000, 1=001, 2=010, 4=100, 5=1010{=}000,\ 1{=}001,\ 2{=}010,\ 4{=}100,\ 5{=}101.

K-map (rows = xx, columns = yzyz in Gray order 00,01,11,1000,01,11,10):

x\yzx\backslash yz00011110
01 (m0)1 (m1)0 (m3)1 (m2)
11 (m4)1 (m5)0 (m7)0 (m6)

Grouping:

  • The whole yz=00yz=00 and yz=01yz=01 columns (m0,m1,m4,m5) form a quad y\Rightarrow y' (since y=0y=0 throughout).
  • m0 and m2 (cells x=0x{=}0, yz=00,10yz=00,10) form a pair xz\Rightarrow x'z'.

Simplified expression:

F=y+xz.\boxed{F = y' + x'z'.}

Logic circuit (described): invert yy with a NOT gate to get yy'; invert xx and zz to get x,zx',z' and feed them into a 2-input AND gate producing xzx'z'; feed yy' and xzx'z' into a 2-input OR gate. The OR gate output is FF.

boolean-algebralogic-gatesminimization
8short8 marks

(a) Define an adjacency matrix and an incidence matrix of a graph. Write the adjacency matrix for a simple undirected graph on vertices {1,2,3,4}\{1,2,3,4\} with edges {1,2},{2,3},{3,4},{4,1},{1,3}\{1,2\}, \{2,3\}, \{3,4\}, \{4,1\}, \{1,3\}. (4)

(b) Determine whether the two given graphs are isomorphic, justifying your answer using graph invariants such as degree sequence and number of edges. (4)

(a) Adjacency and incidence matrices

  • Adjacency matrix: an n×nn\times n matrix AA (for nn vertices) where AijA_{ij} = number of edges between vertices ii and jj (1 if adjacent, 0 otherwise, for a simple graph). It is symmetric for undirected graphs.
  • Incidence matrix: an n×mn\times m matrix MM (vertices ×\times edges) where Mie=1M_{ie}=1 if vertex ii is an endpoint of edge ee, else 00 (each column has exactly two 1's for an undirected graph).

Graph: vertices {1,2,3,4}\{1,2,3,4\}, edges {1,2},{2,3},{3,4},{4,1},{1,3}\{1,2\},\{2,3\},\{3,4\},\{4,1\},\{1,3\}.

Adjacency matrix (rows/columns ordered 1,2,3,41,2,3,4):

A=(0111101011011010)A = \begin{pmatrix} 0 & 1 & 1 & 1 \\ 1 & 0 & 1 & 0 \\ 1 & 1 & 0 & 1 \\ 1 & 0 & 1 & 0 \end{pmatrix}

(Vertex 1 is adjacent to 2,3,4; vertex 2 to 1,3; vertex 3 to 1,2,4; vertex 4 to 1,3. Degrees: 3,2,3,2.)

(b) Testing graph isomorphism using invariants

Two graphs G1G_1 and G2G_2 are isomorphic if there is a bijection between their vertex sets that preserves adjacency. Necessary conditions (graph invariants) — they must agree for the graphs to possibly be isomorphic:

  1. Same number of vertices.
  2. Same number of edges.
  3. Same degree sequence (multiset of vertex degrees).
  4. Same number/length of cycles, same connectivity, etc.

Method: Compute the degree sequence of each graph. If the degree sequences (or any other invariant) differ, the graphs are not isomorphic. If all checked invariants match, attempt to construct an explicit adjacency-preserving bijection; if one exists, the graphs are isomorphic.

Worked illustration: if G1G_1 has degree sequence (3,3,2,2)(3,3,2,2) and G2G_2 has (3,2,2,1)(3,2,2,1), they have the same number of vertices but different degree sequences, so they are not isomorphic. If instead both have degree sequence (3,3,2,2)(3,3,2,2) and equal edge counts, we map the two degree-3 vertices of G1G_1 to the two degree-3 vertices of G2G_2 and verify adjacencies; a consistent mapping confirms isomorphism.

graph-theorygraph-representationisomorphism
9short8 marks

(a) Define a binary search tree. Construct a binary search tree by inserting the following keys in order: 50, 30, 70, 20, 40, 60, 80. (4)

(b) Write the preorder, inorder, and postorder traversals of the binary search tree obtained in part (a). (4)

(a) Binary search tree (BST)

A binary search tree is a binary tree in which, for every node, all keys in its left subtree are less than the node's key and all keys in its right subtree are greater than the node's key.

Insert 50, 30, 70, 20, 40, 60, 80:

  • 50 → root.
  • 30 < 50 → left of 50.
  • 70 > 50 → right of 50.
  • 20 < 50, < 30 → left of 30.
  • 40 < 50, > 30 → right of 30.
  • 60 > 50, < 70 → left of 70.
  • 80 > 50, > 70 → right of 70.

Resulting tree:

            50
          /    \
        30      70
       /  \    /  \
      20  40  60  80

This is a complete, balanced BST of height 2.

(b) Traversals

  • Preorder (Root, Left, Right): 50, 30, 20, 40, 70, 60, 80.50,\ 30,\ 20,\ 40,\ 70,\ 60,\ 80.
  • Inorder (Left, Root, Right): 20, 30, 40, 50, 60, 70, 80.20,\ 30,\ 40,\ 50,\ 60,\ 70,\ 80. (sorted, as expected for a BST)
  • Postorder (Left, Right, Root): 20, 40, 30, 60, 80, 70, 50.20,\ 40,\ 30,\ 60,\ 80,\ 70,\ 50.
treesbinary-treetraversal
10short8 marks

(a) Set up a recurrence relation for the number of binary strings of length nn that do not contain two consecutive 0's, and give the initial conditions. (4)

(b) Using a generating function, or otherwise, find the number of ways to distribute 10 identical chocolates among 3 distinct children so that each child receives at least one chocolate. (4)

(a) Recurrence for binary strings of length nn with no two consecutive 0's

Let ana_n be the number of binary strings of length nn containing no two consecutive 0's. Classify by the last bit:

  • If the last bit is 1, the first n1n-1 bits form any valid string of length n1n-1: an1a_{n-1} ways.
  • If the last bit is 0, the previous bit must be 1 (to avoid "00"), and the first n2n-2 bits form any valid string of length n2n-2: an2a_{n-2} ways.

Hence

an=an1+an2,n3,\boxed{a_n = a_{n-1} + a_{n-2}}, \quad n \ge 3,

with initial conditions a1=2a_1 = 2 (strings: "0","1") and a2=3a_2 = 3 (strings: "01","10","11"; "00" excluded). This is the Fibonacci recurrence.

(b) Distribute 10 identical chocolates among 3 distinct children, each at least one

We need positive-integer solutions of x1+x2+x3=10x_1 + x_2 + x_3 = 10 with each xi1x_i \ge 1. The number of such solutions is

(10131)=(92)=36.\binom{10-1}{3-1} = \binom{9}{2} = 36.

Generating-function view: each child contributes x+x2+=x1xx + x^2 + \cdots = \dfrac{x}{1-x}, so the generating function is

(x1x)3=x3(1x)3.\left(\frac{x}{1-x}\right)^3 = \frac{x^3}{(1-x)^3}.

The number of ways is the coefficient of x10x^{10}, i.e. the coefficient of x7x^{7} in (1x)3(1-x)^{-3}, which is (7+22)=(92)=36.\binom{7+2}{2} = \binom{9}{2} = \boxed{36}.

recurrence-relationsgenerating-functionscounting
11short8 marks

(a) For the sets A={1,2,3}A = \{1, 2, 3\} and B={a,b}B = \{a, b\}, list all elements of the Cartesian product A×BA \times B and determine the total number of relations from AA to BB. (4)

(b) Define a partial order relation. Draw the Hasse diagram for the divisibility relation on the set {1,2,3,6,12}\{1, 2, 3, 6, 12\} and identify the maximal and minimal elements. (4)

(a) Cartesian product and number of relations

A={1,2,3}A = \{1,2,3\}, B={a,b}B = \{a,b\}. The Cartesian product A×BA\times B has 3×2=63\times 2 = 6 ordered pairs:

A×B={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)}.A\times B = \{(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)\}.

A relation from AA to BB is any subset of A×BA\times B. Since A×B=6|A\times B| = 6, the number of relations is

2A×B=26=64.2^{|A\times B|} = 2^{6} = \boxed{64}.

(b) Partial order and Hasse diagram for divisibility on {1,2,3,6,12}\{1,2,3,6,12\}

Partial order relation: a relation RR on a set that is reflexive, antisymmetric, and transitive. A set with such a relation is a partially ordered set (poset). Divisibility (ab    aba \le b \iff a \mid b) is a partial order.

Cover relations (draw aa below bb when aba \mid b and there is no intermediate divisor):

  • 121 \mid 2, 131 \mid 3
  • 262 \mid 6, 363 \mid 6
  • 6126 \mid 12

Hasse diagram (described):

        12
        |
        6
       / \
      2   3
       \ /
        1

Element 1 is at the bottom; 2 and 3 are above 1; 6 is above both 2 and 3; 12 is at the top above 6.

  • Minimal element: 11 (nothing below it). It is also the least element.
  • Maximal element: 1212 (nothing above it). It is also the greatest element.
set-theoryfunctionspartial-order

Frequently asked questions

Where can I find the BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) question paper 2079?
The full BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2079 (regular) question paper is available free on Kekkei. You can read every question online and attempt the paper under timed exam conditions.
Does the Discrete Structure (IOE, CT 551) 2079 paper come with solutions?
Yes. Every question on this Discrete Structure (IOE, CT 551) past paper includes a step-by-step solution, plus instant AI feedback when you attempt it on Kekkei.
How many marks is the BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2079 paper?
The BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2079 paper carries 80 full marks and is meant to be completed in 180 minutes, across 11 questions.
Is practising this Discrete Structure (IOE, CT 551) past paper free?
Yes — reading and attempting this Discrete Structure (IOE, CT 551) past paper on Kekkei is completely free.