MODERN APPLIED ALGEBRA
|
|
- Lee Fox
- 6 years ago
- Views:
Transcription
1 Paper IV (Elective -) - Curriculum ACHARYA NAGARJUNA UNIVERSITY CURRICULUM - B.A / B.Sc MATHEMATICS - PAPER - IV (ELECTIVE - ) MODERN APPLIED ALGEBRA 90 hrs (3hrs / week) UNIT - (30 Hours). SETS AND FUNCTIONS : Sets and Subsets, Boolean algebra of sets, Functions, Inverses, Functions on S to S, Sums, Products and Powers, Peano axioms and Finite induction.. BINARY RELATIONS : Introduction, Relation Matrices, Algebra of relations, Partial orderings, Equivalence relations and Partitions, Modular numbers, Morphisms, Cyclic unary algebras. UNIT - (0 Hours) 3. GRAPH THEY : Introduction - Definition of a Graph, Simple Graph, Konigsberg bridge problem, Utilities problem, Finite and Infinite graphs, Regular graph, Matrix representation of graphs - Adacency matrix, Incidence matrix and examples; Paths and Circuits - Isomorphism, Sub graphs, Walk, Path, Circuit, Connected graph, Euler line and Euler graph; Operations on graphs - Union of two graphs, Intersecton of two graphs and ring sum of two graphs; Hamiltonian circuit, Hamiltonian path, Complete graph, Traveling salesmen problem. Trees and fundamental circuits, cutsets. UNIT - 3 (5 Hours) 4. FINITE STATE MACHINES : Introduction, Binary devices and states, Finite state machines, State diagrams and State tables of machines; Covering and Equivalence, Equivalent states, Minimization procedure. 5. PROGRAMMING LANGUAGES : Introduction, Arithmetic expressions, Identifiers, Assignment statements, Arrays, For statements, Block strutures in ALGOL, The ALGOL grammar. UNIT - 4 (5 Hours) 6. BOOLEAN ALGEBRAS : Introduction, Order, Boolean polynomials, Block diagrams for gating networks, Connections with logic, Logical capabilities of ALGOL, Boolean applications. Prescribed Text Book : Modern applied Algebra by Dr. A. Ananeyulu, Deepti publications, Tenali. Reference Books :. Modern applied Algebra by Garrett Birkhoff and Thomas C.Bartee, CBS Publishers and Distributors, Delhi.. Graph Theory with applications to Engineering and Computer Science by Narsingh Deo, Prentice-Hall of India Pvt. Ltd., New Delhi.
2 ACHARYA NAGARJUNA UNIVERSITY CURRICULUM - B.A / B.Sc MATHEMATICS - PAPER - IV (ELECTIVE - ) MODERN APPLIED ALGEBRA QUESTION BANK F PRACTICALS Paper IV (Elective -) - Curriculum UNIT - (SETS AND FUNCTIONS, BINARY RELATIONS). i) Is the cancellation law A B = A C B = C true? If not give example? ii) Is the cancellation law A B = A C B = C true? If not give example?. Prove that S S ( S T)and that S S ( S T)and S = S ( S T). 3. If ABC,, are three sets, prove that ( A B) C = ( A C) ( B C). 4. Find a necessary and sufficient condition for S + T = S T where S + T = ( S T ) ( S T). 5. Give an example of a function which is a surection but not inection. 6. Show that the Peano s successor function is an inection but not surection. 7. Find the number of functions from a finite set S of n elements to itself. Among these i) how many are surections ii) how many are inections? 8. Show that the functions f ( x) = x / and gx ( ) = x for x Rare inverses of one another. 9. Prove by induction in Pm, + r= m+ s r= s. 0. If f, f,..., f m are inections then show that fm o fm o... o f is an inection.. Prove by induction that 3 n + n is divisible by 3 for all n. n nn ( + ). Prove by induction that k = where k = n is any positive integer. 3. Let X = { a, b} and Y = {, c d,}. e Write down the tabular representation for the relation α on X and Y defined by the list : aα c, aα d, aα e, bα c, bα d, bα e. 4. Find the matrix of the relation α on X = { a, b}and Y = {, c d,}which e is defined by the list : aα c, aα d, aα e, bα c, bα d, bα e. 5. Give an example of a relation which is neither reflexive nor irreflexive. Also give its graphical representation and relation matrix. 6. If ρ is symmetric, prove that ρ ρ n... ρ is symmetric. 7. Show that a finite poset has a least element iff it has exactly one minimal element. 8. If ρ is reflexive and transitive then show that ρ ρ is an equivalence relation on a set S. 9. Let A= ( S, f )be a finite unary algebra with k elements. Define arb in A to mean that for some n n N, f ( a) = b. Show that R is reflexive and transitive. 0. Let A= [ S, f ] be any finite unary algebra with k elements. Define arb in A to mean that for some n n N, f ( a) = b. Show that A is cyclic iff for some a S, arb for all b S.
3 3 Paper IV (Elective -) - Curriculum UNIT - (GRAPH THEY). Draw the graph GV (, E)where V = { A, B, C, D, E}, E = { AB, AC, BC, DE}.. Find the Edge set E of the graph G = ( V, E)given by B A C E D 3. Explain Konigsberg bridge problem and draw its graph. 4. Explain three-utilities problem and draw its graph. 5. Draw a graph with the adacency matrix Draw a graph with the adacency matrix Draw a graph with the incidence matrix 8. Find the adacency matrix of the graph given by e e 5 e 7 e 8 e v e3 e 4 v e 6 9. Find the adacency matrix of the graph given by D C A B
4 4 30. Find the incidence matrix of the graph given by e 8 e 7 Paper IV (Elective -) - Curriculum e 9 e e 4 3. Find the union, intersection and ring sum of the following two graphs. v d v a b c f G e v e 5 e 3 e v v 5 G v e 6 a g k v c h v 6 l v 5 3. Show that the two graphs are isomorphic. 33. Show that the following graphs are not isomorphic to each other. v v u u v 5 v 6 u 5 u 6 v 8 v 7 u 8 u 7 u 4 u Draw a circuit from the following graph which is of length nine. v v 5 v 6 v v 0 v 7 v 9 v Draw all the circuits of the following graph. v e e 5 e e 3 e 4 e 6 v e 7
5 36. List all paths from v to v 8 in the following graph. 5 Paper IV (Elective -) - Curriculum e e 4 v e v e 5 e 6 e 3 v 7 e 7 v 5 v 6 e e 0 e 9 e 3 e 8 e v Find the eccentricity and centre of the graphs. (i) a (ii) e a d b c 38. Find the rank and nuclity of the spanning tree. f d b c v b v c 3 c c b v 5 b 6 b 3 c 4 b 5 c 6 v Draw all trees of three labeled vertices. 40. Find the edge connectivity of the complete graph of n -vertices. c 5 v 7 UNIT - 3 (FINITE STATE MACHINES, PROGRAMMING LANGUAGES) 4. Find the output string when the input string 0 is run into the following machine. Present v ξ state 0 0 s s Give the state diagram of the following transition table. Present Next state Output state
6 43. Draw the state diagram for the following machine 6 Paper IV (Elective -) - Curriculum Present Next state Output state 0 0 s 0 s 0 0 s s 5 s Write the state table of the following machine.,,,, Establish a morphism from M and M given below : ν ξ M ν ξ M a b c 0 0 b a c 0 0 c c a Minimise the number of states in the following machine. Present Next state Output state a 0 a a 0 a Minimise the number of states in the following machine. 0, 0, s 0 s, 0 s 3, 0, 0, 0, 0
7 48. Minimise the number of states in the following machine. Present Next state Output state a 0 a a 0 a Write the ALGOL expressions for the following Mathematical expressions. 3 3 i) a b 3ab( a+ b) ii) AB + C D E iii) π ( r p) 50. Write the ALGOL expressions for the following Mathematical expressions. 7 Paper IV (Elective -) - Curriculum n r iv) P + v) 00 log x y + xy / y i) sin e x y ii) sin 3 x + iii) e A sin A iv) b+ b 4 ac a v) + sin x 5. Convert the following ALGOL expressions to conventional mathematical expressions. i) A B C ii) A ( B C) iii) A B C iv) A/ B C D v) A B C D Evaluate the above for A=, B= 3, C= 4, D= Write the mathematical expression for the following ALGOL expressions i) sqrt( s ( s a) ( s b) ( s c)) ii) sqrt (exp(sin A) cos( A 5)) iii) b+ sqrt( b 4 a c) / a iv) (exp( x) x+ exp( / x)/(exp( x ) + sqrt( x)) v) sqrt (exp( A) sin( A))/ x 53. Write down the effect of the following for statements. i) for i:= step until 0 do S ; ii) for i:= 4 step until 7 do S ; iii) for x:= 0 step 0 until do S ; iv) for x:= step 0 until 05 do S ; v) for x:= 5 step until 4 do S ; 54. Write the effect of executing the assignment statements of the following ALGOL block. begin real abc,, ; c: = 5; end a : = 4 ; b: = a+ 7; c: = 3 a b; 55. Write the ALGOL program which generates an array K with Ki [] = i! for i =,,..., Write ALGOL program to compute the mean of 0 observations. 57. Write an ALGOL program for finding the area of a triangle, given its three sides.
8 8 Paper IV (Elective -) - Curriculum 58. Two one-dimensional arrays X and Y each contain 50 elements. Write the ALGOL program to compute LX = 50 Σ = X (Length of the vector X ), LY = 50 Σ Y = (Length of the vector Y ) INPROD = 50 Σ = XY (Inner product of X and Y ) a a a 59. Write ALGOL program to multiply the matrix A = a a a a a a Write down the ALGOL block for finding the roots of ax + bx + c = 0 ( a 0) b by a column matrix B = b b3,. UNIT - 4 (BOOLEAN ALGEBRAS) 6. What is two element Boolean algebra. 6. In a Boolean algebra show that x z x ( y z) = ( x y) z. 63. In a Boolean algebra prove that ( x y ) ( x y) = ( x y) ( x y ). 64. In a Boolean algebra prove that ( x y) ( y z) ( z x) = ( x y) ( y z) ( z x). 65. Let ab, B, a Boolean algebra. If is denoted by + then prove that a+ b is an upper bound for the set { ab, } and also a+ b=sup{ a,}. b 66. Given the interval [ ab, ] of a Boolean algebra A. Show that the algebraic system [[ ab, ],,,, ab. ] is a Boolean algebra, where x = ( a x ) b, x [ a, b]. 67. Draw the block diagram of p ( p q). 68. Draw the block diagram of ( A A ) ( A A ) 69. Draw the block diagram of ABC A B C A B C. 70. Write the gating network representing the Boolean expression ( x y) ( x y z ) ( y z). 7. Write the gating network representing the Boolean expression [( x x ) x ] ( x x ). 7. Write the Boolean expression for the gating network. x y 3 z 73. Show that [( p q) ( p r)] ( p r) is a tautology. 74. Show that ( p q) [( r p) ( r q)] is tautology, regardless of r.
9 75. Show that ( p p) ( p p ) is an absurdity. 9 Paper IV (Elective -) - Curriculum 76. Construct the truth table and write the logic diagram for the following Boolean polynomial, Pxyz (,, ) = ( x y) ( y z ). 77. Construct the truth table and write the logic diagram for the following Boolean polynomial, P( x, y, z) = ( x z) ( x y) ( y z) x 78. Write an ALGOL program to compute F x 7 3 ( x+ ) x < 5 ( ) = for 9 4 /( + x ) x 5 x ranging from 0 to 0 in steps of 0. x 79. Write an ALGOL program to compute F x 35 x if x < 5 ( ) = for ( x 5)/( + x ) if x 5 x ranging from to 0 in steps of Write the ALGOL program which computes the relation matrix for the relation ρ where ρ is a binary relation on a set X = { x, x,..., x n }.
10 0 Paper IV (Elective -) - Curriculum ACHARYA NAGARJUNA UNIVERSITY B.A / B.Sc. DEGREE EXAMINATION, THEY MODEL PAPER (Examination at the end of third year, for 00-0 and onwards) MATHEMATICS PAPER - IV (ELECTIVE - ) MODERN APPLIED ALGEBRA Time : 3 Hours Max. Marks : 00. State Peano axioms. SECTION - A (6 X 6 = 36 Marks) Answer any SIX questions. Each question carries 6 marks. Show that the relation m< n means mn (meaning that m is a divisor of n) is a partial ordering of the set of all positive integers. 3. Explain utilities problem. 4. If a graph (connected or disconnected) has exactly two vertices of odd degree, prove that there must be a path oining these two vertices. 5. Draw the state diagram for the following machine. Present v ξ state Write ALGOL expressions for i) b + b 4ac a x ii) sin 3 iii) a b + c q y 4 d 7. Define Boolean algebra. 8. Prove that in any Boolean algebra, a x =0 and a x = imply x = a. 9.(a) SECTION - B (4 X 6 = 64 Marks) Answer ALL questions. Each question carrie6 marks Prove that a function is left invertible iff it is one one. n (b) Prove by induction that Σ k nn ( + )( n+ ) = where n is any positive integer. k = 6 0.(a) Prove that an equivalence relation on a set S gives rise to a partition on S. (b).(a) If ρ and σ are reflexive and symmetric relations on a set S, then show that the following are equivalent. i) ρσ is symmetric ii) ρσ = σ ρ iii) ρσ = σ ρ. Prove that a connected graph G is an Euler graph iff it can be decomposed into circuits.
11 Paper IV (Elective -) - Curriculum (b) Find the aacency matrix and incidence matrix of the graph given by e e 5 e 7 e 8 v e 4 e e3 e 6 v.(a) (b) Prove that the number of vertices of odd degree in a graph is always even. Draw all the circuits of the following graph. v e e 5 e e 3 e 4 e 6 v e 7 3.(a) (b) 4.(a) (b) Prove that the relation of equivalence of machines is an equivalence relation. Minimize the number of states in the following machine. Present Next state Output state a 0 a a 0 a Explain i) for statement ii) BLOCK structures in ALGOL. Two one-dimensional arrays X and Y each contain 50 elements. Write the ALGOL program to compute LX = 50 Σ = X (Length of the vector X), LY = 50 Σ Y = (Length of the vector Y), INPROD = 50 Σ = XY (Inner product of X and Y)
12 Paper IV (Elective -) - Curriculum 5.(a) In any Boolean algebra, if a x = a yand a x = a y, then prove that x = y. ' (b) Write the gating network representing the boolean expression [ ] ( x x) x3 ( x x). 6.(a) If any Boolean algebra B = [ A,,, '], prove that the relation a< b is a partial ordering of A. Moreover, in terms of this partial ordering, prove that a b = glb { ab, } and a b = lub { ab, }. (b) Show that ( p q) [( r p) ( r q)] is a tautology, regardless of r. Y
13 3 Paper IV (Elective -) - Curriculum AACHARYA NAGARJUNA UNIVERSITY B.A / B.Sc. DEGREE EXAMINATION, PRACTICAL MODEL PAPER (Practical examination at the end of third year, for 00-0 and onwards) MATHEMATICS PAPER - IV (ELECTIVE - ) MODERN APPLIED ALGEBRA Time : 3 Hours Max. Marks : 30 Answer ALL questions. Each question carries 7 marks. 4 7 = 30 M (a) If f, f,..., f m are inections then show that fm o fm o... o f is an inection. (b) If ρ is reflexive and transitive then show that ρ ρ is an equivalence relation on a set S. (a) Draw a graph with the adacency matrix (b) Show that the two graphs are isomorphic. 3 (a) Give the state diagram of the following transition table. Present Next state Output state (b) Convert the following ALGOL expressions to conventional mathematical expressions. i) A B C ii) A ( B C) iii) A B C iv) A/ B C D v) A B C D Evaluate the above for A=, B= 3, C= 4, D= 5 4 (a) Draw the block diagram of ABC ABC ABC. (b) Show that ( p p) ( p p ) is an absurdity. Written exam : 30 Marks For record : 0 Marks For viva-voce : 0 Marks Total marks : 50 Marks
BOOLEAN ALGEBRA INTRODUCTION SUBSETS
BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations
More informationNORTHERN 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
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 011-1 DISCRETE MATHEMATICS (EOE 038) 1. UNIT I (SET, RELATION,
More informationIntroduction to Kleene Algebras
Introduction to Kleene Algebras Riccardo Pucella Basic Notions Seminar December 1, 2005 Introduction to Kleene Algebras p.1 Idempotent Semirings An idempotent semiring is a structure S = (S, +,, 1, 0)
More informationREVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms
REVIEW QUESTIONS Chapter 1: Foundations: Sets, Logic, and Algorithms 1. Why can t a Venn diagram be used to prove a statement about sets? 2. Suppose S is a set with n elements. Explain why the power set
More informationUnit I (Logic and Proofs)
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)
More informationTutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement
Tutorial - 1 1. Obtain the principal disjunctive normal form and principal conjunction form of the statement Let S P P Q Q R P P Q Q R A: P Q Q R P Q R P Q Q R Q Q R A S Minterm Maxterm T T T F F T T T
More informationIntroduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR
1 Introduction Foundations of Computing Science Pallab Dasgupta Professor, Dept. of Computer Sc & Engg 2 Comments on Alan Turing s Paper "On Computable Numbers, with an Application to the Entscheidungs
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationSection Summary. Relations and Functions Properties of Relations. Combining Relations
Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included
More informationNotation Index. gcd(a, b) (greatest common divisor) NT-16
Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9
More informationBASIC GRAPH THEORY. SUB CODE: 09MAT01 Total hours 52
SYLLABUS For the course work syllabus recommended by the Guide for doing Ph.D in the Department of Mathematics, Sri Siddhartha Institute of Technology under SSU, Tumkur. BASIC GRAPH THEORY SUB CODE: 09MAT01
More informationTribhuvan University Institute of Science and Technology Micro Syllabus
Tribhuvan University Institute of Science and Technology Micro Syllabus Course Title: Discrete Structure Course no: CSC-152 Full Marks: 80+20 Credit hours: 3 Pass Marks: 32+8 Nature of course: Theory (3
More informationOutline. We will now investigate the structure of this important set.
The Reals Outline As we have seen, the set of real numbers, R, has cardinality c. This doesn't tell us very much about the reals, since there are many sets with this cardinality and cardinality doesn't
More informationCVO103: Programming Languages. Lecture 2 Inductive Definitions (2)
CVO103: Programming Languages Lecture 2 Inductive Definitions (2) Hakjoo Oh 2018 Spring Hakjoo Oh CVO103 2018 Spring, Lecture 2 March 13, 2018 1 / 20 Contents More examples of inductive definitions natural
More informationDefinition: A binary relation R from a set A to a set B is a subset R A B. Example:
Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationProperties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to
More informationDiscrete Structures, Final Exam
Discrete Structures, Final Exam Monday, May 11, 2009 SOLUTIONS 1. (40 pts) Short answer. Put your answer in the box. No partial credit. [ ] 0 1 (a) If A = and B = 1 0 [ ] 0 0 1. 0 1 1 [ 0 1 1 0 0 1 ],
More informationAPPENDIX: MATHEMATICAL INDUCTION AND OTHER FORMS OF PROOF
ELEMENTARY LINEAR ALGEBRA WORKBOOK/FOR USE WITH RON LARSON S TEXTBOOK ELEMENTARY LINEAR ALGEBRA CREATED BY SHANNON MARTIN MYERS APPENDIX: MATHEMATICAL INDUCTION AND OTHER FORMS OF PROOF When you are done
More informationSTUDY GUIDE FOR THE WRECKONING. 1. Combinatorics. (1) How many (positive integer) divisors does 2940 have? What about 3150?
STUDY GUIDE FOR THE WRECKONING. Combinatorics Go over combinatorics examples in the text. Review all the combinatorics problems from homework. Do at least a couple of extra problems given below. () How
More informationMassachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr.
Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr. Radhika Nagpal Quiz 1 Appendix Appendix Contents 1 Induction 2 2 Relations
More informationPractice Final Solutions. 1. Consider the following algorithm. Assume that n 1. line code 1 alg(n) { 2 j = 0 3 if (n = 0) { 4 return j
Practice Final Solutions 1. Consider the following algorithm. Assume that n 1. line code 1 alg(n) 2 j = 0 3 if (n = 0) 4 return j } 5 else 6 j = 2n+ alg(n 1) 7 return j } } Set up a recurrence relation
More informationMATH 2200 Final Review
MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics
More informationCHAPTER 1 POLYNOMIALS
1 CHAPTER 1 POLYNOMIALS 1.1 Removing Nested Symbols of Grouping Simplify. 1. 4x + 3( x ) + 4( x + 1). ( ) 3x + 4 5 x 3 + x 3. 3 5( y 4) + 6 y ( y + 3) 4. 3 n ( n + 5) 4 ( n + 8) 5. ( x + 5) x + 3( x 6)
More informationSimplification by Truth Table and without Truth Table
Engineering Mathematics 2013 SUBJECT NAME SUBJECT CODE MATERIAL NAME MATERIAL CODE REGULATION UPDATED ON : Discrete Mathematics : MA2265 : University Questions : SKMA1006 : R2008 : August 2013 Name of
More informationUnit 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
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 3)find a minimal sum of product representation f(w,x,y)= m(1,2,5,6) 4)simplify
More informationMA Discrete Mathematics
MA2265 - Discrete Mathematics UNIT I 1. Check the validity of the following argument. If the band could not play rock music or the refreshments were not delivered on time, then the New year s party would
More informationSimplification by Truth Table and without Truth Table
SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : University Questions : R2013 UPDATED ON : April-May 2018 BOOK FOR REFERENCE To buy the book visit : Sri Hariganesh
More informationLogic Synthesis and Verification
Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:
More informationCombinational Logic. By : Ali Mustafa
Combinational Logic By : Ali Mustafa Contents Adder Subtractor Multiplier Comparator Decoder Encoder Multiplexer How to Analyze any combinational circuit like this? Analysis Procedure To obtain the output
More informationMATH 433 Applied Algebra Lecture 22: Review for Exam 2.
MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationMath 2070BC Term 2 Weeks 1 13 Lecture Notes
Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic
More informationChapter 1A -- Real Numbers. iff. Math Symbols: Sets of Numbers
Fry Texas A&M University! Fall 2016! Math 150 Notes! Section 1A! Page 1 Chapter 1A -- Real Numbers Math Symbols: iff or Example: Let A = {2, 4, 6, 8, 10, 12, 14, 16,...} and let B = {3, 6, 9, 12, 15, 18,
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationRelations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)
Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) CmSc 365 Theory of Computation 1. Relations Definition: Let A and B be two sets. A relation R from A to B is any set of ordered pairs
More information3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions
A. LINEAR ALGEBRA. CONVEX SETS 1. Matrices and vectors 1.1 Matrix operations 1.2 The rank of a matrix 2. Systems of linear equations 2.1 Basic solutions 3. Vector spaces 3.1 Linear dependence and independence
More informationPacket #5: Binary Relations. Applied Discrete Mathematics
Packet #5: Binary Relations Applied Discrete Mathematics Table of Contents Binary Relations Summary Page 1 Binary Relations Examples Page 2 Properties of Relations Page 3 Examples Pages 4-5 Representations
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationB B3B037 Total Pages:3
B B3B037 Total Pages:3 Reg. No. Name: APJ ABDUL KALAM TECHNOLOGICAL UNIVERSITY THIRD SEMESTER B.TECH DEGREE EXAMINATION, JANUARY 2017 Course Code: CS 201 Course Name: DISCRETE COMPUTATIONAL STRUCTURES
More informationReview CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.
CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationWhat are relations? f: A B
What are relations? Ch 9.1 What are relations? Notation Informally, a relation is a set of pairs of objects (or in general, set of n-tuples) that are related to each other by some rule. We will focus first
More informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
More informationIs g one-to-one? Is g onto? Why? Solution: g is not one-to-one, since for c A, g(b) = g(c) = c. g is not onto, since a / g(a).
Discrete Structures: Exam 2 Solutions to Sample Questions, 1. Let A = B = {a, b, c}. Consider the relation g = {(a, b), (b, c), (c, c)}. Is g one-to-one? Is g onto? Why? Solution: g is not one-to-one,
More informationQuestionnaire for CSET Mathematics subset 1
Questionnaire for CSET Mathematics subset 1 Below is a preliminary questionnaire aimed at finding out your current readiness for the CSET Math subset 1 exam. This will serve as a baseline indicator for
More informationSimplification by Truth Table and without Truth Table
SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : University Questions : R2013 UPDATED ON : June 2017 (Scan the above Q.R code for the direct download of this material)
More informationCHAPTER 1. Relations. 1. Relations and Their Properties. Discussion
CHAPTER 1 Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition 1.1.1. A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is Related to b
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationDiscrete Mathematics & Mathematical Reasoning Course Overview
Discrete Mathematics & Mathematical Reasoning Course Overview Colin Stirling Informatics Colin Stirling (Informatics) Discrete Mathematics Today 1 / 19 Teaching staff Lecturers: Colin Stirling, first half
More information1. a. Give the converse and the contrapositive of the implication If it is raining then I get wet.
VALLIAMMAI ENGINEERING COLLEGE DEPARTMENT OF MATHEMATICS SUB CODE/ TITLE: MA6566 DISCRETE MATHEMATICS QUESTION BANK Academic Year : 015-016 UNIT I LOGIC AND PROOFS PART-A 1. Write the negation of the following
More informationCSE 1400 Applied Discrete Mathematics Proofs
CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4
More informationPropositional and Predicate Logic - VII
Propositional and Predicate Logic - VII Petr Gregor KTIML MFF UK WS 2015/2016 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - VII WS 2015/2016 1 / 11 Theory Validity in a theory A theory
More information1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A.
1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A. How to specify sets 1. to enumerate all of the elements
More informationMAD 3105 PRACTICE TEST 2 SOLUTIONS
MAD 3105 PRACTICE TEST 2 SOLUTIONS 1. Let R be the relation defined below. Determine which properties, reflexive, irreflexive, symmetric, antisymmetric, transitive, the relation satisfies. Prove each answer.
More informationCS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York
CS 250/251 Discrete Structures I and II Section 005 Fall/Winter 2013-2014 Professor York Practice Quiz March 10, 2014 CALCULATORS ALLOWED, SHOW ALL YOUR WORK 1. Construct the power set of the set A = {1,2,3}
More information1 Lecture 1 (1/5/2009)
1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think
More information1 Lecture 1 (1/5/2009)
1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think
More informationX-MA2C01-1: Partial Worked Solutions
X-MAC01-1: Partial Worked Solutions David R. Wilkins May 013 1. (a) Let A, B and C be sets. Prove that (A \ (B C)) (B \ C) = (A B) \ C. [Venn Diagrams, by themselves without an accompanying logical argument,
More informationBoolean Algebra CHAPTER 15
CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationNotes on Algebraic Structures. Peter J. Cameron
Notes on Algebraic Structures Peter J. Cameron ii Preface These are the notes of the second-year course Algebraic Structures I at Queen Mary, University of London, as I taught it in the second semester
More informationMATH 363: Discrete Mathematics
MATH 363: Discrete Mathematics Learning Objectives by topic The levels of learning for this class are classified as follows. 1. Basic Knowledge: To recall and memorize - Assess by direct questions. The
More informationLECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel
LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is
More information2MA105 Algebraic Structures I
2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 12 Partially Ordered Sets Lattices Bounded Lattices Distributive Lattices Complemented Lattices
More informationB.C.S.Part I Mathematics (Sem.- I & II) Syllabus to be implemented from June 2013 onwards.
B.C.S.Part I Mathematics (Sem.- I & II) Syllabus to be implemented from June 2013 onwards. 1. TITLE: Subject Mathematics 2. YEAR OF IMPLEMENTATION : Revised Syllabus will be implemented from June 2013
More information3 The fundamentals: Algorithms, the integers, and matrices
3 The fundamentals: Algorithms, the integers, and matrices 3.4 The integers and division This section introduces the basics of number theory number theory is the part of mathematics involving integers
More informationMATH1240 Definitions and Theorems
MATH1240 Definitions and Theorems 1 Fundamental Principles of Counting For an integer n 0, n factorial (denoted n!) is defined by 0! = 1, n! = (n)(n 1)(n 2) (3)(2)(1), for n 1. Given a collection of n
More informationKevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings
MTHSC 412 Section 3.1 Definition and Examples of Rings A ring R is a nonempty set R together with two binary operations (usually written as addition and multiplication) that satisfy the following axioms.
More informationVALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur
VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur 603 203. DEPARTMENT OF COMPUTER SCIENCE ENGINEERING SUBJECT QUESTION BANK : MA6566 \ DISCRETE MATHEMATICS SEM / YEAR: V / III year CSE. UNIT I -
More informationAnswer: A. Answer: C. 3. If (G,.) is a group such that a2 = e, a G, then G is A. abelian group B. non-abelian group C. semi group D.
1. The set of all real numbers under the usual multiplication operation is not a group since A. zero has no inverse B. identity element does not exist C. multiplication is not associative D. multiplication
More informationDiscrete Mathematics. Benny George K. September 22, 2011
Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and
More information3. Abstract Boolean Algebras
3. ABSTRACT BOOLEAN ALGEBRAS 123 3. Abstract Boolean Algebras 3.1. Abstract Boolean Algebra. Definition 3.1.1. An abstract Boolean algebra is defined as a set B containing two distinct elements 0 and 1,
More informationMATHEMATICS CLASS - XI
Curriculum and Syllabus for Classes XI & XII 1 MATHEMATICS CLASS - XI Time : 3 Hours 100 Marks Units Unitwise Weightage Marks Periods I. Sets, Relations and Functions [9 marks] 1. Sets, Relations and Functions
More informationUNIVERSITY OF PUNE, PUNE. Syllabus for F.Y.B.Sc(Computer Science) Subject: MATHEMATICS (With effect from June 2013)
UNIVERSITY OF PUNE, PUNE. Syllabus for F.Y.B.Sc(Computer Science) Subject: MATHEMATICS (With effect from June 2013) Introduction: University of Pune has decided to change the syllabi of various faculties
More informationInformal Statement Calculus
FOUNDATIONS OF MATHEMATICS Branches of Logic 1. Theory of Computations (i.e. Recursion Theory). 2. Proof Theory. 3. Model Theory. 4. Set Theory. Informal Statement Calculus STATEMENTS AND CONNECTIVES Example
More informationConventional Matrix Operations
Overview: Graphs & Linear Algebra Peter M. Kogge Material based heavily on the Class Book Graph Theory with Applications by Deo and Graphs in the Language of Linear Algebra: Applications, Software, and
More informationModels of Computation. by Costas Busch, LSU
Models of Computation by Costas Busch, LSU 1 Computation CPU memory 2 temporary memory input memory CPU output memory Program memory 3 Example: f ( x) x 3 temporary memory input memory Program memory compute
More informationBachelor s Degree Programme Discrete Mathematics (Valid from 1st January, 2013 to 31st December, 2013.)
MTE-13 ASSIGNMENT BOOKLET Bachelor s Degree Programme Discrete Mathematics (Valid from 1st January, 2013 to 31st December, 2013.) It is compulsory to submit the assignment before filling in the exam form.
More informationDISCRETE STRUCTURES AMIN WITNO
DISCRETE STRUCTURES AMIN WITNO p h i. w i t n o. c o m Discrete Structures Revision Notes and Problems Amin Witno Preface These notes were prepared for students as a revision workbook
More informationMaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS
DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : UNIT I PROPOSITIONAL CALCULUS Part A ( Marks) Year / Sem : III / V. Write the negation of the following proposition. To enter into the country you
More informationSYMBOL EXPLANATION EXAMPLE
MATH 4310 PRELIM I REVIEW Notation These are the symbols we have used in class, leading up to Prelim I, and which I will use on the exam SYMBOL EXPLANATION EXAMPLE {a, b, c, } The is the way to write the
More informationCS 320, Fall Dr. Geri Georg, Instructor 320 NP 1
NP CS 320, Fall 2017 Dr. Geri Georg, Instructor georg@colostate.edu 320 NP 1 NP Complete A class of problems where: No polynomial time algorithm has been discovered No proof that one doesn t exist 320
More informationExam 2. Is g one-to-one? Is g onto? Why? Solution: g is not one-to-one, since for c A, g(b) = g(c) = c. g is not onto, since a / g(a).
Discrete Structures: Exam 2 Solutions to Sample Questions, 1. Let A = B = {a, b, c}. Consider the relation g = {(a, b), (b, c), (c, c)}. Is g one-to-one? Is g onto? Why? Solution: g is not one-to-one,
More informationPacket #1: Logic & Proofs. Applied Discrete Mathematics
Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 3-13 Course Objectives At the conclusion of this course, you should
More informationWillmar Public Schools Curriculum Map
Subject Area Mathematics Senior High Course Name Advanced Algebra 2A (Prentice Hall Mathematics) Date April 2010 The Advanced Algebra 2A course parallels each other in content and time. The Advanced Algebra
More informationExam Practice Problems
Math 231 Exam Practice Problems WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the topics.
More informationCS1800 Discrete Structures Final Version A
CS1800 Discrete Structures Fall 2017 Profs. Aslam, Gold, & Pavlu December 11, 2017 CS1800 Discrete Structures Final Version A Instructions: 1. The exam is closed book and closed notes. You may not use
More informationDEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics
SHRI ANGALAMMAN COLLEGE OF ENGINEERING AND TECHNOLOGY (An ISO 9001:2000 Certified Institution) SIRUGANOOR, TIRUCHIRAPPALLI 621 105 DEPARTMENT OF MATHEMATICS MA1301 Discrete Mathematics UNIT-I PART-A 1.Give
More informationPacket #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics
CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus
More informationAutomata and Languages
Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets
More informationFoundations of Discrete Mathematics
Foundations of Discrete Mathematics Chapter 0 By Dr. Dalia M. Gil, Ph.D. Statement Statement is an ordinary English statement of fact. It has a subject, a verb, and a predicate. It can be assigned a true
More informationCSE 1400 Applied Discrete Mathematics Definitions
CSE 1400 Applied Discrete Mathematics Definitions Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Arithmetic 1 Alphabets, Strings, Languages, & Words 2 Number Systems 3 Machine
More information1 Linear transformations; the basics
Linear Algebra Fall 2013 Linear Transformations 1 Linear transformations; the basics Definition 1 Let V, W be vector spaces over the same field F. A linear transformation (also known as linear map, or
More informationAlgebra I. abscissa the distance along the horizontal axis in a coordinate graph; graphs the domain.
Algebra I abscissa the distance along the horizontal axis in a coordinate graph; graphs the domain. absolute value the numerical [value] when direction or sign is not considered. (two words) additive inverse
More informationNumber Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.
Appendix A Number Axioms P. Danziger 1 Number Axioms 1.1 Groups Definition 1 A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b and c S 0. (Closure) 1. (Associativity)
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More information