Browse papers
A

Section A: Long Answer Questions

Attempt any TWO questions.

3 questions·10 marks each
1long10 marks

Explain proof techniques: direct proof, proof by contraposition and proof by contradiction, with one example each. Prove that (\sqrt{2}) is irrational.

Proof Techniques

1. Direct Proof

To prove a statement pqp \Rightarrow q, we assume pp is true and, through a sequence of valid logical steps, deduce that qq is true.

Example: If nn is an even integer, then n2n^2 is even.

Assume nn is even, so n=2kn = 2k for some integer kk. Then n2=(2k)2=4k2=2(2k2)n^2 = (2k)^2 = 4k^2 = 2(2k^2), which is 2×(integer)2 \times (\text{integer}), hence even. \blacksquare

2. Proof by Contraposition

To prove pqp \Rightarrow q, we instead prove its logically equivalent contrapositive ¬q¬p\lnot q \Rightarrow \lnot p.

Example: If n2n^2 is even, then nn is even.

Contrapositive: If nn is odd, then n2n^2 is odd. Let n=2k+1n = 2k+1. Then n2=4k2+4k+1=2(2k2+2k)+1n^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1, which is odd. Hence the original statement holds. \blacksquare

3. Proof by Contradiction

To prove a statement pp, we assume ¬p\lnot p is true and derive a contradiction (something always false). Since the assumption leads to absurdity, pp must be true.

Example: There is no largest integer.

Assume there is a largest integer NN. Then N+1N+1 is also an integer and N+1>NN+1 > N, contradicting that NN is largest. Hence no largest integer exists. \blacksquare

Proof that 2\sqrt{2} is Irrational (by Contradiction)

Assume, for contradiction, that 2\sqrt{2} is rational. Then we can write

2=pq\sqrt{2} = \frac{p}{q}

where p,qp, q are integers, q0q \neq 0, and the fraction is in lowest terms (i.e. pp and qq have no common factor; gcd(p,q)=1\gcd(p,q)=1).

Squaring both sides:

2=p2q2    p2=2q2.2 = \frac{p^2}{q^2} \implies p^2 = 2q^2.

Thus p2p^2 is even, which forces pp to be even (since the square of an odd number is odd). Write p=2mp = 2m. Then

(2m)2=2q2    4m2=2q2    q2=2m2,(2m)^2 = 2q^2 \implies 4m^2 = 2q^2 \implies q^2 = 2m^2,

so q2q^2 is even, hence qq is even.

But now both pp and qq are even, so they share the common factor 22 — contradicting our assumption that gcd(p,q)=1\gcd(p,q)=1.

This contradiction shows our assumption was false. Therefore 2\sqrt{2} is irrational. \blacksquare

prooftechniques
2long10 marks

Define group, ring and field with examples. Show that the set of integers under addition forms a group. State and verify the group axioms.

Group, Ring and Field

Group

A non-empty set GG with a binary operation * is a group (G,)(G, *) if it satisfies:

  1. Closure: abGa * b \in G for all a,bGa, b \in G.
  2. Associativity: (ab)c=a(bc)(a*b)*c = a*(b*c).
  3. Identity: there exists eGe \in G such that ae=ea=aa * e = e * a = a.
  4. Inverse: for each aGa \in G there exists a1Ga^{-1} \in G with aa1=a1a=ea * a^{-1} = a^{-1} * a = e.

If additionally ab=baa*b = b*a, the group is abelian (commutative).

Example: (Z,+)(\mathbb{Z}, +), the integers under addition.

Ring

A set RR with two operations ++ (addition) and \cdot (multiplication) is a ring (R,+,)(R, +, \cdot) if:

  1. (R,+)(R, +) is an abelian group.
  2. Multiplication is associative.
  3. Multiplication distributes over addition: a(b+c)=ab+aca(b+c) = ab + ac and (a+b)c=ac+bc(a+b)c = ac + bc.

Example: (Z,+,)(\mathbb{Z}, +, \cdot), the integers under usual addition and multiplication.

Field

A field is a commutative ring (F,+,)(F, +, \cdot) with a multiplicative identity 101 \neq 0 in which every non-zero element has a multiplicative inverse. That is, (F,+)(F, +) is an abelian group and (F{0},)(F \setminus \{0\}, \cdot) is an abelian group.

Example: (R,+,)(\mathbb{R}, +, \cdot), the real numbers; also (Q,+,)(\mathbb{Q}, +, \cdot).

Integers under Addition Form a Group

Let G=ZG = \mathbb{Z} and the operation be ordinary addition ++. We verify the group axioms:

(i) Closure: For any a,bZa, b \in \mathbb{Z}, a+ba + b is an integer, so a+bZa + b \in \mathbb{Z}. ✓

(ii) Associativity: For all a,b,cZa, b, c \in \mathbb{Z}, (a+b)+c=a+(b+c)(a + b) + c = a + (b + c) (a known property of integer addition). ✓

(iii) Identity: 0Z0 \in \mathbb{Z} and for every aa, a+0=0+a=aa + 0 = 0 + a = a. So 00 is the additive identity. ✓

(iv) Inverse: For each aZa \in \mathbb{Z}, its inverse is aZ-a \in \mathbb{Z}, since a+(a)=(a)+a=0a + (-a) = (-a) + a = 0. ✓

All four axioms hold, so (Z,+)(\mathbb{Z}, +) is a group. Moreover a+b=b+aa + b = b + a, so it is an abelian group. \blacksquare

algebraic-structuresgroup
3long10 marks

What is graph coloring? Explain the chromatic number of a graph. State the four color theorem. Find the chromatic number of a complete graph (K_n) and a cycle (C_n).

Graph Coloring

A (proper vertex) coloring of a graph G=(V,E)G = (V, E) is an assignment of colors to the vertices such that no two adjacent vertices receive the same color. A coloring that uses at most kk colors is called a k-coloring, and GG is then said to be k-colorable.

Chromatic Number

The chromatic number χ(G)\chi(G) of a graph GG is the smallest number of colors needed to properly color GG.

χ(G)=min{k:G has a proper k-coloring}.\chi(G) = \min\{ k : G \text{ has a proper } k\text{-coloring}\}.

For example, a graph with no edges has χ=1\chi = 1; a bipartite graph with at least one edge has χ=2\chi = 2.

Four Color Theorem

Statement: Every planar graph (a graph that can be drawn in the plane with no edges crossing) is 4-colorable; equivalently, any map drawn on a plane can be colored using at most four colors so that no two adjacent regions share a color. Thus for any planar graph GG, χ(G)4\chi(G) \le 4.

Chromatic Number of KnK_n (Complete Graph)

In KnK_n every vertex is adjacent to every other vertex, so all nn vertices are pairwise adjacent and each must get a distinct color.

χ(Kn)=n.\boxed{\chi(K_n) = n.}

Chromatic Number of CnC_n (Cycle)

For a cycle on nn vertices:

  • If nn is even, the vertices can be alternately 2-colored, so χ(Cn)=2\chi(C_n) = 2.
  • If nn is odd, two colors cannot alternate around the odd cycle (the last vertex clashes with the first), so a third color is needed: χ(Cn)=3\chi(C_n) = 3.
χ(Cn)={2,n even3,n odd(n3).\chi(C_n) = \begin{cases} 2, & n \text{ even} \\ 3, & n \text{ odd} \end{cases} \quad (n \ge 3).
graphcoloring
B

Section B: Short Answer Questions

Attempt any EIGHT questions.

9 questions·5 marks each
4short5 marks

Define logical implication and biconditional.

Logical Implication (Conditional, pqp \rightarrow q): The compound proposition "if pp then qq", which is false only when pp is true and qq is false, and true in all other cases. Here pp is the hypothesis and qq the conclusion.

ppqqpqp \rightarrow q
TTT
TFF
FTT
FFT

Biconditional (pqp \leftrightarrow q): The proposition "pp if and only if qq", which is true exactly when pp and qq have the same truth value (both true or both false). It is equivalent to (pq)(qp)(p \rightarrow q) \wedge (q \rightarrow p).

ppqqpqp \leftrightarrow q
TTT
TFF
FTF
FFT
logic
5short5 marks

Show that the function (f(x) = x^2) from R to R is not one-to-one.

A function f:RRf: \mathbb{R} \to \mathbb{R} is one-to-one (injective) if f(a)=f(b)f(a) = f(b) implies a=ba = b for all a,ba, b in the domain. Equivalently, distinct inputs must give distinct outputs.

To show f(x)=x2f(x) = x^2 is not one-to-one, we exhibit a counterexample — two different inputs with the same output.

Take a=2a = 2 and b=2b = -2. Then

f(2)=22=4andf(2)=(2)2=4.f(2) = 2^2 = 4 \quad\text{and}\quad f(-2) = (-2)^2 = 4.

So f(2)=f(2)=4f(2) = f(-2) = 4 but 222 \neq -2.

More generally, for every x0x \neq 0, f(x)=f(x)=x2f(x) = f(-x) = x^2 while xxx \neq -x. Since distinct inputs produce equal outputs, ff violates the injectivity condition.

Therefore f(x)=x2f(x) = x^2 from R\mathbb{R} to R\mathbb{R} is not one-to-one. \blacksquare

functions
6short5 marks

Define Cartesian product of two sets with an example.

Cartesian Product: For two sets AA and BB, the Cartesian product A×BA \times B is the set of all ordered pairs (a,b)(a, b) where the first element aa comes from AA and the second element bb comes from BB:

A×B={(a,b)aA and bB}.A \times B = \{ (a, b) \mid a \in A \text{ and } b \in B \}.

If AA has mm elements and BB has nn elements, then A×B=mn|A \times B| = m \cdot n. Note that in general A×BB×AA \times B \neq B \times A (order matters in the pairs).

Example: Let A={1,2}A = \{1, 2\} and B={x,y}B = \{x, y\}. Then

A×B={(1,x),(1,y),(2,x),(2,y)},A \times B = \{ (1, x), (1, y), (2, x), (2, y) \},

which has 2×2=42 \times 2 = 4 ordered pairs.

sets
7short5 marks

Use mathematical induction to prove (2^n > n) for (n \geq 1).

We prove 2n>n2^n > n for all integers n1n \ge 1 by mathematical induction.

Basis Step (n=1n = 1):

21=2>1.2^1 = 2 > 1.

So the statement holds for n=1n = 1. ✓

Inductive Hypothesis: Assume the statement is true for some integer k1k \ge 1, i.e.

2k>k.2^k > k.

Inductive Step: We must show 2k+1>k+12^{k+1} > k+1.

2k+1=22k>2k(by the hypothesis 2k>k).2^{k+1} = 2 \cdot 2^k > 2 \cdot k \quad (\text{by the hypothesis } 2^k > k).

Now 2k=k+kk+12k = k + k \ge k + 1 because k1k \ge 1. Therefore

2k+1>2kk+1    2k+1>k+1.2^{k+1} > 2k \ge k + 1 \implies 2^{k+1} > k + 1.

The statement holds for k+1k+1.

Conclusion: By the principle of mathematical induction, 2n>n2^n > n for all integers n1n \ge 1. \blacksquare

induction
8short5 marks

Define directed and undirected graphs with examples.

Directed Graph (Digraph): A graph G=(V,E)G = (V, E) in which each edge has a direction — it is an ordered pair (u,v)(u, v) representing an arrow from uu (tail) to vv (head). The edge (u,v)(u, v) is different from (v,u)(v, u).

Example: V={A,B,C}V = \{A, B, C\}, E={(A,B),(B,C),(A,C)}E = \{(A, B), (B, C), (A, C)\}. Here there is an arrow from AA to BB but not necessarily from BB to AA. Such graphs model one-way streets, web links, or task dependencies.

Undirected Graph: A graph G=(V,E)G = (V, E) in which edges have no direction — each edge is an unordered pair {u,v}\{u, v\}, so {u,v}\{u, v\} and {v,u}\{v, u\} denote the same edge (the connection is symmetric).

Example: V={A,B,C}V = \{A, B, C\}, E={{A,B},{B,C},{A,C}}E = \{\{A, B\}, \{B, C\}, \{A, C\}\} — a triangle. This models mutual relationships such as friendships or two-way roads.

Key difference: In a digraph we speak of in-degree and out-degree of a vertex; in an undirected graph each vertex has a single degree (number of incident edges).

graph
9short5 marks

What is a minimum spanning tree? Name two algorithms to find it.

Minimum Spanning Tree (MST): Given a connected, weighted, undirected graph G=(V,E)G = (V, E), a spanning tree is a subgraph that is a tree and includes every vertex of GG (so it has V|V| vertices and V1|V| - 1 edges, and is connected with no cycles). A minimum spanning tree is a spanning tree whose total edge weight is as small as possible among all spanning trees of GG.

weight(MST)=minspanning trees TeTw(e).\text{weight(MST)} = \min_{\text{spanning trees } T} \sum_{e \in T} w(e).

Two algorithms to find an MST:

  1. Kruskal's algorithm — repeatedly add the smallest-weight edge that does not form a cycle (uses a disjoint-set / union-find structure).
  2. Prim's algorithm — grow the tree from a starting vertex by repeatedly adding the cheapest edge that connects a vertex inside the tree to one outside it.

(Borůvka's algorithm is another valid example.) Both Kruskal's and Prim's are greedy algorithms that produce a minimum spanning tree.

tree
10short5 marks

Define monoid and semigroup with examples.

Semigroup: An algebraic structure (S,)(S, *) consisting of a non-empty set SS with a binary operation * that satisfies:

  1. Closure: abSa * b \in S for all a,bSa, b \in S.
  2. Associativity: (ab)c=a(bc)(a * b) * c = a * (b * c) for all a,b,cSa, b, c \in S.

Example: (N,+)(\mathbb{N}, +), the set of natural numbers under addition — closed and associative (but N\mathbb{N} here without 0 has no identity).

Monoid: A semigroup that additionally contains an identity element. So (M,)(M, *) is a monoid if:

  1. Closure holds.
  2. Associativity holds.
  3. Identity: there exists eMe \in M such that ae=ea=aa * e = e * a = a for all aMa \in M.

Example: (N0,+)(\mathbb{N}_0, +) where N0={0,1,2,}\mathbb{N}_0 = \{0, 1, 2, \dots\}, under addition, with identity 00. Another example is the set of strings over an alphabet under concatenation, with the empty string as identity.

Relationship: Every monoid is a semigroup, but a semigroup is a monoid only if it has an identity element.

algebraic-structures
11short5 marks

Solve (7x \equiv 1 \pmod{26}) to find the multiplicative inverse of 7.

We solve 7x1(mod26)7x \equiv 1 \pmod{26}, i.e. find the multiplicative inverse of 77 modulo 2626.

Since gcd(7,26)=1\gcd(7, 26) = 1, the inverse exists and is unique modulo 2626. Use the Extended Euclidean Algorithm.

Euclidean algorithm:

26=37+526 = 3 \cdot 7 + 5 7=15+27 = 1 \cdot 5 + 2 5=22+15 = 2 \cdot 2 + 1 2=21+0gcd=1.2 = 2 \cdot 1 + 0 \quad\Rightarrow\quad \gcd = 1.

Back-substitution:

1=5221 = 5 - 2\cdot 2 1=52(715)=35271 = 5 - 2(7 - 1\cdot 5) = 3\cdot 5 - 2\cdot 7 1=3(2637)27=326117.1 = 3(26 - 3\cdot 7) - 2\cdot 7 = 3\cdot 26 - 11\cdot 7.

So 1171(mod26)-11 \cdot 7 \equiv 1 \pmod{26}, giving x11(mod26)x \equiv -11 \pmod{26}.

Reduce to a positive residue: 11+26=15-11 + 26 = 15.

Check: 7×15=105=4×26+1=104+17 \times 15 = 105 = 4 \times 26 + 1 = 104 + 1, so 1051(mod26)105 \equiv 1 \pmod{26}. ✓

x15(mod26)\boxed{x \equiv 15 \pmod{26}}

Thus the multiplicative inverse of 77 modulo 2626 is 1515.

number-theory
12short5 marks

State the binomial theorem and expand ((x+y)^4).

Binomial Theorem

For any real numbers x,yx, y and non-negative integer nn:

(x+y)n=k=0n(nk)xnkyk(x + y)^n = \sum_{k=0}^{n} \binom{n}{k} x^{n-k} y^{k}

where (nk)=n!k!(nk)!\binom{n}{k} = \dfrac{n!}{k!\,(n-k)!} is the binomial coefficient. The coefficients correspond to row nn of Pascal's triangle.

Expansion of (x+y)4(x + y)^4

Here n=4n = 4, and the coefficients (4k)\binom{4}{k} for k=0,1,2,3,4k = 0,1,2,3,4 are 1,4,6,4,11, 4, 6, 4, 1.

(x+y)4=(40)x4+(41)x3y+(42)x2y2+(43)xy3+(44)y4(x+y)^4 = \binom{4}{0}x^4 + \binom{4}{1}x^3 y + \binom{4}{2}x^2 y^2 + \binom{4}{3}x y^3 + \binom{4}{4}y^4 (x+y)4=x4+4x3y+6x2y2+4xy3+y4\boxed{(x+y)^4 = x^4 + 4x^3 y + 6x^2 y^2 + 4x y^3 + y^4}
counting

Frequently asked questions

Where can I find the BSc CSIT (TU) Discrete Structure (BSc CSIT, CSC160) question paper 2080?
The full BSc CSIT (TU) Discrete Structure (BSc CSIT, CSC160) 2080 (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 (BSc CSIT, CSC160) 2080 paper come with solutions?
Yes. Every question on this Discrete Structure (BSc CSIT, CSC160) past paper includes a step-by-step solution, plus instant AI feedback when you attempt it on Kekkei.
How many marks is the BSc CSIT (TU) Discrete Structure (BSc CSIT, CSC160) 2080 paper?
The BSc CSIT (TU) Discrete Structure (BSc CSIT, CSC160) 2080 paper carries 60 full marks and is meant to be completed in 180 minutes, across 12 questions.
Is practising this Discrete Structure (BSc CSIT, CSC160) past paper free?
Yes — reading and attempting this Discrete Structure (BSc CSIT, CSC160) past paper on Kekkei is completely free.