Gujarat Technological University: Instructions

Seat No.: _____ Enrolment No.
______
GUJARAT TECHNOLOGICAL UNIVERSITY

MCA Sem-I Examination January 2010
Subject code: 610003

Subject ame: Discreet Mathematics for Computer Science
Date: 21 / 01/ 2010 Time: 12.00 -2.30 pm
Total Marks: 70
Instructions:
1. Attempt all questions.
2. Make suitable assumptions wherever necessary.
3. Figures to the right indicate full marks.
Q.1 (a) Define “Boolean expression”. Show that 07

[a * (b’ ⊕ c)]’ * [b’ ⊕ (a * c’)’]’ = a * b * c’
(b) Define “Symmetric Boolean expression”. Determine whether the 07

following functions are symmetric or not:
(i) a’bc’ + a’c’d + a’bcd + abc’d
(ii) abc’ + ab’c + a’bc + ab’c’ + a’bc’ + a’b’c
Q.2 (a) Define “Universal quantifier” and “Existential quantifier”. 07

(i) Express the following sentences into logical expression using
First Order Predicate Logic:
“All lines are fierce”
“Some student in this class has got university rank”
(ii) Show the following implication without constructing the truth
tables first and thereafter show it through the truth tables.
(P → Q) → Q => (P ∨ Q)
(b) Define equivalence relation. 07

Let Z be the set of integers and R be the relation called “Congruence
modulo 5” defined by
R = {<x,y> | x ∈ Z ∧ y ∈ Z ∧ ( x − y ) is divisible by 5}
Show that R is an equivalence relation. Determine the equivalence
classes generated by the elements of Z.
OR
(b) Define “compatibility relation” and “maximal compatibility block”. Let 07
the compatibility relation on a set (x1, x2,…., x6} be given by the matrix
x2 1
x3 1 1
x4 0 0 1
x5 0 0 1 1
x6 1 0 1 0 1
x1 x2 x3 x4 x5
Draw the graphs and find the maximal compatibility blocks of the
relation.
1
Q.3 (a) Define “Composite relation” and “Converse of a relation”. 07
Given the relation matrix MR of a relation R on the set {a, b, c}, find the
relation matrices of ~R (Converse of a R),
R2 = R o R and R o ~R.
MR = 1 0 1
1 1 0
1 1 1
(b) Prove the following Boolean Identities: 04
(i) a ⊕ (a ⊕ b' )' = a ⊕ b
(ii) a * (a * b' )' = a * b
(c) Find the six left cosets of H = {p1, p5, p6} in the group 03
〈 S3, * 〉 , given in the following table:
* p1 p2 p3 p4 p5 p6
p1 p1 p2 p3 p4 p5 p6
p2 p2 p1 p5 p6 p3 p4
p3 p3 p6 p1 p5 p4 p2
p4 p4 p5 p6 p1 p2 p3
p5 p5 p4 p2 p3 p6 p1
p6 p6 p3 p4 p2 p1 p5
OR
Q.3 (a) (i) Define “Partial order relation” and “Chain”. 07
(ii) The following figure gives the Hesse diagram of a partially ordered
set <P, R>, where P = {x1, x2, x3, x4, x5}.
x1
x2 x3
x4 x5
Find which of the following are true:

x1 R x2, x4 R x1, x1 R x1, and x2 R x5. Find the upper and lower bounds
of {x2, x3, x4}, {x3, x4, x5}, {x1, x2, x3}
(b) Show that 04
(i) a+0=a
(ii) a + 1 = a'
(iii) a+a =0
(iv) a + a' = 1
where a + b = (a * b' ) ⊕ (a ' * b)
(c) Show that 〈 S3, * 〉 as given in the above table [i.e. Q.3(c) main part] is a 03
group. [Note: Only one non-trivial example to show associativity will be
sufficient.
2
Q.4 (a) Define “Group”, “Order of a group”, and “Abelian Group”. 07
For P = { p1, p2,…. p5} and Q = { q1, q2,…., q5} explain why (P, *) and
<Q, ∆ > are not groups. The operations * and ∆ are given in the
following table:
* p1 p2 p3 p4 p5 ∆ q1 q2 q3 q4 q5
p1 p1 p2 p3 p4 p5 q1 q4 q1 q5 q3 q2
p2 p2 p1 p4 p5 p3 q2 q3 q5 q2 q1 q4
p3 p3 p5 p1 p2 p4 q3 q1 q2 q3 q4 q5
p4 p4 p3 p5 p1 p2 q4 q2 q4 q1 q5 q3
p5 p5 p4 p2 p3 p4 q5 q5 q3 q4 q2 q1
(b) Define “Lattice as an Algebraic System”, “Direct Product of Lattices” 07

and “Complete Lattice”.
Let the sets S0, S1,………………, S7 be given by
S0 = {a, b, c, d, e, f}, S1 = {a, b, c, d, e}, S2 = {a, b, c, e, f}, S3 = {a, b, c,
e}, S4 = {a, b, c}, S5 = {a, b}, S6 = {a, c},
S7 = {a}
Draw the diagram of <L, ⊆ >,
where L = {S0, S1, S2,………, S7}
OR
Q.4 (a) Define “Subgroup”, “Group Isomorphism”, and “Kernel of the 07

homomorphism”.
Show that the groups <G, *> and <S, ∆ > given by the following table
are isomorphic.
* p1 p2 p3 p4 ∆ q1 q2 q3 q4
p1 p1 p2 p3 p4 q1 q3 q4 q1 q2
p2 p2 p1 p4 p3 q2 q4 q3 q2 q1
p3 p3 p4 p1 p2 q3 q1 q2 q3 q4
p4 p4 p3 p2 p1 q4 q2 q1 q4 q3
(b) Define “Sub Lattice”, “Lattice homomorphism” and “Distributive 07

Lattice”.
Find all the sub lattices of the lattice <Sn, D) for n = 12, i.e. the lattice of
divisors of 12 in which the partial ordering relation D means “division”.
Q.5 (a) Define Directed Graph, Cycle, Path, In degree, Binary Tree 05
(b) Can we say that any square Boolean Matrix will definitely represent a 05
directed graph? What does a 4x4 unit matrix represent?
Draw the graph corresponding to the following Boolean Matrix:
0 1 0 0 0
0 0 1 1 0
0 0 0 1 1
1 0 0 0 1
0 0 0 0 0
How many (>=0) cycles does this graph have? Write down all the cycles.
Which single edge is to be deleted to convert this graph into a cyclic
graph?
3
(c) From the adjacency matrix of a simple digraph, how will you determine 04
whether it is a directed tree? If it is a directed tree, how will you
determine its root and terminal nodes?
OR
Q.5 (a) Define Graph, Loop, Out Degree, Tree, Node Base 05
(b) Find the strong components of the digraph given below: 05
3 4 6
2 1 5
Also find its unilateral components. Give brief valid reasons/justification
for your answer.
(c) Define complete binary tree. Show through two examples with nt = 7 04
and nt = 8 of complete binary trees that the total number of edges is
given by 2(nt – 1), where nt is the number of terminal nodes.
*************

Gujarat Technological University: Instructions

Uploaded by

Copyright:

Available Formats

Gujarat Technological University: Instructions

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Gujarat Technological University: Instructions

Uploaded by

Copyright:

Available Formats

Seat No.: _____ Enrolment No.

GUJARAT TECHNOLOGICAL UNIVERSITY

Subject code: 610003

Q.1 (a) Define “Boolean expression”. Show that 07

(b) Define “Symmetric Boolean expression”. Determine whether the 07

Q.2 (a) Define “Universal quantifier” and “Existential quantifier”. 07

(b) Define equivalence relation. 07

Find which of the following are true:

(b) Define “Lattice as an Algebraic System”, “Direct Product of Lattices” 07

Q.4 (a) Define “Subgroup”, “Group Isomorphism”, and “Kernel of the 07

(b) Define “Sub Lattice”, “Lattice homomorphism” and “Distributive 07

You might also like

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.