BSc CSIT (TU) Science Discrete Structure (BSc CSIT, CSC160) Question Paper 2080 Nepal
This is the official BSc CSIT (TU) (Science stream) Discrete Structure (BSc CSIT, CSC160) question paper for 2080, as set in the regular annual examination. It carries 60 full marks and a time allowance of 180 minutes, across 12 questions. On Kekkei you can attempt this Discrete Structure (BSc CSIT, CSC160) past paper online with a timer, get instant AI feedback and step-by-step solutions, and track the topics where you lose marks — completely free. Whether you are revising for your BSc CSIT (TU) Discrete Structure (BSc CSIT, CSC160) exam or solving previous years' question papers, this 2080 paper is a great way to practise under real exam conditions.
Section A: Long Answer Questions
Attempt any TWO questions.
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 , we assume is true and, through a sequence of valid logical steps, deduce that is true.
Example: If is an even integer, then is even.
Assume is even, so for some integer . Then , which is , hence even.
2. Proof by Contraposition
To prove , we instead prove its logically equivalent contrapositive .
Example: If is even, then is even.
Contrapositive: If is odd, then is odd. Let . Then , which is odd. Hence the original statement holds.
3. Proof by Contradiction
To prove a statement , we assume is true and derive a contradiction (something always false). Since the assumption leads to absurdity, must be true.
Example: There is no largest integer.
Assume there is a largest integer . Then is also an integer and , contradicting that is largest. Hence no largest integer exists.
Proof that is Irrational (by Contradiction)
Assume, for contradiction, that is rational. Then we can write
where are integers, , and the fraction is in lowest terms (i.e. and have no common factor; ).
Squaring both sides:
Thus is even, which forces to be even (since the square of an odd number is odd). Write . Then
so is even, hence is even.
But now both and are even, so they share the common factor — contradicting our assumption that .
This contradiction shows our assumption was false. Therefore is irrational.
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 with a binary operation is a group if it satisfies:
- Closure: for all .
- Associativity: .
- Identity: there exists such that .
- Inverse: for each there exists with .
If additionally , the group is abelian (commutative).
Example: , the integers under addition.
Ring
A set with two operations (addition) and (multiplication) is a ring if:
- is an abelian group.
- Multiplication is associative.
- Multiplication distributes over addition: and .
Example: , the integers under usual addition and multiplication.
Field
A field is a commutative ring with a multiplicative identity in which every non-zero element has a multiplicative inverse. That is, is an abelian group and is an abelian group.
Example: , the real numbers; also .
Integers under Addition Form a Group
Let and the operation be ordinary addition . We verify the group axioms:
(i) Closure: For any , is an integer, so . ✓
(ii) Associativity: For all , (a known property of integer addition). ✓
(iii) Identity: and for every , . So is the additive identity. ✓
(iv) Inverse: For each , its inverse is , since . ✓
All four axioms hold, so is a group. Moreover , so it is an abelian group.
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 is an assignment of colors to the vertices such that no two adjacent vertices receive the same color. A coloring that uses at most colors is called a k-coloring, and is then said to be k-colorable.
Chromatic Number
The chromatic number of a graph is the smallest number of colors needed to properly color .
For example, a graph with no edges has ; a bipartite graph with at least one edge has .
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 , .
Chromatic Number of (Complete Graph)
In every vertex is adjacent to every other vertex, so all vertices are pairwise adjacent and each must get a distinct color.
Chromatic Number of (Cycle)
For a cycle on vertices:
- If is even, the vertices can be alternately 2-colored, so .
- If is odd, two colors cannot alternate around the odd cycle (the last vertex clashes with the first), so a third color is needed: .
Section B: Short Answer Questions
Attempt any EIGHT questions.
Define logical implication and biconditional.
Logical Implication (Conditional, ): The compound proposition "if then ", which is false only when is true and is false, and true in all other cases. Here is the hypothesis and the conclusion.
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
Biconditional (): The proposition " if and only if ", which is true exactly when and have the same truth value (both true or both false). It is equivalent to .
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
Show that the function (f(x) = x^2) from R to R is not one-to-one.
A function is one-to-one (injective) if implies for all in the domain. Equivalently, distinct inputs must give distinct outputs.
To show is not one-to-one, we exhibit a counterexample — two different inputs with the same output.
Take and . Then
So but .
More generally, for every , while . Since distinct inputs produce equal outputs, violates the injectivity condition.
Therefore from to is not one-to-one.
Define Cartesian product of two sets with an example.
Cartesian Product: For two sets and , the Cartesian product is the set of all ordered pairs where the first element comes from and the second element comes from :
If has elements and has elements, then . Note that in general (order matters in the pairs).
Example: Let and . Then
which has ordered pairs.
Use mathematical induction to prove (2^n > n) for (n \geq 1).
We prove for all integers by mathematical induction.
Basis Step ():
So the statement holds for . ✓
Inductive Hypothesis: Assume the statement is true for some integer , i.e.
Inductive Step: We must show .
Now because . Therefore
The statement holds for .
Conclusion: By the principle of mathematical induction, for all integers .
Define directed and undirected graphs with examples.
Directed Graph (Digraph): A graph in which each edge has a direction — it is an ordered pair representing an arrow from (tail) to (head). The edge is different from .
Example: , . Here there is an arrow from to but not necessarily from to . Such graphs model one-way streets, web links, or task dependencies.
Undirected Graph: A graph in which edges have no direction — each edge is an unordered pair , so and denote the same edge (the connection is symmetric).
Example: , — 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).
What is a minimum spanning tree? Name two algorithms to find it.
Minimum Spanning Tree (MST): Given a connected, weighted, undirected graph , a spanning tree is a subgraph that is a tree and includes every vertex of (so it has vertices and 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 .
Two algorithms to find an MST:
- Kruskal's algorithm — repeatedly add the smallest-weight edge that does not form a cycle (uses a disjoint-set / union-find structure).
- 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.
Define monoid and semigroup with examples.
Semigroup: An algebraic structure consisting of a non-empty set with a binary operation that satisfies:
- Closure: for all .
- Associativity: for all .
Example: , the set of natural numbers under addition — closed and associative (but here without 0 has no identity).
Monoid: A semigroup that additionally contains an identity element. So is a monoid if:
- Closure holds.
- Associativity holds.
- Identity: there exists such that for all .
Example: where , under addition, with identity . 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.
Solve (7x \equiv 1 \pmod{26}) to find the multiplicative inverse of 7.
We solve , i.e. find the multiplicative inverse of modulo .
Since , the inverse exists and is unique modulo . Use the Extended Euclidean Algorithm.
Euclidean algorithm:
Back-substitution:
So , giving .
Reduce to a positive residue: .
Check: , so . ✓
Thus the multiplicative inverse of modulo is .
State the binomial theorem and expand ((x+y)^4).
Binomial Theorem
For any real numbers and non-negative integer :
where is the binomial coefficient. The coefficients correspond to row of Pascal's triangle.
Expansion of
Here , and the coefficients for are .
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.