Unit I (Logic and Proofs)

Similar documents
VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur

Simplification by Truth Table and without Truth Table

1. a. Give the converse and the contrapositive of the implication If it is raining then I get wet.

Simplification by Truth Table and without Truth Table

MA Discrete Mathematics

Simplification by Truth Table and without Truth Table

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement

Anna University, Chennai, November/December 2012

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION

Name of the Student:

B B3B037 Total Pages:3

B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER Fifth Semester. Computer Science and Engineering MA 2265 DISCRETE MATHEMATICS

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

CS/IT OPERATING SYSTEMS

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Algebraic Structures Exam File Fall 2013 Exam #1

Discrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST


Unit i) 1)verify that [p->(q->r)] -> [(p->q)->(p->r)] is a tautology or not? 2) simplify the Boolean expression xy+(x+y) + y

DISCRETE MATH: FINAL REVIEW

Discrete Mathematics. Benny George K. September 22, 2011

Sets and Motivation for Boolean algebra

(c) Give a proof of or a counterexample to the following statement: (3n 2)= n(3n 1) 2

2MA105 Algebraic Structures I

MATH 363: Discrete Mathematics

STUDY GUIDE FOR THE WRECKONING. 1. Combinatorics. (1) How many (positive integer) divisors does 2940 have? What about 3150?

Logic and Proofs. (A brief summary)

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

CSE 20. Final Review. CSE 20: Final Review

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Notation Index. gcd(a, b) (greatest common divisor) NT-16

DISCRETE STRUCTURES AMIN WITNO

Math Fall Final Exam. Friday, 14 December Show all work for full credit. The problems are worth 6 points each.

5 Group theory. 5.1 Binary operations

MATH1240 Definitions and Theorems

Introduction to Quantum Logic. Chris Heunen

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

Logic and Proofs. (A brief summary)

Math Final Exam December 14, 2009 Page 1 of 5

Name: Solutions Final Exam

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

Ex: Boolean expression for majority function F = A'BC + AB'C + ABC ' + ABC.

Tribhuvan University Institute of Science and Technology Micro Syllabus

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

Introduction to Sets and Logic (MATH 1190)

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York

Chapter 4, Logic using Propositional Calculus Handout

BASIC GRAPH THEORY. SUB CODE: 09MAT01 Total hours 52

X-MA2C01-1: Partial Worked Solutions

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

Counting. Mukulika Ghosh. Fall Based on slides by Dr. Hyunyoung Lee

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

Propositional Calculus: Formula Simplification, Essential Laws, Normal Forms

Logic, Sets, and Proofs

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics

Combinational Logic. By : Ali Mustafa

Compound Propositions

INTRODUCTION TO THE GROUP THEORY

Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as:

Foundations of Cryptography

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

B.C.S.Part I Mathematics (Sem.- I & II) Syllabus to be implemented from June 2013 onwards.

MODERN APPLIED ALGEBRA

Discrete mathematical Structures. Unit State and prove De Morgan s law of set theory..(dec. 09/Jan 10, dec. 07/Jan 08)

QUESTION BANK. 4. State and prove De Morgan s law of set theory. (6m) May / jun 10

software design & management Gachon University Chulyun Kim

Propositional and Predicate Logic - VII

Discrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams

With Question/Answer Animations. Chapter 2

INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

MTH202 Discrete Mathematics

The least element is 0000, the greatest element is 1111.

Logic Synthesis and Verification

Digital Logic (2) Boolean Algebra

MATH 310 Course Objectives

CSE 321 Solutions to Practice Problems

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

Notes on Sets, Relations and Functions

. T SHREE MAHAPRABHU PUBLIC SCHOOL & COLLEGE NOTES FOR BOARD EXAMINATION SUBJECT COMPUTER SCIENCE (Code: 083) Boolean Algebra

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Set Theory. CSE 215, Foundations of Computer Science Stony Brook University

CS1800 Discrete Structures Final Version A

Boolean Algebra CHAPTER 15

0 Sets and Induction. Sets

Discrete Mathematics (CS503)

We last time we began introducing equivalency laws.

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

Foundations Revision Notes

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Doc112: Hardware. Department of Computing, Imperial College London. Doc112: Hardware Lecture 1 Slide 1

Exam Practice Problems

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

CSE 240 Logic and Discrete Mathematics

Solutions to Homework I (1.1)

2.2: Logical Equivalence: The Laws of Logic

Transcription:

SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : Part A questions : R2013 UPDATED ON : April-May 2018 (Scan the above QR code for the direct download of this material) Unit I (Logic and Proofs) 1 Define Proposition 2 Define Tautology with an example 3 Define a rule of Universal specification 4 Find the truth table for the statement P Q 5 Construct the truth table for P Q 6 Construct a truth table for the compound proposition p q q p 7 Using truth table show that P ( P Q) P 8 Construct the truth table for the compound proposition p q p q 9 Express A B in terms of the connectives, 10 Given P 2, 3,4,5,6, state the truth value of the statement x P x 3 10 11 Show that the propositions p qand p q are logically equivalent 12 Show that p r q r and 13 Prove that p, p q, q r r p q r are logically equivalent 14 Without using truth table show that P Q P P P Q P Q R P Q P R 15 Show that is a tautology Sri Hariganesh Publications (Ph: 9841168917, 8939331876) Page 1

16 Using truth table, show that the proposition p p q is a tautology 17 Is p p q q a tautology? 18 Write the negation of the statement x y p x, y 2 2 19 What are the negations of the statements x x x and x x 2? 20 Give an indirect proof of the theorem If 3n 2 is odd, then n is odd 21 Let Px ( ) denote the statement x 4 Write the truth values of P (2) and P (6) 22 When do you say that two compound propositions are equivalent? 23 What are the contra positive, the converse and the inverse of the conditional statement If you work hard then you will be rewarded 24 What is the contra positive of the statement The home team wins whenever it is reining? 25 Give the contra positive statement of the statement, If there is rain, then I buy an umbrella 26 Write the symbolic representation of if it rains today, then I buy an umbrella 27 Give the symbolic form of Some men are giant 28 Symbolically express the following statement It is not true that 5 star rating always means good food and good service Unit II (Combinatorics) 1 State the principle of strong induction n1 2 Use mathematical induction to show that n! 2, n 1,2,3, nn ( 1) 3 Use mathematical induction to show that 1 2 3 n 2 4 If seven colours are used to paint 50 bicycles, then show that at least 8 bicycles will be the same colour 5 Write the generating function for the sequence 2 3 4 1, a, a, a, a, Sri Hariganesh Publications (Ph: 9841168917, 8939331876) Page 2

6 Find the recurrence relation for the Fibonacci sequence n n 7 Find the recurrence relation satisfying the equation y A(3) B( 4) 8 Solve the recurrence relation yk yk yk y(2) 16 and y(3) 80 9 Solve: ak 3ak 1, for k 1, with a0 2 n 8 1 16 2 0 for k 2, where 10 Find the number of non-negative integer solutions of the equation x 1 x 2 x 3 11 11 State the Pigeonhole principle 12 Find the minimum number of students need to guarantee that five of them belongs to the same subject, if there are five different major subjects 13 What is well ordering principle? 14 In how many ways can all the letters in MATHEMATICAL be arranged 15 How many different words are there in the word ENGINEERING? 16 How many permutations can be made out of letter or word COMPUTER? 17 How many different words are there in the word MATHEMATICS? 18 What is the number of arrangements of all the six letters in the word PEPPER? 19 How many permutations are there in the word M I S S I S S I P P I? 20 How many permutations are there on the word MALAYALAM? 21 How many permutations of the letters ABCDEFGH contain the string ABC? 22 How may permutations of a, b, c, d, e, f, g and with a? 23 How many different bit strings are there of length seven? C 2 n,2 2 C n,2 n 24 Show that 2 Unit III (Graph Theory) 1 When is a simple graph G bipartite? Give an example 2 How many edges are there in a graph with 10 vertices each of degree 3? Sri Hariganesh Publications (Ph: 9841168917, 8939331876) Page 3

3 Define Pseudo graph 4 Define complete graph and give an example 5 Define a connected graph and a disconnected graph with examples 6 How many edges are there in a graph with 10 vertices each of degree 5? 7 Define strongly connected graph 8 Is the directed graph given below strongly connected? Why or why not? 9 Draw the complete graph K 5 10 Define a bipartite graph 11 Draw a complete bipartite graph of K 2,3 and K 3,3 12 Define a regular graph Can a complete graph be a regular graph? 13 Define isomorphism of two graphs 14 Define complementary graph 15 Define self-complementary graph with example 16 Give an example of an Euler graph 17 Define Hamiltonian path 18 Give an example of a non-eulerian graph which is Hamiltonian 19 Give an example of a graph which is Eulerian but not Hamiltonian 20 State the handshaking theorem 21 Show that there does not exist a graph with 5 vertices with degrees 1, 3, 4, 2, 3 respectively 22 State the necessary and sufficient conditions for the existence of an Eulerian path in a connected graph Sri Hariganesh Publications (Ph: 9841168917, 8939331876) Page 4

23 Let G be a graph with ten vertices If four vertices has degree four and six vertices has degree five, then find the number of edges of G 24 Define complementary graph G of a simple graph G If the degree sequence of the simple graph is 4, 3, 3, 2, 2, what is the degree sequence of G 25 For which value of m and n does the complete bipartite graph Kmn, have an (i) Euler circuit (tour) (ii) Hamilton circuit (cycle) 26 How do you find the number of different paths of length r from i to j in a graph G with adjacency matrix A? 0 1 0 27 Draw the graph with the following adjacency matrix 1 0 1 0 1 0 28 Draw the graph represented by the given adjacency matrix 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 29 Obtain the adjacency matrix of the graph given below Unit IV (Algebraic Structures) 1 State any two properties of a group 2 Prove that identity element in a group is unique 3 Define a semi group 4 Define monoids 5 Give an example of semi group but not a monoid Sri Hariganesh Publications (Ph: 9841168917, 8939331876) Page 5

6 When is a group G,* called abelian? 7 Find the idempotent elements of G 1, 1, i, i multiplication under the binary operation 8 Prove the in a group idempotent law is true only for identity element 9 If a subset S 1 a, b S, ab S of G is a subgroup of G,* 10 Prove that every subgroup of an abelian group is normal, then prove that for any pair of elements 11 Prove that the identity of a subgroup is the same as that of the group 12 Define homomorphism and isomorphism between two algebraic systems 13 Give an example for homomorphism 14 If a and b are any two elements of a group G,*, show that G is an abelian group if a* b a * b and only if 2 2 2 15 State Lagrange s theorem 16 Show that every cyclic group is abelian 17 Let M,*, e M be a monoid and a M If a invertible, then show that its inverse is unique 1 18 If ' a' is a generator of a cyclic group G, then show that a is also a generator of G 19 Let Z be the group of integers with the binary operation defined by ab a b 2, for all a, b Z Find the identity element of the group Z, 20 Show that the set of all elements a of a group G, such that a x xa for every xgis a subgroup of G 21 Obtain all the distinct left cosets of 0, 3 in the group 6, 6 union 22 Define a ring 23 Define a field in an algebraic system Z and find their Sri Hariganesh Publications (Ph: 9841168917, 8939331876) Page 6

24 Give an example of a ring which is not a field 25 Define a commutative ring Unit V (Lattices and Boolean algebra) 1 Let A 1, 2,5,10 with the relation divides Draw the Hasse diagram 2 Draw the Hasse diagram of, relation be such that x 3 Let A a, b, c X, where 2,4,5,10,12, 20, 25 y is x and y X and the and ( A) be its power set Draw a Hasse diagram of ( A), 4 Let X 1, 2, 3,4,5,6 and R be a relation defined as x, y x y is divisible by 3 Find the elements of the relation R R if and only if 5 Give a relation which is both a partial ordering relation and an equivalence relation 6 Prove that a lattice with five element is not a Boolean algebra 7 Show that least upper bound of a subset B in a poset A, is unique is it exists 8 Define a lattice Give suitable example 9 Define sub-lattice 10 When a lattice is called complete? 11 When is a lattice said to be bounded? 12 Define lattice homomorphism 13 Show that in a distributive lattice, if complement of an element exits then it must be unique 14 Give an example of a distributive lattice but not complemented 15 In a Lattice L,, prove that 16 Show that in a lattice if a b c, then a b b c a a b a, for all a, b L and a b b c a b b c 17 Check whether the posets 1,3,6,9, D and Justify your claim Sri Hariganesh Publications (Ph: 9841168917, 8939331876) Page 7 1,5,25,125, D are lattices or not

18 When is a lattice said to be a Boolean algebra? 19 Define a Boolean algebra 20 Give an example of a two elements Boolean algebra 21 State the De Morgan s laws in a Boolean algebra 22 Is there a Boolean algebra with five elements? Justify your answer 23 Show that the absorption laws are valid in a Boolean algebra 24 Prove the Boolean identity: a b a b a 25 Show that in a Boolean algebra abab 0 if and only if a b ---- All the Best---- Sri Hariganesh Publications (Ph: 9841168917, 8939331876) Page 8