BSc CSIT (TU) Science Discrete Structure (BSc CSIT, CSC160) Question Paper 2074 Nepal
This is the official BSc CSIT (TU) (Science stream) Discrete Structure (BSc CSIT, CSC160) question paper for 2074, 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 2074 paper is a great way to practise under real exam conditions.
Section A: Long Answer Questions
Attempt any TWO questions.
Define proposition. Construct the truth table for the compound proposition ((p \rightarrow q) \leftrightarrow (\neg q \rightarrow \neg p)) and determine whether it is a tautology.
Proposition
A proposition (or statement) is a declarative sentence that is either true or false, but not both. For example, "" is a true proposition, while " is even" is a false proposition. Sentences that are questions, commands, or have no definite truth value are not propositions.
Truth Table for
The implication is false only when is true and is false. is the contrapositive of .
| T | T | F | F | T | T | T |
| T | F | F | T | F | F | T |
| F | T | T | F | T | T | T |
| F | F | T | T | T | T | T |
Conclusion
The last column is true in every row. Therefore the compound proposition is a tautology. This confirms the logical equivalence , i.e. an implication is logically equivalent to its contrapositive.
What is mathematical induction? Using the principle of mathematical induction, prove that (1 + 2 + 3 + \dots + n = n(n+1)/2) for all positive integers n.
Mathematical Induction
Mathematical induction is a proof technique used to prove that a statement holds for all positive integers . It consists of two steps:
- Basis step: Show that (or the smallest value) is true.
- Inductive step: Assume is true (the inductive hypothesis) and use it to prove that is true.
If both steps hold, then by the principle of mathematical induction is true for all .
Proof that
Let .
Basis step ():
Since LHS = RHS, is true.
Inductive step: Assume holds for some positive integer :
We must show holds, i.e. .
Adding to both sides of the hypothesis:
This is exactly .
Conclusion
The basis step and inductive step both hold, so by the principle of mathematical induction,
Define a graph. Explain the different types of graphs with examples. Describe the adjacency matrix and incidence matrix representation of a graph.
Definition of a Graph
A graph consists of a non-empty set of vertices (nodes) and a set of edges , where each edge connects a pair of vertices. Graphs are used to model pairwise relationships between objects.
Types of Graphs (with examples)
- Null/Empty graph: A graph with vertices but no edges. Example: .
- Simple graph: No self-loops and no parallel (multiple) edges between the same pair of vertices.
- Multigraph: Allows multiple (parallel) edges between the same pair of vertices.
- Directed graph (digraph): Each edge has a direction, represented as an ordered pair . Example: a one-way road network.
- Undirected graph: Edges have no direction; is unordered.
- Weighted graph: Each edge is assigned a weight/cost. Example: a road map with distances.
- Complete graph : Every pair of distinct vertices is joined by an edge; it has edges.
- Bipartite graph: Vertices split into two disjoint sets with edges only between the sets. Example: .
- Regular graph: Every vertex has the same degree.
Adjacency Matrix
For a graph with vertices, the adjacency matrix is an matrix where
For an undirected graph is symmetric. Example: for a triangle with vertices and edges :
Incidence Matrix
For a graph with vertices and edges, the incidence matrix is an matrix where
Each column has exactly two 1's (the endpoints of that edge). For the triangle above with edges , , :
Section B: Short Answer Questions
Attempt any EIGHT questions.
Convert the decimal number 245 into binary, octal and hexadecimal.
Convert to binary, octal and hexadecimal by repeated division.
Binary (divide by 2):
r ; r ; r ; r ; r ; r ; r ; r .
Reading remainders bottom-up: .
Octal (divide by 8):
r ; r ; r .
So . (Check: group the binary as .)
Hexadecimal (divide by 16):
r ; r .
So . (Check: group the binary as .)
Result: .
Define conjunction, disjunction and negation with truth tables.
Let and be propositions.
Conjunction (): " AND ". It is true only when both and are true.
Disjunction (): " OR " (inclusive). It is true when at least one of , is true.
Negation (): "NOT ". It reverses the truth value of .
| T | T | T | T | F |
| T | F | F | T | F |
| F | T | F | T | T |
| F | F | F | F | T |
What is a bijective function? Give an example.
Bijective Function
A function is bijective (a one-to-one correspondence) if it is both:
- Injective (one-to-one): distinct elements of map to distinct elements of , i.e. .
- Surjective (onto): every element of is the image of some element of , i.e. range .
A bijective function has an inverse .
Example
Let be defined by .
- Injective: If then .
- Surjective: For any , choose ; then .
Hence is bijective, with inverse .
State the principle of inclusion and exclusion.
Principle of Inclusion and Exclusion
For two finite sets and :
For three finite sets , , :
In general, the cardinality of a union of sets is obtained by adding the sizes of single sets, subtracting the sizes of all pairwise intersections, adding back the triple intersections, and so on, alternating signs:
The principle corrects for over-counting of elements that lie in more than one set.
Explain the difference between a walk, path and circuit in a graph.
In a graph, these terms describe sequences of vertices and edges:
-
Walk: A finite alternating sequence of vertices and edges where each edge joins and . Vertices and edges may be repeated. Its length is the number of edges.
-
Path: A walk in which no vertex is repeated (and hence no edge is repeated). It is an open walk (start vertex end vertex).
-
Circuit (closed trail): A closed walk that starts and ends at the same vertex () and in which no edge is repeated (vertices other than the start/end may repeat).
Summary table:
| Type | Repeated vertices? | Repeated edges? | Open/Closed |
|---|---|---|---|
| Walk | allowed | allowed | either |
| Path | not allowed | not allowed | open |
| Circuit | allowed (except start=end) | not allowed | closed |
(A cycle is a closed path: a circuit with no repeated vertices except the start = end.)
Define equivalence relation with an example.
Equivalence Relation
A relation on a set is an equivalence relation if it is:
- Reflexive: for all .
- Symmetric: if then .
- Transitive: if and then .
An equivalence relation partitions the set into disjoint equivalence classes.
Example
Define the relation "congruent modulo 3" on the set of integers : .
- Reflexive: , so .
- Symmetric: if then .
- Transitive: if and , then .
Hence it is an equivalence relation, partitioning into three classes (remainders mod 3).
Solve the recurrence relation (a_n = 2a_{n-1}), (a_0 = 3).
Solving
This is a first-order linear homogeneous recurrence (a geometric progression with common ratio ). Expanding:
Substituting :
Verification: ✓, ✓, ✓.
What is a planar graph? State Euler's formula for planar graphs.
Planar Graph
A planar graph is a graph that can be drawn (embedded) in the plane so that no two of its edges cross each other except at common vertices. Such a drawing is called a plane graph. For example, is planar, whereas and are not planar (by Kuratowski's theorem).
Euler's Formula
For a connected planar graph with vertices, edges and faces (regions, including the unbounded outer face):
For a connected simple planar graph with , this also gives the bound .
Example: A cube graph has , , : ✓.
Find the number of ways to select 3 students from a group of 10.
Selecting 3 Students from 10
Since order does not matter, this is a combination problem, with , :
Result: There are ways to select 3 students from a group of 10.
Frequently asked questions
- Where can I find the BSc CSIT (TU) Discrete Structure (BSc CSIT, CSC160) question paper 2074?
- The full BSc CSIT (TU) Discrete Structure (BSc CSIT, CSC160) 2074 (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) 2074 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) 2074 paper?
- The BSc CSIT (TU) Discrete Structure (BSc CSIT, CSC160) 2074 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.