MODERN APPLIED ALGEBRA

Size: px
Start display at page:

Download "MODERN APPLIED ALGEBRA"

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 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 information

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

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 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 information

Introduction to Kleene Algebras

Introduction 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 information

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

REVIEW 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 information

Unit I (Logic and Proofs)

Unit 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 information

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

Tutorial 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 information

Introduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR

Introduction. 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 information

Sets and Motivation for Boolean algebra

Sets 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 information

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Section 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 information

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

Notation 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 information

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

BASIC 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 information

Tribhuvan University Institute of Science and Technology Micro Syllabus

Tribhuvan 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 information

Outline. We will now investigate the structure of this important set.

Outline. 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 information

CVO103: Programming Languages. Lecture 2 Inductive Definitions (2)

CVO103: 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 information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: 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 information

a + 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.

a + 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 information

Properties of the Integers

Properties 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 information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 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 information

Discrete Structures, Final Exam

Discrete 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 information

APPENDIX: MATHEMATICAL INDUCTION AND OTHER FORMS OF PROOF

APPENDIX: 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 information

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

STUDY 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 information

Massachusetts 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. 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 information

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

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 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 information

MATH 2200 Final Review

MATH 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 information

CHAPTER 1 POLYNOMIALS

CHAPTER 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 information

Simplification by Truth Table and without Truth Table

Simplification 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 information

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

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 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 information

MA Discrete Mathematics

MA 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 information

Simplification by Truth Table and without Truth Table

Simplification 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 information

Logic Synthesis and Verification

Logic 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 information

Combinational Logic. By : Ali Mustafa

Combinational 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 information

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

MATH 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 information

Algebraic structures I

Algebraic 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 information

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 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 information

Chapter 1A -- Real Numbers. iff. Math Symbols: Sets of Numbers

Chapter 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 information

Notes 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. 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 information

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)

Relations, 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 information

3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions

3. 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 information

Packet #5: Binary Relations. Applied Discrete Mathematics

Packet #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 information

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

Chapter 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 information

B B3B037 Total Pages:3

B 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 information

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

Review 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 information

0 Sets and Induction. Sets

0 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 information

Any 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. 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 information

What are relations? f: A B

What 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 information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

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).

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 information

Questionnaire for CSET Mathematics subset 1

Questionnaire 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 information

Simplification by Truth Table and without Truth Table

Simplification 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 information

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

CHAPTER 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. * 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 information

Discrete Mathematics & Mathematical Reasoning Course Overview

Discrete 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 information

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

1. 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 information

CSE 1400 Applied Discrete Mathematics Proofs

CSE 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 information

Propositional and Predicate Logic - VII

Propositional 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 information

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.

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. 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 information

MAD 3105 PRACTICE TEST 2 SOLUTIONS

MAD 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 information

CS 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 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 information

1 Lecture 1 (1/5/2009)

1 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 information

1 Lecture 1 (1/5/2009)

1 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 information

X-MA2C01-1: Partial Worked Solutions

X-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 information

Boolean Algebra CHAPTER 15

Boolean 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 information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture 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 information

Proofs. Chapter 2 P P Q Q

Proofs. 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 information

Notes on Algebraic Structures. Peter J. Cameron

Notes 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 information

MATH 363: Discrete Mathematics

MATH 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 information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE 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 information

2MA105 Algebraic Structures I

2MA105 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 information

B.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. 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 information

3 The fundamentals: Algorithms, the integers, and matrices

3 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 information

MATH1240 Definitions and Theorems

MATH1240 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 information

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

Kevin 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 information

VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur

VALLIAMMAI 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 information

Answer: 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.

Answer: 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 information

Discrete Mathematics. Benny George K. September 22, 2011

Discrete 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 information

3. Abstract Boolean Algebras

3. 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 information

MATHEMATICS CLASS - XI

MATHEMATICS 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 information

UNIVERSITY 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) 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 information

Informal Statement Calculus

Informal 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 information

Conventional Matrix Operations

Conventional 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 information

Models of Computation. by Costas Busch, LSU

Models 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 information

Bachelor s Degree Programme Discrete Mathematics (Valid from 1st January, 2013 to 31st December, 2013.)

Bachelor 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 information

DISCRETE STRUCTURES AMIN WITNO

DISCRETE 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 information

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

MaanavaN.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 information

SYMBOL EXPLANATION EXAMPLE

SYMBOL 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 information

CS 320, Fall Dr. Geri Georg, Instructor 320 NP 1

CS 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 information

Exam 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).

Exam 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 information

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Packet #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 information

Willmar Public Schools Curriculum Map

Willmar 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 information

Exam Practice Problems

Exam 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 information

CS1800 Discrete Structures Final Version A

CS1800 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 information

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

DEPARTMENT 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 information

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

Packet #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 information

Automata and Languages

Automata 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 information

Foundations of Discrete Mathematics

Foundations 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 information

CSE 1400 Applied Discrete Mathematics Definitions

CSE 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 information

1 Linear transformations; the basics

1 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 information

Algebra 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. 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 information

Number 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.

Number 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 information

Part IA Numbers and Sets

Part 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