Discrete Structures, Final Exam
|
|
- Bruce Russell
- 5 years ago
- Views:
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).
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 informationDiscrete 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 informationExam 2. Is g one-to-one? Is g onto? Why? Solution: g is not one-to-one, since for c A, g(b) = g(c) = c. g is not onto, since a / g(a).
Discrete Structures: Exam 2 Solutions to Sample Questions, 1. Let A = B = {a, b, c}. Consider the relation g = {(a, b), (b, c), (c, c)}. Is g one-to-one? Is g onto? Why? Solution: g is not one-to-one,
More informationREVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms
REVIEW QUESTIONS Chapter 1: Foundations: Sets, Logic, and Algorithms 1. Why can t a Venn diagram be used to prove a statement about sets? 2. Suppose S is a set with n elements. Explain why the power set
More informationSection Summary. Relations and Functions Properties of Relations. Combining Relations
Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included
More informationDefinition: A binary relation R from a set A to a set B is a subset R A B. Example:
Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.
More information1. 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 informationTutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement
Tutorial - 1 1. Obtain the principal disjunctive normal form and principal conjunction form of the statement Let S P P Q Q R P P Q Q R A: P Q Q R P Q R P Q Q R Q Q R A S Minterm Maxterm T T T F F T T T
More informationCS1800 Discrete Structures Final Version A
CS1800 Discrete Structures Fall 2017 Profs. Aslam, Gold, & Pavlu December 11, 2017 CS1800 Discrete Structures Final Version A Instructions: 1. The exam is closed book and closed notes. You may not use
More informationMTH 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 informationMath 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 informationHomework 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 informationDo 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 informationDiscrete 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 informationCS1800 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 informationJust 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}
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 informationDISCRETE STRUCTURES AMIN WITNO
DISCRETE STRUCTURES AMIN WITNO p h i. w i t n o. c o m Discrete Structures Revision Notes and Problems Amin Witno Preface These notes were prepared for students as a revision workbook
More informationPUTNAM 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 informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationInduction 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 informationMATH 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 informationProblem 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 informationThe 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 informationDiscrete 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 informationSolutions 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 informationExercises 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 informationCSE 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 information1 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 information1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A.
1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A. How to specify sets 1. to enumerate all of the elements
More informationChapter 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 informationDiscrete 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 informationMathathon 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 informationFall 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 informationCS 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 informationDiscrete 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 informationExecutive 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 informationChapter 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 informationRecursive 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 informationThe 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 informationNumber 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 informationPrime 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 information1. 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 informationCSC 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 informationMODERN 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 information4. 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 informationMATH 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 informationCHAPTER 1. Relations. 1. Relations and Their Properties. Discussion
CHAPTER 1 Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition 1.1.1. A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is Related to b
More informationAdvanced 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 informationMcGill 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 informationInduction 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 informationNOTE: 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 informationNotation Index. gcd(a, b) (greatest common divisor) NT-16
Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9
More informationCS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York
CS 250/251 Discrete Structures I and II Section 005 Fall/Winter 2013-2014 Professor York Practice Quiz March 10, 2014 CALCULATORS ALLOWED, SHOW ALL YOUR WORK 1. Construct the power set of the set A = {1,2,3}
More information(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 informationNODIA 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 informationCOMPUTER 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 informationDepartment 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 informationRelations 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 informationEquivalence 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 informationMath 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 information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More information1. 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 informationCMSC 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 informationSRI 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 informationOrder 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 informationCSE 1400 Applied Discrete Mathematics Proofs
CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4
More informationPRACTICE 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 informationMATH 363: Discrete Mathematics
MATH 363: Discrete Mathematics Learning Objectives by topic The levels of learning for this class are classified as follows. 1. Basic Knowledge: To recall and memorize - Assess by direct questions. The
More informationNORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION
NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION 011-1 DISCRETE MATHEMATICS (EOE 038) 1. UNIT I (SET, RELATION,
More informationDiscrete 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 informationMat 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 informationCS6901: 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 informationCSCE 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 informationCOMP 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 information3. 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 informationStudent 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 informationMC9211 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 informationCMSC 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 informationcse 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 informationEvaluate 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 informationNotes. 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 informationCIS 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 informationMath 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 informationFundamentals 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 informationCMSC 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 informationAlgebra 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 informationExponents. 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 informationName: 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 informationVALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur
VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur 603 203. DEPARTMENT OF COMPUTER SCIENCE ENGINEERING SUBJECT QUESTION BANK : MA6566 \ DISCRETE MATHEMATICS SEM / YEAR: V / III year CSE. UNIT I -
More informationSets. 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 informationLecture 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 informationMultiple 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 informationThe 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 informationWest 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 informationName (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 informationCIS 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 informationCS250, 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 informationMockTime.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 informationProblem 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