SlideShare una empresa de Scribd logo
1 de 10
Descargar para leer sin conexión
Code No: A109210501 R09 Set No. 2
II B.Tech I Semester Examinations,May/June 2012
MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE
Common to Information Technology, Computer Science And Engineering
Time: 3 hours Max Marks: 75
Answer any FIVE Questions
All Questions carry equal marks
1. Show that T → S is a valid conclusion from the given premises
(PΛQ)V (R → S) , T → R, ¬PΛQ) [15]
2. (a) Verify Euler’s formula for the following graph. Figure 1
(b) What do you mean by a spanning tree? Explain BFS method for finding a
spanning tree for the graph. [15]
Figure 1:
3. Find a general expression for a solution to the recurrence relation
an − 5an−1 + 6an−2 = 2n
for n ≥ 2. [15]
4. (a) Prove that the intersection of two submonoids of a monoid is a monoid.
(b) Define subgroup, semigroup and monoid. Give an example of a monoid which
is not a group. [8+7]
5. (a) Find the CNF of QV(PΛ¬Q)V(¬ P Λ¬ Q).
(b) Show that the following statements are logically equivalent without using truth
table.
(P → Q) ⇔ (PΛQ)V(¬PΛ¬Q). [15]
6. (a) Use the multinomial theorem to expand (x1 + x2 + x3 + x4)4
(b)Show that C(n,1)+3C(n,3)+5C(n,5)+....=2C(n,2)+4C(n,4)+...= n2n−2
[15]
7. (a) Let R be the set of real numbers & let f:R → R be defined by f(x) = x2
. Is
‘f’ invertible?
(b) Let R = {(1,2), (3,4), (2,2)} and S = {(4,2), (2,5), (3,1), (1,3)}. Find RoS,
SoR, Ro(SoR), (RoS)oR, RoR, SoS, RoRoR, SoSoS [15]
8. (a) Prove that the following graphs (figure 2) are not isomorphic.
1
n 2n-2
Code No: A109210501 R09 Set No. 2
Figure 2:
Figure 3:
2
Code No: A109210501 R09 Set No. 2
(b) Find the chromatic polynormal of following (figure 3) graph. [15]
3
Code No: A109210501 R09 Set No. 4
II B.Tech I Semester Examinations,May/June 2012
MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE
Common to Information Technology, Computer Science And Engineering
Time: 3 hours Max Marks: 75
Answer any FIVE Questions
All Questions carry equal marks
1. (a) Using DFS method construct a spanning tree for the graph G = ({a,b,c,d,e,f,g,h,i},R),
where R = {(a,b),(a,c),(b,c),(b,d),(b,g),(c,e),(c,f),(d,f),(e,g),(f,g),(f,h),(f,i),(g,h),(g,i),(h,i)}
(b) If the adjacency matrix is given by




1 1 2 1
1 2 1 2
1 2 0 1
0 2 1 0



. Find the loops and the
multi edges of the graph and draw the graph. [15]
2. (a) Prove or disprove the validity of the following arguments using the rules of
inference.
All men are fallible
All kings are men
Therefore, all kings are fallible
(b) Show that (∃x) (p (x) ΛQ (x)) ⇒ (∃x) (p (x) Λ∃ (x) Q (x)) . [15]
3. Lt U = {1, ......... , 9} A = {1,2,4,6,8}, B = {2,4,5,9}, C = {x/x is a ‘+’ ve integer
and x2
≤ 10}. Compute the following.
(a) A - B
(b) B - A
(c) A - C
(d) (A ∪ B) − C
(e) A ∪ (B − C)
(f) (A - B) - C
(g) (A ∪ B) − (A ∪ C)
(h) (A ∪ B) − (B ∩ C) [15]
4. Write the generating function for ar = 5r
+ (−1) 3r
+ 8c(r + 3, r) [15]
5. Given the algebraic system <N, +> and <Z4, +4>, where N is the set of natural
numbers and + is the addition operation on N and Z4 denote the set of equivalence
classes generated as Z4 = { [0],[1], [2], [3]} AND +4 define an operation on Z4
given by [i] +4 [j] = [(i+j) (mod 4)] for all I,j = 0,1,2,3. Show that there exists a
homomorphism from <N,+> to <Z4,+4>. [15]
6. (a) Find the number of words that can be formed by scrambling the letters of the
word SCRAMBLE.
4
r
Code No: A109210501 R09 Set No. 4
(b) A salesperson at a computer store would like to display six models of personal
computers, five models of computer monitors, and four models of keyboards.
In how many different ways can we arrange them in a row if the items of the
same family are to be next to each other? [15]
7. (a) Show that ¬(P ↔ Q) ↔ (PΛ¬Q)V (¬PV Q).
(b) Find PDNF of (¬P ↔ R)Λ(Q ↔ P) [15]
8. (a) Prove that S5 is isomorphic to K14.
(b) Prove that every planer graph G has χ(G) ≤ 6. [15]
5
Code No: A109210501 R09 Set No. 1
II B.Tech I Semester Examinations,May/June 2012
MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE
Common to Information Technology, Computer Science And Engineering
Time: 3 hours Max Marks: 75
Answer any FIVE Questions
All Questions carry equal marks
1. (a) Show that if a group <G,*> is of even order. Then there must bge an element
a ∈ G, such that a = e and a*a = e.
(b) Determine all the proper subgroups of the symmetric group <S3, ♦> described
in the table [7+8]
♦ 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
2. (a) Construct the truth table for the following statement
(P → Q) V (¬P → R)
(b) Show that the following statements are logically equivalent without using truth
table.
(P → R) Λ (Q → R) ⇔ (PVQ) → R [15]
3. (a) Let Q(x,y) denote the statement “x = y + 2”, what are the truth values of
the propositions Q(1,2) and Q(2,0).
(b) If S={-2.-1,0,1,2} determine the truth value of [15]
4. (a) A function f:(Z×Z) → Z is defined by f(x,y) = 4x - 5y. Prove that f is not
one-to-one, but onto
(b) If A,B,C are three sets such that A ⊆ B. Show that (A × C) ⊆ (B × C)
(c) If A = {1,2,3}, B = {4,5}. Find
i. A×B
ii. B×A [15]
6
Sx2,x3x
2
∈−≤
Code No: A109210501 R09 Set No. 1
5. (a) Find the generating function of n2
-2.
(b) Solve an = an−1 + n, where a0 = 2 by substitution [15]
6. Find whether the following graphs (figure 4) are isomorphic. [15]
Figure 4:
7. (a) Verify Euler’s formula for following graph (figure 5).
Figure 5:
(b) Use Krushal’s algorithm to find the minimum spanning tree for the following
graph (figure 6). [15]
8. (a) Find the number of arrangements of four books from 12 on a shelf.
(b) Find the number of distinct triples (x1,x2,x3) of non-negative integers satisfy-
ing x1+x2+x3 <15. [15]
7
Figure 6
**********
Code No: A109210501 R09 Set No. 1
8
Code No: A109210501 R09 Set No. 3
Figure 6:
II B.Tech I Semester Examinations,May/June 2012
MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE
Common to Information Technology, Computer Science And Engineering
Time: 3 hours Max Marks: 75
Answer any FIVE Questions
All Questions carry equal marks
1. (a) Let A = {1,2,3}. Determine all partitions of A.
(b) Let x = {1,2,3} anf f,g,h & s are the functions from X to X given by
f = {< 1, 2 >, < 2, 3 >, < 3, 1 >}
g = {< 1, 2 >, < 2, 1 >, < 3, 3 >}
h = {< 1, 1 >, < 2, 2 >, < 3, 1 >}
s = {< 1, 1 >, < 2, 2 >, < 3, 3 >}
Find fog, gof, fohog, sog, gos, sos, fos, foh, fosoh, fof. [15]
2. (a) Find how many solutions are there to the given equation that satisfies the
given condition x1 + x2 + x3 = 20, where each xi is a positive integer.
(b) How many ways can the letters of the word ALGORITHM be arranged in a
row if A and L must remain together as a unit? [15]
3. (a) Give the adjacency matrix of the digraph G = ({a,b,c,d}, R), where R =
{(a,b),(b,c),(d,c),(d,a),}
(b) Find the indegree and outdegree of each vertex of the following graph (figure
7). [15]
4. (a) Construct the truth table for the following statement (PV¬Q) → (PΛQ) .
8
9
Code No: A109210501 R09 Set No. 3
Figure 7:
(b) Show that the following statements are logically equivalent without using truth
table. P(V (QΛR) ⇔ (PVQ) Λ (PVR) [15]
5. Find the general solution for the recurrence relation an − an−1 = 4(n + n3
), where
n ≥ 1, and a0 = 5 [15]
6. Determine each of the following complete bipartite graph Km,n is Hamiltonian
or not. If a graph is not Hamiltonian, does it contain a Hamiltonian path?
(a) K2,3
(b) K3,3
(c) K2,4
(d) K3,4 [15]
7. (a) Is the following conclusion validly derivable from the premises given? Verify.
If (x)(P(x) → Q(x)), (exists y)P(y) then (exists z)Q(z).
(b) Prove that (x)(H(x) → A(x)) ⇒ (x)( (∃ y)(H(y) Λ N(x, y)) → (∃ y)(A( y) Λ
N(x, y)). [15]
8. (a) Let A = NxN and let * be a binary operation on A defined by (a,b) * (c,d) =
(ad + bc, bd) for all (a,b), (c,d) ∈ NxN. Show that A has no identity element.
(b) Show that the set of all roots of the equation x4
= 1 forms a group under
multiplication. [8+7]
10
m,n

Más contenido relacionado

La actualidad más candente

4.7 graph linear functions day 1
4.7 graph linear functions   day 14.7 graph linear functions   day 1
4.7 graph linear functions day 1
bweldon
 

La actualidad más candente (20)

Homework
HomeworkHomework
Homework
 
Homework
HomeworkHomework
Homework
 
FUNCTION- Algebraic Function
FUNCTION- Algebraic FunctionFUNCTION- Algebraic Function
FUNCTION- Algebraic Function
 
Funções 1
Funções 1Funções 1
Funções 1
 
Triumph JEE Advanced Maths Paper 2
Triumph JEE Advanced Maths Paper 2Triumph JEE Advanced Maths Paper 2
Triumph JEE Advanced Maths Paper 2
 
[Question Paper] Logic and Discrete Mathematics (Revised Course) [January / 2...
[Question Paper] Logic and Discrete Mathematics (Revised Course) [January / 2...[Question Paper] Logic and Discrete Mathematics (Revised Course) [January / 2...
[Question Paper] Logic and Discrete Mathematics (Revised Course) [January / 2...
 
INVERSE FUNCTION
INVERSE FUNCTIONINVERSE FUNCTION
INVERSE FUNCTION
 
Vertex cover Problem
Vertex cover ProblemVertex cover Problem
Vertex cover Problem
 
Modul 3 quadratic function
Modul 3 quadratic functionModul 3 quadratic function
Modul 3 quadratic function
 
Additional math 1999
Additional math   1999Additional math   1999
Additional math 1999
 
[Question Paper] Logic and Discrete Mathematics (Revised Course) [June / 2016]
[Question Paper] Logic and Discrete Mathematics (Revised Course) [June / 2016][Question Paper] Logic and Discrete Mathematics (Revised Course) [June / 2016]
[Question Paper] Logic and Discrete Mathematics (Revised Course) [June / 2016]
 
Module 12 matrices
Module 12   matricesModule 12   matrices
Module 12 matrices
 
2ndyear20yrs
2ndyear20yrs2ndyear20yrs
2ndyear20yrs
 
4.7 graph linear functions day 1
4.7 graph linear functions   day 14.7 graph linear functions   day 1
4.7 graph linear functions day 1
 
Basic galois field arithmatics required for error control codes
Basic galois field arithmatics required for error control codesBasic galois field arithmatics required for error control codes
Basic galois field arithmatics required for error control codes
 
Linear Cryptanalysis Lecture 線形解読法
Linear Cryptanalysis Lecture 線形解読法Linear Cryptanalysis Lecture 線形解読法
Linear Cryptanalysis Lecture 線形解読法
 
Complexos 2
Complexos 2Complexos 2
Complexos 2
 
Modeling with quadratic functions
Modeling with quadratic functionsModeling with quadratic functions
Modeling with quadratic functions
 
Relations and Functions
Relations and FunctionsRelations and Functions
Relations and Functions
 
Daa q.paper
Daa q.paperDaa q.paper
Daa q.paper
 

Destacado (6)

A109212102 mechanicsoffluids1
A109212102 mechanicsoffluids1A109212102 mechanicsoffluids1
A109212102 mechanicsoffluids1
 
Organizational Settings in Public Relations
Organizational Settings in Public RelationsOrganizational Settings in Public Relations
Organizational Settings in Public Relations
 
3. Implications For Organizational Structure, Culture And Management
3. Implications For Organizational Structure, Culture And Management3. Implications For Organizational Structure, Culture And Management
3. Implications For Organizational Structure, Culture And Management
 
Public Relations Management Session 2 Corporate Communications And Pr Com...
Public Relations Management   Session 2   Corporate Communications And Pr Com...Public Relations Management   Session 2   Corporate Communications And Pr Com...
Public Relations Management Session 2 Corporate Communications And Pr Com...
 
State of the Word 2011
State of the Word 2011State of the Word 2011
State of the Word 2011
 
Slideshare ppt
Slideshare pptSlideshare ppt
Slideshare ppt
 

Similar a Mathematicalfoundationofcomputerscience

09 a1bs04 mathematical methods
09 a1bs04 mathematical methods09 a1bs04 mathematical methods
09 a1bs04 mathematical methods
jntuworld
 
Notes and-formulae-mathematics
Notes and-formulae-mathematicsNotes and-formulae-mathematics
Notes and-formulae-mathematics
Ah Ching
 

Similar a Mathematicalfoundationofcomputerscience (20)

[Question Paper] Logic and Discrete Mathematics (Revised Course) [April / 2015]
[Question Paper] Logic and Discrete Mathematics (Revised Course) [April / 2015][Question Paper] Logic and Discrete Mathematics (Revised Course) [April / 2015]
[Question Paper] Logic and Discrete Mathematics (Revised Course) [April / 2015]
 
[Question Paper] Logic and Discrete Mathematics (Revised Course) [January / 2...
[Question Paper] Logic and Discrete Mathematics (Revised Course) [January / 2...[Question Paper] Logic and Discrete Mathematics (Revised Course) [January / 2...
[Question Paper] Logic and Discrete Mathematics (Revised Course) [January / 2...
 
presentation about set theorem
presentation about set theorempresentation about set theorem
presentation about set theorem
 
Ats maths09
Ats maths09Ats maths09
Ats maths09
 
Ee693 sept2014midsem
Ee693 sept2014midsemEe693 sept2014midsem
Ee693 sept2014midsem
 
F4 03 Sets
F4 03 SetsF4 03 Sets
F4 03 Sets
 
Cs101 endsem 2014
Cs101 endsem 2014Cs101 endsem 2014
Cs101 endsem 2014
 
09 a1bs04 mathematical methods
09 a1bs04 mathematical methods09 a1bs04 mathematical methods
09 a1bs04 mathematical methods
 
Mdel Question 1
Mdel Question 1Mdel Question 1
Mdel Question 1
 
Modul t4
Modul t4Modul t4
Modul t4
 
3rd Semester Computer Science and Engineering (ACU) Question papers
3rd Semester Computer Science and Engineering  (ACU) Question papers3rd Semester Computer Science and Engineering  (ACU) Question papers
3rd Semester Computer Science and Engineering (ACU) Question papers
 
KARNAUGH MAP(K-MAP)
KARNAUGH MAP(K-MAP)KARNAUGH MAP(K-MAP)
KARNAUGH MAP(K-MAP)
 
Notes and Formulae Mathematics SPM
Notes and Formulae Mathematics SPM Notes and Formulae Mathematics SPM
Notes and Formulae Mathematics SPM
 
Notes and-formulae-mathematics
Notes and-formulae-mathematicsNotes and-formulae-mathematics
Notes and-formulae-mathematics
 
Mathematics formulas
Mathematics formulasMathematics formulas
Mathematics formulas
 
Algorithm Homework Help
Algorithm Homework HelpAlgorithm Homework Help
Algorithm Homework Help
 
Prepertry14
Prepertry14Prepertry14
Prepertry14
 
Adobe
AdobeAdobe
Adobe
 
Cs6503 theory of computation november december 2015 be cse anna university q...
Cs6503 theory of computation november december 2015  be cse anna university q...Cs6503 theory of computation november december 2015  be cse anna university q...
Cs6503 theory of computation november december 2015 be cse anna university q...
 
Set 1 mawar
Set 1 mawarSet 1 mawar
Set 1 mawar
 

Más de jntuworld

A109211201 data-communication-systems1
A109211201 data-communication-systems1A109211201 data-communication-systems1
A109211201 data-communication-systems1
jntuworld
 
09 a11291 engineering drawing (1)
09 a11291 engineering drawing (1)09 a11291 engineering drawing (1)
09 a11291 engineering drawing (1)
jntuworld
 
09 a10591 engg drawing
09 a10591 engg drawing09 a10591 engg drawing
09 a10591 engg drawing
jntuworld
 
09 a10591 engg drawing (1)
09 a10591 engg drawing (1)09 a10591 engg drawing (1)
09 a10591 engg drawing (1)
jntuworld
 
09 a10491 engg drawing
09 a10491 engg drawing09 a10491 engg drawing
09 a10491 engg drawing
jntuworld
 
09 a10291 engineering drawing
09 a10291 engineering drawing09 a10291 engineering drawing
09 a10291 engineering drawing
jntuworld
 
09 a1ec01 c programming and data structures
09 a1ec01 c programming and data structures09 a1ec01 c programming and data structures
09 a1ec01 c programming and data structures
jntuworld
 
09 a1bs06 fundamentalsofbiology
09 a1bs06 fundamentalsofbiology09 a1bs06 fundamentalsofbiology
09 a1bs06 fundamentalsofbiology
jntuworld
 
09 a1bs02 engineeringphysics
09 a1bs02 engineeringphysics09 a1bs02 engineeringphysics
09 a1bs02 engineeringphysics
jntuworld
 

Más de jntuworld (20)

A109211802 physicalmetallurgy1
A109211802 physicalmetallurgy1A109211802 physicalmetallurgy1
A109211802 physicalmetallurgy1
 
A109211401 thermalscience1
A109211401 thermalscience1A109211401 thermalscience1
A109211401 thermalscience1
 
A109211201 data-communication-systems1
A109211201 data-communication-systems1A109211201 data-communication-systems1
A109211201 data-communication-systems1
 
A109211002 switchingtheoryandlogicdesign1
A109211002 switchingtheoryandlogicdesign1A109211002 switchingtheoryandlogicdesign1
A109211002 switchingtheoryandlogicdesign1
 
A109210503 digitallogicdesign1
A109210503 digitallogicdesign1A109210503 digitallogicdesign1
A109210503 digitallogicdesign1
 
A109210305 thermodynamics1
A109210305 thermodynamics1A109210305 thermodynamics1
A109210305 thermodynamics1
 
A109210204 electrical-circuits1
A109210204 electrical-circuits1A109210204 electrical-circuits1
A109210204 electrical-circuits1
 
Surveying1
Surveying1Surveying1
Surveying1
 
Metallurgy and material_science
Metallurgy and material_scienceMetallurgy and material_science
Metallurgy and material_science
 
Mechanics of solids1
Mechanics of solids1Mechanics of solids1
Mechanics of solids1
 
Electrical circuits1
Electrical circuits1Electrical circuits1
Electrical circuits1
 
Digital logic design1
Digital logic design1Digital logic design1
Digital logic design1
 
09 a11291 engineering drawing (1)
09 a11291 engineering drawing (1)09 a11291 engineering drawing (1)
09 a11291 engineering drawing (1)
 
09 a10591 engg drawing
09 a10591 engg drawing09 a10591 engg drawing
09 a10591 engg drawing
 
09 a10591 engg drawing (1)
09 a10591 engg drawing (1)09 a10591 engg drawing (1)
09 a10591 engg drawing (1)
 
09 a10491 engg drawing
09 a10491 engg drawing09 a10491 engg drawing
09 a10491 engg drawing
 
09 a10291 engineering drawing
09 a10291 engineering drawing09 a10291 engineering drawing
09 a10291 engineering drawing
 
09 a1ec01 c programming and data structures
09 a1ec01 c programming and data structures09 a1ec01 c programming and data structures
09 a1ec01 c programming and data structures
 
09 a1bs06 fundamentalsofbiology
09 a1bs06 fundamentalsofbiology09 a1bs06 fundamentalsofbiology
09 a1bs06 fundamentalsofbiology
 
09 a1bs02 engineeringphysics
09 a1bs02 engineeringphysics09 a1bs02 engineeringphysics
09 a1bs02 engineeringphysics
 

Último

Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
ZurliaSoop
 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please Practise
AnaAcapella
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
kauryashika82
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
negromaestrong
 

Último (20)

microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
 
Asian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptxAsian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptx
 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
 
Magic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptxMagic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptx
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
 
ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701
 
Unit-IV; Professional Sales Representative (PSR).pptx
Unit-IV; Professional Sales Representative (PSR).pptxUnit-IV; Professional Sales Representative (PSR).pptx
Unit-IV; Professional Sales Representative (PSR).pptx
 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please Practise
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
 
Spatium Project Simulation student brief
Spatium Project Simulation student briefSpatium Project Simulation student brief
Spatium Project Simulation student brief
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 

Mathematicalfoundationofcomputerscience

  • 1. Code No: A109210501 R09 Set No. 2 II B.Tech I Semester Examinations,May/June 2012 MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE Common to Information Technology, Computer Science And Engineering Time: 3 hours Max Marks: 75 Answer any FIVE Questions All Questions carry equal marks 1. Show that T → S is a valid conclusion from the given premises (PΛQ)V (R → S) , T → R, ¬PΛQ) [15] 2. (a) Verify Euler’s formula for the following graph. Figure 1 (b) What do you mean by a spanning tree? Explain BFS method for finding a spanning tree for the graph. [15] Figure 1: 3. Find a general expression for a solution to the recurrence relation an − 5an−1 + 6an−2 = 2n for n ≥ 2. [15] 4. (a) Prove that the intersection of two submonoids of a monoid is a monoid. (b) Define subgroup, semigroup and monoid. Give an example of a monoid which is not a group. [8+7] 5. (a) Find the CNF of QV(PΛ¬Q)V(¬ P Λ¬ Q). (b) Show that the following statements are logically equivalent without using truth table. (P → Q) ⇔ (PΛQ)V(¬PΛ¬Q). [15] 6. (a) Use the multinomial theorem to expand (x1 + x2 + x3 + x4)4 (b)Show that C(n,1)+3C(n,3)+5C(n,5)+....=2C(n,2)+4C(n,4)+...= n2n−2 [15] 7. (a) Let R be the set of real numbers & let f:R → R be defined by f(x) = x2 . Is ‘f’ invertible? (b) Let R = {(1,2), (3,4), (2,2)} and S = {(4,2), (2,5), (3,1), (1,3)}. Find RoS, SoR, Ro(SoR), (RoS)oR, RoR, SoS, RoRoR, SoSoS [15] 8. (a) Prove that the following graphs (figure 2) are not isomorphic. 1 n 2n-2
  • 2. Code No: A109210501 R09 Set No. 2 Figure 2: Figure 3: 2
  • 3. Code No: A109210501 R09 Set No. 2 (b) Find the chromatic polynormal of following (figure 3) graph. [15] 3
  • 4. Code No: A109210501 R09 Set No. 4 II B.Tech I Semester Examinations,May/June 2012 MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE Common to Information Technology, Computer Science And Engineering Time: 3 hours Max Marks: 75 Answer any FIVE Questions All Questions carry equal marks 1. (a) Using DFS method construct a spanning tree for the graph G = ({a,b,c,d,e,f,g,h,i},R), where R = {(a,b),(a,c),(b,c),(b,d),(b,g),(c,e),(c,f),(d,f),(e,g),(f,g),(f,h),(f,i),(g,h),(g,i),(h,i)} (b) If the adjacency matrix is given by     1 1 2 1 1 2 1 2 1 2 0 1 0 2 1 0    . Find the loops and the multi edges of the graph and draw the graph. [15] 2. (a) Prove or disprove the validity of the following arguments using the rules of inference. All men are fallible All kings are men Therefore, all kings are fallible (b) Show that (∃x) (p (x) ΛQ (x)) ⇒ (∃x) (p (x) Λ∃ (x) Q (x)) . [15] 3. Lt U = {1, ......... , 9} A = {1,2,4,6,8}, B = {2,4,5,9}, C = {x/x is a ‘+’ ve integer and x2 ≤ 10}. Compute the following. (a) A - B (b) B - A (c) A - C (d) (A ∪ B) − C (e) A ∪ (B − C) (f) (A - B) - C (g) (A ∪ B) − (A ∪ C) (h) (A ∪ B) − (B ∩ C) [15] 4. Write the generating function for ar = 5r + (−1) 3r + 8c(r + 3, r) [15] 5. Given the algebraic system <N, +> and <Z4, +4>, where N is the set of natural numbers and + is the addition operation on N and Z4 denote the set of equivalence classes generated as Z4 = { [0],[1], [2], [3]} AND +4 define an operation on Z4 given by [i] +4 [j] = [(i+j) (mod 4)] for all I,j = 0,1,2,3. Show that there exists a homomorphism from <N,+> to <Z4,+4>. [15] 6. (a) Find the number of words that can be formed by scrambling the letters of the word SCRAMBLE. 4 r
  • 5. Code No: A109210501 R09 Set No. 4 (b) A salesperson at a computer store would like to display six models of personal computers, five models of computer monitors, and four models of keyboards. In how many different ways can we arrange them in a row if the items of the same family are to be next to each other? [15] 7. (a) Show that ¬(P ↔ Q) ↔ (PΛ¬Q)V (¬PV Q). (b) Find PDNF of (¬P ↔ R)Λ(Q ↔ P) [15] 8. (a) Prove that S5 is isomorphic to K14. (b) Prove that every planer graph G has χ(G) ≤ 6. [15] 5
  • 6. Code No: A109210501 R09 Set No. 1 II B.Tech I Semester Examinations,May/June 2012 MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE Common to Information Technology, Computer Science And Engineering Time: 3 hours Max Marks: 75 Answer any FIVE Questions All Questions carry equal marks 1. (a) Show that if a group <G,*> is of even order. Then there must bge an element a ∈ G, such that a = e and a*a = e. (b) Determine all the proper subgroups of the symmetric group <S3, ♦> described in the table [7+8] ♦ 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 2. (a) Construct the truth table for the following statement (P → Q) V (¬P → R) (b) Show that the following statements are logically equivalent without using truth table. (P → R) Λ (Q → R) ⇔ (PVQ) → R [15] 3. (a) Let Q(x,y) denote the statement “x = y + 2”, what are the truth values of the propositions Q(1,2) and Q(2,0). (b) If S={-2.-1,0,1,2} determine the truth value of [15] 4. (a) A function f:(Z×Z) → Z is defined by f(x,y) = 4x - 5y. Prove that f is not one-to-one, but onto (b) If A,B,C are three sets such that A ⊆ B. Show that (A × C) ⊆ (B × C) (c) If A = {1,2,3}, B = {4,5}. Find i. A×B ii. B×A [15] 6 Sx2,x3x 2 ∈−≤
  • 7. Code No: A109210501 R09 Set No. 1 5. (a) Find the generating function of n2 -2. (b) Solve an = an−1 + n, where a0 = 2 by substitution [15] 6. Find whether the following graphs (figure 4) are isomorphic. [15] Figure 4: 7. (a) Verify Euler’s formula for following graph (figure 5). Figure 5: (b) Use Krushal’s algorithm to find the minimum spanning tree for the following graph (figure 6). [15] 8. (a) Find the number of arrangements of four books from 12 on a shelf. (b) Find the number of distinct triples (x1,x2,x3) of non-negative integers satisfy- ing x1+x2+x3 <15. [15] 7
  • 8. Figure 6 ********** Code No: A109210501 R09 Set No. 1 8
  • 9. Code No: A109210501 R09 Set No. 3 Figure 6: II B.Tech I Semester Examinations,May/June 2012 MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE Common to Information Technology, Computer Science And Engineering Time: 3 hours Max Marks: 75 Answer any FIVE Questions All Questions carry equal marks 1. (a) Let A = {1,2,3}. Determine all partitions of A. (b) Let x = {1,2,3} anf f,g,h & s are the functions from X to X given by f = {< 1, 2 >, < 2, 3 >, < 3, 1 >} g = {< 1, 2 >, < 2, 1 >, < 3, 3 >} h = {< 1, 1 >, < 2, 2 >, < 3, 1 >} s = {< 1, 1 >, < 2, 2 >, < 3, 3 >} Find fog, gof, fohog, sog, gos, sos, fos, foh, fosoh, fof. [15] 2. (a) Find how many solutions are there to the given equation that satisfies the given condition x1 + x2 + x3 = 20, where each xi is a positive integer. (b) How many ways can the letters of the word ALGORITHM be arranged in a row if A and L must remain together as a unit? [15] 3. (a) Give the adjacency matrix of the digraph G = ({a,b,c,d}, R), where R = {(a,b),(b,c),(d,c),(d,a),} (b) Find the indegree and outdegree of each vertex of the following graph (figure 7). [15] 4. (a) Construct the truth table for the following statement (PV¬Q) → (PΛQ) . 8 9
  • 10. Code No: A109210501 R09 Set No. 3 Figure 7: (b) Show that the following statements are logically equivalent without using truth table. P(V (QΛR) ⇔ (PVQ) Λ (PVR) [15] 5. Find the general solution for the recurrence relation an − an−1 = 4(n + n3 ), where n ≥ 1, and a0 = 5 [15] 6. Determine each of the following complete bipartite graph Km,n is Hamiltonian or not. If a graph is not Hamiltonian, does it contain a Hamiltonian path? (a) K2,3 (b) K3,3 (c) K2,4 (d) K3,4 [15] 7. (a) Is the following conclusion validly derivable from the premises given? Verify. If (x)(P(x) → Q(x)), (exists y)P(y) then (exists z)Q(z). (b) Prove that (x)(H(x) → A(x)) ⇒ (x)( (∃ y)(H(y) Λ N(x, y)) → (∃ y)(A( y) Λ N(x, y)). [15] 8. (a) Let A = NxN and let * be a binary operation on A defined by (a,b) * (c,d) = (ad + bc, bd) for all (a,b), (c,d) ∈ NxN. Show that A has no identity element. (b) Show that the set of all roots of the equation x4 = 1 forms a group under multiplication. [8+7] 10 m,n