Discrete Structures, Final Exam

Size: px
Start display at page:

Download "Discrete Structures, Final Exam"

Transcription

1 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 [ ] [ ], compute A B. (b) The following digraph represents a tree. Which vertex is its root? C. (c) For the tree given below, list all the siblings of v 2. v 1, v 6. (d) Draw the Hasse diagram of the poset (P(S), ) for S = {x, y}. (e) Two fair dice are rolled. What is the probability that the sum of the two rolls is even? 1/2. One way to see this is to list out all the 36 possibilities and note that 18 of them have an even sum (so the probability is 18/36 = 1/2. Alternately, 1

2 you can reason as follows: If the two dice are rolled separately, then no matter what the first die says, there is a 1/2 probability of the second die making the sum even: if the first die is odd, then there is a 1/2 chance that the second die is odd also, making the sum even; on the other hand, if the first die is even, there is a 1/2 chance that the second die is even also, making the sum even again. So no matter what the first die gives, there is a 1/2 chance of having the second die make the sum even. (f) What is the number of nonisomorphic binary positional trees of height 2? 21. This takes a little work. First of all, consider the case of nonisomorphic binary positional trees of height 1: There are 3 = cases here, represented by the pictures below. (Note the fourth case, where the root has neither a left nor a right node, is height 0, not height 1). Once we have analyzed the height-1 trees, we need to analyze how to add another level to make them height-2. For the two height-1 trees with just one offspring from the root, there are each 3 ways to do this (corresponding to tacking on the height-1 trees to the single leaf). The remaining height-1 tree is different: it has 2 leaves, and so there are 4 places to put level-2 offspring (each leaf has a left and right place). This means there are 2 4 = 16 ways to put in these offspring, but we must rule out the single case of no level-2 offspring to leave us with 15. So in total there are 2(3) + 15 = 21 possible nonisomorphic binary positional trees of height 2. (g) Compute the combination 6 C 4. Your answer should be in the form of an integer. 6 C 4 = 6! = 720 = 15. 4!2! 24 2 (h) Let T be a tree with root v 0. If w is a vertex of the tree different from v 0, what is the in-degree of T at w? 1. 2

3 (i) What is the Θ class of n(n lg n+ 3 n+1500)? Your choices are Θ(n lg n), Θ(n), Θ(n 5 6), Θ(n 1 2), Θ(n 3 2 lg n) and Θ(1). Θ( n(n lg n + 3 n )) = Θ(n 3 2 lg n + n n 1 2) = Θ(n 3 2 lg n). (The last equality is because the second and third terms have lower Θ class than the first: Note Θ(n 3 2 lg n) > Θ(n 3 2) since Θ(lg n) > Θ(1). Moreover, Θ(n 3 2) > Θ(n 5 6) > Θ(n 1 2) = Θ(1500n 1 2) by comparing the exponents of the powers of n.) (j) Given the digraph of the Moore machine below, what is f 10 (s 0 )? s 1. (k) List all the acceptance states of the Moore machine above. s 2, s 3. (l) What is the number of ways the letters of the word carp can be permuted? Express your answer as an integer. 24. The word carp has 4 distinct letters, and so the number of permutations is 4! = 24. (m) If a 0 = 3, a 1 = 2, and a n is defined recursively by a n = 2a n 2 + a n 1 for n 2, what is a 3? a 3 = 2a 1 + a 2 = 2(2) + (2a 0 + a 1 ) = 4 + [2(3) + 2] = 12. (n) If M = of R in the box. is the matrix of a relation R on {1, 2, 3}, draw the digraph (o) What is the matrix of the symmetric closure of the relation R from part (n)? This is the same as M M (p) What is the matrix of the transitive closure of the relation R from part (n)? You can compute this using Warshall s algorithm, or the formula M M 2 M3, or by simply looking at the digraph to see that there 3

4 are paths from 1 to 2 (1 3 2), from 2 to 2 (2 3 2), and from 3 to 3 (3 2 3). (q) What is the number of four-letter passwords, consisting of all lowercase letters, that can be formed? (You do not have to simplify your answer.) This is because repetition is allowed and order matters. So for each letter of the password, there are exactly 26 choices. (r) Draw the Hasse diagram of a poset which is not a lattice. This poset is not a lattice since a, b have no LUB. (s) Write the decimal number 13 in binary (base two). 13 = (1101) 2. (t) If f 0 and f 1 are functions in a finite-state machine with inputs {0, 1}, then the composition f 0 f 1 is equal to (your answer should be one of: f 0, f 1, f 01, f 10 ). f (a) (4 pts) Write the labeled positional binary tree corresponding to the fully parenthesized expression (((x + 2)/((3 4) (y y))) + 5) (b) (4 pts) Write the result of a POSTORDER search on the tree in part (a) above. x y y / (5 pts) Given the standard ordering on digits 0 < 1 < 2 < 3 < 4 < 5 < 6 < 7 < 8 < 9, write the following strings of digits in lexicographic order. (This is not necessarily the same as numerical order.)

5 4. (a) (3 pts) Fill in the blanks in the following table n (2n) mod 5 (2n + 1) mod (b) (7 pts) Draw the digraph of a Moore machine which accepts only those positive binary integers (strings of 0 s and 1 s) which are divisible by 5. The input set should be {0, 1}, and you will need five states s 0, s 1, s 2, s 3, s 4. The state s i should be represent binary integers which are equal to i mod 5. (Hint: If n is an integer written in binary, then the concatenation n 0 represents 2n in binary, while n 1 represents 2n + 1 in binary. Relate this to the table above.) 5. (12 pts) Consider the Moore machine with acceptance state T = {s 2 } and state transition table 0 1 s 0 s 1 s 1 s 1 s 1 s 2 s 2 s 2 s 2 (a) Draw the digraph of this Moore machine. 5

6 (b) Describe in words the language of the Moore machine above. All strings of bits which contain at least one 1 which is not the first bit. (c) Give a regular expression on {0, 1} whose regular set is the language of the Moore machine above. (0 1)0 1(0 1). (d) Write, in BNF, a phase structure grammar which gives the same language as the Moore machine above. s 0 ::= 0 s 1 1 s1 s 1 ::= 0 s 1 1 s2 s 2 ::= 0 s 2 1 s2 Λ 6. (8 pts) Consider the Boolean function f = f(x, y, z, w) given by this table x y z w f (a) In the space below, draw the Karnaugh map for f. (b) Use the Karnaugh map from part (a) above to find a Boolean expression for f. Your expression should be as simple as possible. Justify your answer. (x y z ) (y w ). 7. (4 pts) Consider the relation R on A = {a, b, c, d, e} whose matrix is Is R an equivalence relation on A? If so, write down the partition of A corresponding to R. If not, explain why not. 6.

7 R is an equivalence relation corresponding to the partition {{a, e}, {b, c}, {d}} of A. 8. (6 pts) Let A = { 1, 0, 1}, a subset of the integers, and consider the mathematical structure (A, +, ), where + and are addition and multiplication. (a) Is A closed under? Why or why not? A is closed under since the product of each two elements of A is again an element of A. (b) Is A closed under +? Why or why not? A is not closed under + since e.g = 2 / A. 9. (8 pts) Consider S = {1, 2, 3, 6, 12} with the partial order of divisibility. (a) Draw the Hasse diagram of the poset S. (b) Is the poset S a lattice? Why or why not? S is a lattice, since the GLB and LUB always exist for each pair of elements of S. 10. (40 pts) True/False. Circle T or F. No explanation needed. For questions (a)-(e) below, consider the following master syntax diagram for a phase structure grammar G. 7

8 (a) T F abc L(G). F. Each string in the language must end in d. (b) T F abbcabbbcd L(G). F. You can never produce just two b s in a row (only an odd number). (c) T F ab(bb) c(ab(bb) c) d is a regular expression whose regular set is equal to L(G). T. (d) T F L(G) is a finite set of strings on {a, b, c, d}. F. L(G) is an infinite set, since for example any ab 2n+1 cd L(G) for n = 0, 1, 2, 3,.... (e) T F L(G) is a Type 3 language. T. It corresponds to a regular set, which implies it must be a Type 3 language. (f) T F If H = (V, S, v 0, ) is a phase structure grammar given by V = {v 0, x, y}, S = {x, y}, given by v 0 xv 0 x, v 0 y, then L(H) = {x n yx n n = 0, 1, 2,... }. T. The production must end in y, and identical numbers of x s are supplied on either side of y by repetitions of v 0 xv 0 x. (g) T F For H the grammar from part (f), the language L(H) is a Type 3 language. F. Any Type 3 language corresponds to a Moore machine, which has a finite number of states. Since the number of x s on either side of the y is the same for each string in the language, then the Moore machine would have to count the number of x s before the y and then produce the same number of x s afterward. Each different number of x s would require its own state (one state for each n = 0, 1, 2, 3,...) This cannot be accomplished by a finite-state machine. (h) T F If p, q are Boolean variables which are both true, what is (p q) q? F. (T T) T = (F T) T = T T = F T = F. (i) T F If h is the mod 11 function, then h(80) = 8. F. h(80) = 80 mod 11 = 3 8. (j) T F n! has lower Θ class than 10 n. F. As we discussed in class, n! has higher Θ class than any exponential function of n, since n! lim n =. 10 n 8

9 (k) T F The expression , in postfix notation, evaluates to be a prime number. T. Evaluate in postfix: = = 9 6 = 3, which is prime. (l) T F A tree, when considered as a relation on the set of its vertices, is always transitive. F. In a tree T, atb btc at/ c. (m) T F If B is a finite Boolean algebra represented by the three Boolean variables x, y, z, then the minterm of 001 is x y z. T. (n) T F Every linearly ordered set is a lattice. T. In a linearly ordered set, it is easy to show that GLB(a, b) = min(a, b) and LUB(a, b) = max(a, b). (o) T F If A is a subset of a universal set U, then Ā A =. T. (p) T F The greatest common divisor of 48 and 92 is 2. F. The GCD of 48 and 92 is 4. (q) T F Every finite poset has at least one minimal element. T. (r) T F Consider the phase structure grammar K with starting state v 0 and BNF given by v 0 ::= 01 0 w w ::= 11 w 1 v0 Then L(K). T. v 0 0w 011w 0111v (s) T F For K the grammar in part (r), 0w 011w. T. (t) T F For K the grammar in part (r), the language L(K) is the regular set of the regular expression 0( ) 1. F. This regular expression excludes e.g , which is in the language. A correct regular expression is 0(1(11) 0) 1. 9

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

Discrete Structures: Solutions to Sample Questions, Exam 2

Discrete Structures: Solutions to Sample Questions, Exam 2 Discrete Structures: Solutions to Sample Questions, Exam 2 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

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

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

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

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

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

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 Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The

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

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

MTH 310, Section 001 Abstract Algebra I and Number Theory. Sample Midterm 1

MTH 310, Section 001 Abstract Algebra I and Number Theory. Sample Midterm 1 MTH 310, Section 001 Abstract Algebra I and Number Theory Sample Midterm 1 Instructions: You have 50 minutes to complete the exam. There are five problems, worth a total of fifty points. You may not use

More information

Math 230 Final Exam, Spring 2008

Math 230 Final Exam, Spring 2008 c IIT Dept. Applied Mathematics, May 15, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 230 Final Exam, Spring 2008 Conditions. 2 hours. No book, notes, calculator, cell phones, etc. Part

More information

Homework 7 Solutions, Math 55

Homework 7 Solutions, Math 55 Homework 7 Solutions, Math 55 5..36. (a) Since a is a positive integer, a = a 1 + b 0 is a positive integer of the form as + bt for some integers s and t, so a S. Thus S is nonempty. (b) Since S is nonempty,

More information

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Math 2603 Midterm 1 Spring 2018 Your Name Student ID # Section Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Check that you have a complete exam. There are 5

More information

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

Discrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST Discrete Mathematics CS204: Spring, 2008 Jong C. Park Computer Science Department KAIST Today s Topics Sequential Circuits and Finite-State Machines Finite-State Automata Languages and Grammars Nondeterministic

More information

CS1800 Discrete Structures Fall 2016 Profs. Gold & Schnyder April 25, CS1800 Discrete Structures Final

CS1800 Discrete Structures Fall 2016 Profs. Gold & Schnyder April 25, CS1800 Discrete Structures Final CS1800 Discrete Structures Fall 2016 Profs. Gold & Schnyder April 25, 2017 CS1800 Discrete Structures Final Instructions: 1. The exam is closed book and closed notes. You may not use a calculator or any

More information

Just the Factors, Ma am HAROLD B. REITER.

Just the Factors, Ma am HAROLD B. REITER. Just the Factors, Ma am HAROLD B REITER UNIVERSITY OF NORTH CAROLINA CHARLOTTE http://wwwmathunccedu/~hbreiter The purpose of this note is to find and study a method for determining and counting all the

More information

{a, b, c} {a, b} {a, c} {b, c} {a}

{a, b, c} {a, b} {a, c} {b, c} {a} Section 4.3 Order Relations A binary relation is an partial order if it transitive and antisymmetric. If R is a partial order over the set S, we also say, S is a partially ordered set or S is a poset.

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

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime. PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

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

Induction and Recursion

Induction and Recursion . All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Induction and Recursion

More information

MATH 420 FINAL EXAM J. Beachy, 5/7/97

MATH 420 FINAL EXAM J. Beachy, 5/7/97 MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only

More information

Problem Points Score Total 100

Problem Points Score Total 100 Final Exam A. Miller Spring 2005 Math 240 0 Show all work. No books, no calculators, no cell phones, no pagers, no electronic devices of any kind. However you can bring to the exam one 8.5 by 11 cheat

More information

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

The least element is 0000, the greatest element is 1111. Note: this worksheet has been modified to emphasize the Boolean algebra content. Some problems have been deleted.; this, for instance, is why the first problem is #5 rather than #1. 5. Let A be the set

More information

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS Discrete Structures: Sample Questions, Exam, SOLUTIONS This is longer than the actual test.) 1. List all the strings over X = {a, b, c} of length or less. λ, a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc..

More information

Solutions to Practice Final

Solutions to Practice Final s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (

More information

Exercises for Discrete Maths

Exercises for Discrete Maths Exercises for Discrete Maths Discrete Maths Rosella Gennari http://www.inf.unibz.it/~gennari gennari@inf.unibz.it Computer Science Free University of Bozen-Bolzano Disclaimer. The course exercises are

More information

CSE 105 Homework 1 Due: Monday October 9, Instructions. should be on each page of the submission.

CSE 105 Homework 1 Due: Monday October 9, Instructions. should be on each page of the submission. CSE 5 Homework Due: Monday October 9, 7 Instructions Upload a single file to Gradescope for each group. should be on each page of the submission. All group members names and PIDs Your assignments in this

More information

1 What is the area model for multiplication?

1 What is the area model for multiplication? for multiplication represents a lovely way to view the distribution property the real number exhibit. This property is the link between addition and multiplication. 1 1 What is the area model for multiplication?

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

Chapter 7: Exponents

Chapter 7: Exponents Chapter : Exponents Algebra Chapter Notes Name: Notes #: Sections.. Section.: Review Simplify; leave all answers in positive exponents:.) m -.) y -.) m 0.) -.) -.) - -.) (m ) 0.) 0 x y Evaluate if a =

More information

Discrete Math I Exam II (2/9/12) Page 1

Discrete Math I Exam II (2/9/12) Page 1 Discrete Math I Exam II (/9/1) Page 1 Name: Instructions: Provide all steps necessary to solve the problem. Simplify your answer as much as possible. Additionally, clearly indicate the value or expression

More information

Mathathon Round 1 (2 points each)

Mathathon Round 1 (2 points each) Mathathon Round ( points each). A circle is inscribed inside a square such that the cube of the radius of the circle is numerically equal to the perimeter of the square. What is the area of the circle?

More information

Fall 2017 Test II review problems

Fall 2017 Test II review problems Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and

More information

CS 70 Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1 Solutions

CS 70 Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1 Solutions CS 70 Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1 Solutions PRINT Your Name: Answer: Oski Bear SIGN Your Name: PRINT Your Student ID: CIRCLE your exam room: Dwinelle

More information

Discrete Math, Fourteenth Problem Set (July 18)

Discrete Math, Fourteenth Problem Set (July 18) Discrete Math, Fourteenth Problem Set (July 18) REU 2003 Instructor: László Babai Scribe: Ivona Bezakova 0.1 Repeated Squaring For the primality test we need to compute a X 1 (mod X). There are two problems

More information

Executive Assessment. Executive Assessment Math Review. Section 1.0, Arithmetic, includes the following topics:

Executive Assessment. Executive Assessment Math Review. Section 1.0, Arithmetic, includes the following topics: Executive Assessment Math Review Although the following provides a review of some of the mathematical concepts of arithmetic and algebra, it is not intended to be a textbook. You should use this chapter

More information

Chapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms

Chapter Summary. Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms 1 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms 2 Section 5.1 3 Section Summary Mathematical Induction Examples of

More information

Recursive Definitions

Recursive Definitions Recursive Definitions Example: Give a recursive definition of a n. a R and n N. Basis: n = 0, a 0 = 1. Recursion: a n+1 = a a n. Example: Give a recursive definition of n i=0 a i. Let S n = n i=0 a i,

More information

The Advantage Testing Foundation Solutions

The Advantage Testing Foundation Solutions The Advantage Testing Foundation 2016 Problem 1 Let T be a triangle with side lengths 3, 4, and 5. If P is a point in or on T, what is the greatest possible sum of the distances from P to each of the three

More information

Number Theory and Counting Method. Divisors -Least common divisor -Greatest common multiple

Number Theory and Counting Method. Divisors -Least common divisor -Greatest common multiple Number Theory and Counting Method Divisors -Least common divisor -Greatest common multiple Divisors Definition n and d are integers d 0 d divides n if there exists q satisfying n = dq q the quotient, d

More information

Prime Factorization and GCF. In my own words

Prime Factorization and GCF. In my own words Warm- up Problem What is a prime number? A PRIME number is an INTEGER greater than 1 with EXACTLY 2 positive factors, 1 and the number ITSELF. Examples of prime numbers: 2, 3, 5, 7 What is a composite

More information

1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices.

1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices. 1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices. Proof: Every vertex, except the root, is the child of an internal vertex. Since there are i internal vertices, each of

More information

CSC Discrete Math I, Spring Relations

CSC Discrete Math I, Spring Relations CSC 125 - Discrete Math I, Spring 2017 Relations Binary Relations Definition: A binary relation R from a set A to a set B is a subset of A B Note that a relation is more general than a function Example:

More information

MODERN APPLIED ALGEBRA

MODERN APPLIED ALGEBRA 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

More information

4. What is the probability that the two values differ by 4 or more in absolute value? There are only six

4. What is the probability that the two values differ by 4 or more in absolute value? There are only six 1. Short Questions: 2/2/2/2/2 Provide a clear and concise justification of your answer. In this problem, you roll two balanced six-sided dice. Hint: Draw a picture. 1. What is the probability that the

More information

MATH 114 Fall 2004 Solutions to practice problems for Final Exam

MATH 114 Fall 2004 Solutions to practice problems for Final Exam MATH 11 Fall 00 Solutions to practice problems for Final Exam Reminder: the final exam is on Monday, December 13 from 11am - 1am. Office hours: Thursday, December 9 from 1-5pm; Friday, December 10 from

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

Advanced Boolean Logic and Applications to Control Systems

Advanced Boolean Logic and Applications to Control Systems Advanced Boolean Logic and Applications to Control Systems Course No: E0-0 Credit: PDH Jeffrey Cwalinski, P.E. Continuing Education and Development, Inc. 9 Greyridge Farm Court Stony Point, NY 0980 P:

More information

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

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60 McGill University Faculty of Science Solutions to Practice Final Examination Math 40 Discrete Structures Time: hours Marked out of 60 Question. [6] Prove that the statement (p q) (q r) (p r) is a contradiction

More information

Induction and recursion. Chapter 5

Induction and recursion. Chapter 5 Induction and recursion Chapter 5 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms Mathematical Induction Section 5.1

More information

NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.

NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty. EXAM 2 solutions (COT3100, Sitharam, Spring 2017) NAME:last first: UF-ID Section NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty. (1) Are the following functions one-to-one

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

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

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

(c) Give a proof of or a counterexample to the following statement: (3n 2)= n(3n 1) 2 Question 1 (a) Suppose A is the set of distinct letters in the word elephant, B is the set of distinct letters in the word sycophant, C is the set of distinct letters in the word fantastic, and D is the

More information

NODIA AND COMPANY. GATE SOLVED PAPER Computer Science Engineering Theory of Computation. Copyright By NODIA & COMPANY

NODIA AND COMPANY. GATE SOLVED PAPER Computer Science Engineering Theory of Computation. Copyright By NODIA & COMPANY No part of this publication may be reproduced or distributed in any form or any means, electronic, mechanical, photocopying, or otherwise without the prior permission of the author. GATE SOLVED PAPER Computer

More information

COMPUTER SCIENCE TRIPOS

COMPUTER SCIENCE TRIPOS CST0.2017.2.1 COMPUTER SCIENCE TRIPOS Part IA Thursday 8 June 2017 1.30 to 4.30 COMPUTER SCIENCE Paper 2 Answer one question from each of Sections A, B and C, and two questions from Section D. Submit the

More information

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

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Problem 1: Specify two different predicates P (x) and

More information

Relations Graphical View

Relations Graphical View Introduction Relations Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Recall that a relation between elements of two sets is a subset of their Cartesian

More information

Equivalence relations

Equivalence relations Equivalence relations R A A is an equivalence relation if R is 1. reflexive (a, a) R 2. symmetric, and (a, b) R (b, a) R 3. transitive. (a, b), (b, c) R (a, c) R Example: Let S be a relation on people

More information

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

Math Fall Final Exam. Friday, 14 December Show all work for full credit. The problems are worth 6 points each. Name: Math 50 - Fall 2007 Final Exam Friday, 4 December 2007 Show all work for full credit. The problems are worth 6 points each.. Find the number of subsets of S = {, 2,... 0} that contain exactly 5 elements,

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

1. Induction on Strings

1. Induction on Strings CS/ECE 374: Algorithms & Models of Computation Version: 1.0 Fall 2017 This is a core dump of potential questions for Midterm 1. This should give you a good idea of the types of questions that we will ask

More information

CMSC Discrete Mathematics FINAL EXAM Tuesday, December 5, 2017, 10:30-12:30

CMSC Discrete Mathematics FINAL EXAM Tuesday, December 5, 2017, 10:30-12:30 CMSC-37110 Discrete Mathematics FINAL EXAM Tuesday, December 5, 2017, 10:30-12:30 Name (print): Email: This exam contributes 40% to your course grade. Do not use book, notes, scrap paper. NO ELECTRONIC

More information

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS 1 MA6566 - DISCRETE MATHEMATICS UNIT I - LOGIC AND PROOFS Propositional Logic Propositional equivalences-predicates and quantifiers-nested Quantifiers- Rules of inference-introduction to Proofs-Proof Methods

More information

Order of Operations. Real numbers

Order of Operations. Real numbers Order of Operations When simplifying algebraic expressions we use the following order: 1. Perform operations within a parenthesis. 2. Evaluate exponents. 3. Multiply and divide from left to right. 4. Add

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

PRACTICE PROBLEMS: SET 1

PRACTICE PROBLEMS: SET 1 PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if

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

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

Discrete Mathematics. 2. Relations

Discrete Mathematics. 2. Relations Discrete Mathematics 2. Relations Binary Relations Let A, B be any two sets. A binary relation R from A to B is a subset of A B. E.g., Let < : N N : {(n,m) n < m} The notation a R b or arb means (a,b)îr.

More information

Mat Week 8. Week 8. gcd() Mat Bases. Integers & Computers. Linear Combos. Week 8. Induction Proofs. Fall 2013

Mat Week 8. Week 8. gcd() Mat Bases. Integers & Computers. Linear Combos. Week 8. Induction Proofs. Fall 2013 Fall 2013 Student Responsibilities Reading: Textbook, Section 3.7, 4.1, & 5.2 Assignments: Sections 3.6, 3.7, 4.1 Proof Worksheets Attendance: Strongly Encouraged Overview 3.6 Integers and Algorithms 3.7

More information

CS6901: review of Theory of Computation and Algorithms

CS6901: review of Theory of Computation and Algorithms CS6901: review of Theory of Computation and Algorithms Any mechanically (automatically) discretely computation of problem solving contains at least three components: - problem description - computational

More information

CSCE 551 Final Exam, April 28, 2016 Answer Key

CSCE 551 Final Exam, April 28, 2016 Answer Key CSCE 551 Final Exam, April 28, 2016 Answer Key 1. (15 points) Fix any alphabet Σ containing the symbol a. For any language L Σ, define the language a\l := {w Σ wa L}. Show that if L is regular, then a\l

More information

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University COMP 182 Algorithmic Thinking Relations Luay Nakhleh Computer Science Rice University Chapter 9, Section 1-6 Reading Material When we defined the Sorting Problem, we stated that to sort the list, the elements

More information

3. Applying the definition, we have 2#0 = = 5 and 1#4 = = 0. Thus, (2#0)#(1#4) = 5#0 = ( 5) 0 ( 5) 3 = 2.

3. Applying the definition, we have 2#0 = = 5 and 1#4 = = 0. Thus, (2#0)#(1#4) = 5#0 = ( 5) 0 ( 5) 3 = 2. JHMMC 01 Grade 7 Solutions October 1, 01 1. There are 16 words in the sentence, and exactly 5 of them have four letters, as shown: What is the probability that a randomly chosen word of this sentence has

More information

Student Responsibilities Week 8. Mat Section 3.6 Integers and Algorithms. Algorithm to Find gcd()

Student Responsibilities Week 8. Mat Section 3.6 Integers and Algorithms. Algorithm to Find gcd() Student Responsibilities Week 8 Mat 2345 Week 8 Reading: Textbook, Section 3.7, 4.1, & 5.2 Assignments: Sections 3.6, 3.7, 4.1 Induction Proof Worksheets Attendance: Strongly Encouraged Fall 2013 Week

More information

MC9211 Computer Organization

MC9211 Computer Organization MC92 Computer Organization Unit : Digital Fundamentals Lesson2 : Boolean Algebra and Simplification (KSB) (MCA) (29-2/ODD) (29 - / A&B) Coverage Lesson2 Introduces the basic postulates of Boolean Algebra

More information

CMSC Discrete Mathematics SOLUTIONS TO SECOND MIDTERM EXAM November, 2005

CMSC Discrete Mathematics SOLUTIONS TO SECOND MIDTERM EXAM November, 2005 CMSC-37110 Discrete Mathematics SOLUTIONS TO SECOND MIDTERM EXAM November, 2005 Instructor: László Babai Ryerson 164 e-mail: laci@cs This exam contributes 20% to your course grade. 1. (6 points) Let a

More information

cse 311: foundations of computing Fall 2015 Lecture 12: Primes, GCD, applications

cse 311: foundations of computing Fall 2015 Lecture 12: Primes, GCD, applications cse 311: foundations of computing Fall 2015 Lecture 12: Primes, GCD, applications n-bit unsigned integer representation Represent integer x as sum of powers of 2: If x = n 1 i=0 b i 2 i where each b i

More information

Evaluate algebraic expressions for given values of the variables.

Evaluate algebraic expressions for given values of the variables. Algebra I Unit Lesson Title Lesson Objectives 1 FOUNDATIONS OF ALGEBRA Variables and Expressions Exponents and Order of Operations Identify a variable expression and its components: variable, coefficient,

More information

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y. Relations Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 7.1, 7.3 7.5 of Rosen cse235@cse.unl.edu

More information

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible Name: CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December 2016 Question Points Possible Points Received 1 12 2 14 3 14 4 12 5 16 6 16 7 16 Total 100 Instructions: 1. This exam

More information

Math 4320 Prelim, Part I

Math 4320 Prelim, Part I Math 4320 Prelim, Part I 1:25pm 2:15pm, Monday 12th March 2012 Algebra is generous; she often gives more than is asked of her. Jean-Baptiste le Rond D Alembert This exam contains three questions. Choose

More information

Fundamentals of Mathematics (MATH 1510)

Fundamentals of Mathematics (MATH 1510) Fundamentals of Mathematics (MATH 1510) Instructor: Lili Shen Email: shenlili@yorku.ca Department of Mathematics and Statistics York University September 11, 2015 About the course Name: Fundamentals of

More information

CMSC Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005

CMSC Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005 CMSC-37110 Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005 Instructor: László Babai Ryerson 164 e-mail: laci@cs This exam contributes 20% to your course grade.

More information

Algebra 1 Correlation of the ALEKS course Algebra 1 to the Washington Algebra 1 Standards

Algebra 1 Correlation of the ALEKS course Algebra 1 to the Washington Algebra 1 Standards Algebra 1 Correlation of the ALEKS course Algebra 1 to the Washington Algebra 1 Standards A1.1: Core Content: Solving Problems A1.1.A: Select and justify functions and equations to model and solve problems.

More information

Exponents. Reteach. Write each expression in exponential form (0.4)

Exponents. Reteach. Write each expression in exponential form (0.4) 9-1 Exponents You can write a number in exponential form to show repeated multiplication. A number written in exponential form has a base and an exponent. The exponent tells you how many times a number,

More information

Name: Student ID: Instructions:

Name: Student ID: Instructions: Instructions: Name: CSE 322 Autumn 2001: Midterm Exam (closed book, closed notes except for 1-page summary) Total: 100 points, 5 questions, 20 points each. Time: 50 minutes 1. Write your name and student

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

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth Sets We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth century. Most students have seen sets before. This is intended

More information

Lecture Notes 1 Basic Probability. Elements of Probability. Conditional probability. Sequential Calculation of Probability

Lecture Notes 1 Basic Probability. Elements of Probability. Conditional probability. Sequential Calculation of Probability Lecture Notes 1 Basic Probability Set Theory Elements of Probability Conditional probability Sequential Calculation of Probability Total Probability and Bayes Rule Independence Counting EE 178/278A: Basic

More information

Multiple Choice Questions for Review

Multiple Choice Questions for Review Equivalence and Order Multiple Choice Questions for Review In each case there is one correct answer (given at the end of the problem set). Try to work the problem first without looking at the answer. Understand

More information

The Real Number System

The Real Number System MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a well-defined collection of objects, with well-defined meaning that there is a specific description from which we can tell precisely

More information

West Windsor-Plainsboro Regional School District Algebra Grade 8

West Windsor-Plainsboro Regional School District Algebra Grade 8 West Windsor-Plainsboro Regional School District Algebra Grade 8 Content Area: Mathematics Unit 1: Foundations of Algebra This unit involves the study of real numbers and the language of algebra. Using

More information

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Name (please print) Mathematics Final Examination December 14, 2005 I. (4) Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,

More information

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible Name: CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December 2016 Question Points Possible Points Received 1 12 2 14 3 14 4 12 5 16 6 16 7 16 Total 100 Instructions: 1. This exam

More information

CS250, Fall 2010, Midterm 2, Tuesday November 9, 8am.

CS250, Fall 2010, Midterm 2, Tuesday November 9, 8am. CS250, Fall 2010, Midterm 2, Tuesday November 9, 8am. This is an individual, closed-book (and notes, cell phone,...) exam. You have 75 minutes. Write CS250 in the Subject and #1 in the Test No. fields

More information

MockTime.com. (b) (c) (d)

MockTime.com. (b) (c) (d) 373 NDA Mathematics Practice Set 1. If A, B and C are any three arbitrary events then which one of the following expressions shows that both A and B occur but not C? 2. Which one of the following is an

More information

Problem Points Score Total 100

Problem Points Score Total 100 Exam 2 A. Miller Spring 2002 Math 240 0 Show all work. Circle your answer. No notes, no books, no calculator, no cell phones, no pagers, no electronic devices at all. Solutions will be posted shortly after

More information