0% found this document useful (0 votes)
9 views4 pages

Discrete Mathematics Exam Guide

The document is an examination paper for a Discrete Mathematics course, covering various topics such as proofs, set theory, automata, and graph theory. It includes questions on irrational numbers, truth tables, mathematical induction, and combinatorial problems. Students are required to answer a compulsory question and three additional questions from a selection of four.

Uploaded by

khushboo kumari
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
9 views4 pages

Discrete Mathematics Exam Guide

The document is an examination paper for a Discrete Mathematics course, covering various topics such as proofs, set theory, automata, and graph theory. It includes questions on irrational numbers, truth tables, mathematical induction, and combinatorial problems. Students are required to answer a compulsory question and three additional questions from a selection of four.

Uploaded by

khushboo kumari
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

[2] MCS-212

(b) Show that 5 is irrational using the proof


No. of Printed Pages : 7 MCS-212
by contradiction. 5
MASTER OF COMPUTER
(c) If A = {a, b, c} and B = {x, y, z}, find :
APPLICATIONS

o m 2+2+1

(MCA) (NEW) (i)

u
A×B
.c
Term-End Examination
u r
(ii) A × A

December, 2021

nt G (iii) A × ϕ

(d) Find the regular expression for the


MCS-212 : DISCRETE MATHEMATICS
e
m
language : 3
Time : 3 Hours Maximum Marks : 100

i gn L = {aa, aba, abba, abbba, .........}

Note : Question No. 1 is compulsory and carries

s s (e) Give one difference between Deterministic

U A
40 marks. Attempt any three questions from Finite Automata and Non-deterministic

Finite Automata. 2

N O
the rest four questions (Question Nos. 2 to 5).
(f) Find the order and degree of the following

(i) p qr I G
1. (a) Make the truth table for : 5 recurrence relations :

(i) an  an1  an2


3

(ii) pqr  pr (ii) an  an1  an22

P. T. O.
[3] MCS-212 [4] MCS-212

(g) Determine the number of integer solutions 2. (a) What is a tautology ? Find, if the following
of the equation ; 4 is a tautology : 5

( x1  x2  x3  x4 )  7 , [( p  q )   q ]   p

om
(b) Explain how principle of mathematical
where xi  0 for all i = 1, 2, 3, 4.
induction can be used to prove : 8
(h) How many three-letter words, which has

u . c n

r
12  22  32  ...... n 2  (n  1) (2n  1), n  N
vowel in the middle position, can be formed 6
using the letter of English alphabets ? 3

G u
(c) Find the Boolean expression for the output
(i) Consider graph G = K4 on four vertices

nt of the logic circuit given below : 3

a, b, c, d. Make three sub-graphs of


e
graph G. 3

n m
(j) Show that C6 is a bipartite graph. 3

s i g
(k) Does the following graph have Eulerian

A s
circuit ? If yes, give the Eulerian circuit, if
no, explain the reasons :

O U 4 (d) Find, if the following Boolean expressions

N
are equivalent over the two-element

G
Boolean algebra B = {0, 1} : 4

I X  ( a  b )  ( a  c ) and Y  a  (b  c)

3. (a) Find the power set of the set A = {a, b, c, d}.

P. T. O.
[5] MCS-212 [6] MCS-212

(b) If A = {1, 2, 3, 4} and B = {2, 3, 4, 5, 6, 7} (ii) Give one string that will be accepted
and f : A → B is f (x) = x + 1, then find the and one string that will not be

domain and range of f. 4 accepted by this finite automata. 3

4. (a) If there are 7 men and 5 women, how many

m
(c) If f ( x)  x 2 and g ( x )  x  1 , then find
circular arrangements are possible in
f o g (x) and (g o f) (x). 4

.c o
which women do not sit adjacent to each

u
other ? 5
(d) Explain the meaning of each symbol
in the finite automata definition

u r
(b) What is the probability that a number

G
M = (Q, Σ, δ, q0, F). 3 between 1 to 1,000 is divisible by
(e) Consider the following finite automata :

nt neither 2, nor 3 nor 5 ? 5

e (c) What is the meaning of ‘distributions’ of

m
objects ? Explain with the help of an

i gn example. 5

s
(d) Explain the Fibonacci numbers. Also

A s explain the
Fibonacci numbers.
recurrence relation for
5

O U 5. (a) Define the following terms in the context of

N
a graph, with the help of an example : 8

(i)
I G
What would be the values of Q, Σ, δ, q0
(i) Digraph

(ii) Complete graph of three vertices

and F for the automata given above ? (iii) Degree of a vertex

3 (iv) A regular graph

P. T. O.
[7] MCS-212

(b) Explain the terms tree and forest in the


context of graphs, with the help of an
example. 5

(c) What are Hamiltonian graphs ? Explain


with the help of an example. 5

o m
(d) State the travelling salesperson problem. 2

u.c
u r
nt G
e
n m
s i g
A s
O U
G N
I
MCS–212

P. T. O.

Common questions

Powered by AI

The power set of A = {a, b, c, d} is the set of all subsets of A, including the empty set and A itself. It includes 2^4 or 16 subsets in total. Power sets are significant because they represent all possible collections of elements from a set, foundational in understanding subset relationships and in defining functions and relations.

A Hamiltonian graph is one that contains a Hamiltonian cycle—a cycle that visits each vertex exactly once and returns to the starting point. An example is a pentagon-shaped graph where each vertex is connected in a cycle, and there exists a path that visits all vertices exactly once returning to the beginning. Hamiltonian graphs help understand navigability and connectivity in network structures.

A tautology is a formula that is true in every possible interpretation. To determine if the expression [(p → q) ∧ (¬q → ¬p)] is a tautology, construct a truth table. Evaluate each component of the expression and verify whether the whole expression holds true across all possible truth values of p and q. According to the truth table, if every row results in true for the expression, it is a tautology.

An Eulerian circuit is a trail in a graph that visits every edge exactly once and returns to the starting vertex. It exists if and only if every vertex has even degree and all vertices with non-zero degree are connected. This rule ensures continuity and accessibility across edges without repetition or dead-ends within the graph.

The principle of mathematical induction involves two steps: the base case and the inductive step. For the base case, verify the formula for n=1. Next, assume the formula holds for n=k, then prove it for n=k+1 by adding (k+1)^2 to both sides of the assumed equation. Show that this results in the original form of the equation with n replaced by k+1, completing the induction step.

The travelling salesperson problem (TSP) seeks the shortest possible route that visits a set of cities once and returns to the origin city. TSP is significant in optimization and logistics, as it models real-world problems of route determination and cost minimization, but is NP-hard, making exact solutions computationally intensive for large datasets.

In finite automaton M = (Q, Σ, δ, q_0, F), Q represents the set of states, Σ is the alphabet of input symbols, δ is the transition function dictating state changes, q_0 is the start state, and F is the set of accepting states. This structure defines a computation model that processes strings of input symbols and determines acceptance of those strings based on transitions and final states.

The key distinction between DFA and NFA is that DFA has a single possible move from each state for a particular input, meaning its state transitions are uniquely determined by the current state and input. In contrast, NFA can have zero, one, or multiple possible next states from a particular state for a given input, allowing state transitions to be non-deterministic.

A tree is a connected acyclic graph with no cycles, consisting of vertices connected by edges, characterized primarily by having n-1 edges for n vertices. A forest, by extension, is a disjoint union of trees, implying it consists of multiple, non-connected trees. This distinction highlights structural decomposition versus singular connectedness in graphs.

To find the number of non-negative integer solutions to the equation x_1 + x_2 + x_3 + x_4 = 7, use the "stars and bars" method. This involves finding the number of ways to allocate 7 identical items (stars) into 4 distinct groups (the variables), which is calculated as the binomial coefficient (7+4-1 choose 4-1), or (10 choose 3), which equals 120.

You might also like