CSE Discrete Structures

Size: px
Start display at page:

Download "CSE Discrete Structures"

Transcription

1 CSE Discrete Structures Homework 3- Solution - Fall 2010 Due Date: Oct , 3:30 pm Sets 1. Rewrite the following sets as a list of elements. (8 points) a) {x ( y)(y N x = y 3 x < 30)} {0, 1, 8, 27} ) {x x is a palindrome over the alphaet a, of length less than 5} {a,, aa,, aaa, aa,, a, aaaa, aa,, aa} c) {x x Z x < 6} {0, 1, 1, 2, 2, 3, 3, 4, 4, 5, 5} d) {x x < 0 x 3 Z} { 3, 6, 9, 12, 15,...} Rewrite the following sets y giving a characteristic property. e) {,,,,,...} {x ( y)(y N y > 0 x = n )} f) { 3, 5, 7, 11, 13, 17, 19, 23, 29 } {x x is a prime numer x > 2} g) { Red, Green, Blue } {x x is a primary color} h) {0, 0.5, 1, 1.5, 2, 2.5, 3, 3.5,...} {x ( y)(y N x = 0.5 y)} 2. Given the sets A, B, C, and D elow, indicate which of the following statements are true. (8 points) A = {x y Z x = y 2 } B = {x x Z x 0} C = {2, 3, 5, 8, 12, 17, 23, 30} D = {x ( y)(y Z x = 2 y)} a) A B True 2010 Manfred Huer Page 1

2 ) B A False c) C B True d) (A C) = True e) (A D) B True f) 25 (A D) True g) D B False h) A (D B) False 3. Determine which of the following are operations on the given set S. You have to justify your decision (a short justification is sufficient). (16 points) a) x y = x 3, S = {x x Z x > 5} Is an operation. Third power is well defined on the integers larger than 5 and the third power of any integer larger than 5 is an integer larger than 5. ) x y = x 2 y 2, S = {x x N} Is not an operation. It is not closed on the natural numers since for any y larger than x the difference of the squares is negative and thus not a natural numer. c) x y = x y, S = {x x Q x > 0} x+y Is an operation. It is well defined for the positive rational numers (since the denominator can never ecome 0) and is closed since the result of multiplication and addition of positive rational numers are positive rational numers and teh division of two positive rational numers also results in a positive rational numer. d) x y = xyx, S = {x x is a palindrome over the alphaet a, } Is not an operation. xyx is not closed for palindromes since, e.g., for x = a and y = a it results in xyx = aaa which is not a palindrome. e) x y = x y, S = (Z) Is an operation. Union is well defined for the power set and the poser set of all integers is closed under union. f) x # = x S, S = N Is not an operation. returns a truth value and the set of natural numers is therefore not closed under. g) x # = x + x, S = R Is not an operation. Square root is not well defined on the real numers Manfred Huer Page 2

3 h) x # = xx, S = {a,, aa,, aaa,, aaaa,,...} Is an operation. String concatenation is well defined over the set of strings containing only one kind of symol and this set is closed under concatenation with itself since concatenation of a string containing only one symol type with itself again results in a string containing only one symol type. 4. Prove the following set identities. (18 points) a) A A = S A A S : x (A A) x (S A) x A x S x S x S S A A : x S x ((S A) A) x (A A) ) A B = A B A B A B : x A B x (A B) x (A B) x A x B x A x B x A x B x A x B x (A B) A B A B : x (A B x A x B x A x B x A x B x A x B x A B x (A B) x A B c) A B = B A x (A B) x A x B x B x A x (B A) Using the asic set identities listed in the tale prove the following set identities. You have to indicate at each step which identity was used. d) (A B) ((C A B) (B C A)) = B (A B) ((C A B) (B C A)) (A B) ((C A B) (C A B)) comm (A B) ((C C) (A B)) dist (A B) (S (A B)) comp (A B) (A B) id (A A) B dist S B comp B id e) (A (B C)) (A B C) C B = 2010 Manfred Huer Page 3

4 (A (B C)) (A B C) C B (A (B C)) (A B C) (C B) DeMorgan( from part ) (A (B C)) (A B C) (C B) dn A (B C) A B C (C B) comm A (B C) (C B) A B C comm A (B C) (B C) A B C comm A (B (C C)) A B C dist A (B ) A B C comp A B A B C id ((A B) A B) C C id id f) (((A (B C)) (A C))) (A (C (B S))) = C 2010 Manfred Huer Page 4

5 (((A (B C)) (A C))) (A (C (B S))) (((A (B C)) (A C))) (A (C S)) id (((A (B C)) (A C))) (A C) id (A (B C) A C) (A C) ass (A A C (B C)) (A C) comm (A C (B C)) (A C) id ((A C) (A C)) ((B C) (A C)) dist ((A A) C) ((B C) (A C)) dist ( C) ((B C) (A C)) comp C ((B C) (A C)) id (C (B C)) (C (A C)) dist (C (B C)) (C C A) comm (C (B C)) (C A) id ((S C) (B C)) (C A) id ((S B) C) (C A) dist (S C) (C A) id C (C A) id (C ) (C A) id C ( A) dist C id C id 2010 Manfred Huer Page 5

6 5. Show that the following sets are denumerale. (10 points) a) {x y Z x = 2 y + 1} This set contains all odd integers. To enumerate it we can use the following enumeration function: S(i) = ( 1) i i which enumerates them as: {1, 1, 3, 3, 5, 5,...} 2 ) {x y N z N x = y } z All elements of this set can e enumerated using dovetailing as pairs (y, z): {(0, 0), (0, 1), (1, 0), (2, 0), (1, 1), (0, 2), (0, 3), (1, 2),(2, 1),(3, 0), (4,0),...} c) {x x is a finite length alternating string of even length of the symols 1, and 0 starting with 0} All elements of this set can e enumerated as follows: {0, 01, 010, 0101, 01010, ,...} d) {(x, y) x N y Z} All elements of this set can e enumerated using dovetailing and the enumeration order for integers: {(0, 0), (0, 1), (1, 0), (2, 0), (1, 1), (0, 1), (0, 2), (1,1), (2, 1), (3, 0), (4,0), (3, 1), (2, 1), (1, 2), (0, 2), (0, 3), (1, 2),...} Use Cantor s diagonalization method to prove that the following set is not countale. e) {x x is an infinite length string over the english alphaet} Assuming that the set is countale we can write a list of all elements (strings) s i = s i,1 s i,2 s i,3... in this set in the following way: s 1,1 s 1,2 s 1,3 s 1,4 s 1,5... s 2,1 s 2,2 s 2,3 s 2,4 s 2,5... s 3,1 s 3,2 s 3,3 s 3,4 s 3,5... s 4,1 s 4,2 s 4,3 s 4,4 s 4,5.... where s i,j {a,, c, d,...}. Given this enumeration we can construct an element t = t 1 t 2 t 3... of the set as follows: { a if si,i = t i = otherwise Given this definition t is different from every s i since for all i the i th symol of t is different from the i th symol in s i. Therefore y is an element of the set ut not an element of the list and thus the assumption that the set is countale has to e false. Counting Principles 6. Use decision trees to determine the numer of possile outcomes for the following prolems. (8 points) 2010 Manfred Huer Page 6

7 a) Mary goes grocery shopping for Milk and Cookies. The Supermarket has 3 rands of milk and 4 types of cookies. How many choices does Mary have? M1 M2 M3 C1 C2 C3 C4 C1 C2 C3 C4 C1 C2 C3 C4 Mary has 12 different choices. ) How many different strings of length 3 can e formed over the alphaet {a,, c}? a c a c a c a c a c a c a c a c a c a c a c a c a c There are 27 different strings. c) If there are 3 types of pens, 4 types of pencils, and 2 types of paper, how many different ways are there to uy paper and something to write? P1 P l1 l2 l3 l l1 l2 l3 l4 There are 14 different choices. d) There are three colored chips on the tale, one red, one lue, and one green. How many ways are there to put the three chips in a row? r g g r r g g r g r There are 6 different ways Manfred Huer Page 7

8 7. Given the sets A, B, and C, use the addition principle, multiplication principle, and the principle of inclusion and exclusion to determine the numer of elements in the following sets. (12 points) A = {2, 3, 5, 7} B = {Red, Green, Blue} C = { 1, 1, 2, 2} D = {2, 3, 4} a) A C (B C) = A + C + B C A C A (B C) C (B C) + A C (B C) = B C = = 19. ) A C D = A + C + D A C A D C D + A C D = = 8. c) (B C) D = B C D = = 36. Use the addition and multiplication principles to determine the numer of possile outcomes for the following prolems. d) How many octal (i.e. ase 8) numers of length 4 are there that contain only odd digits? This is a sequence of 4 digit choices (multiplication principle) where in each choice there are 4 choices (odd digits - 1,3,5,7). Therefore there are = 256 numers. e) Consider an experiment where you either flip a coin or use a random numer generator to draw a random integer etween 1 and 10. If you repeat this experiment 4 times in a row, how many different outcomes can you otain? This is a sequence of experiments (multiplication principle) where in each experiment a choice etween flipping a coin and using a random numer generator is possile (addition principle). Therefore there are (2 + 10) (2 + 10) (2 + 10) (2 + 10) = different outcomes. f) If we randomly chain letters into strings of length 7, how many outcomes are there that contain only vowels? This is a sequence of letters (multiplication principle where in each position we have a choice of all the vowels (a, e, i, o, u). Therefore there are = possile outcomes that contain only vowels. Permutations and Cominations 8. Indicate if the following are permutation or comination prolems and determine the numer of possiilities. (20 points) a) How many possile outcomes are there if you flip a coin 10 times in a row? This is a permutation prolems since the sequence matters. There are repetitions here (you can get the same result multiple times) and all outcomes in each round are unique = Manfred Huer Page 8

9 ) How many different strings of length 5 can e formed over the english alphaet (26 distinct letters)? This is a permutation prolem since the order matters. There are repetitions since each letter can occur multiple times ut all elements are unique = 11, 881, 376 c) How many different sets of 5 distinct letters can you form from the letters of the english alphaet (26 distinct letters)? This is a comination prolem since the order does not matter when forming sets. There are no repetitions since the letters have to e distinct and no duplicates. C(26, 5) = 26! = 65, !5! d) How many distinct inary numers (potenitally with leading 0 s) can e formed from the digits in the numer ? This is a permutation prolem since the order matters. There is no repetition ut there are duplicate elements. 9! = 126 4! 5! e) How many different study groups of size 5 that contain at least one man and one woman can e formed in a class with 25 men and 12 women? This is a comination prolem since order does not matter. There are no repetitions or duplicates. This prolem can e solved using the addition principle and cominations y oserving that the numer of groups of size 5 containing at least one man and one woman is equal to the sum of the numer of groups containing exactly 1 woman and 4 men, exactly 2 women and 3 men, exactly 3 women and 2 men and exactly 4 women and 1 man. C(12, 1) C(25, 4) + C(12, 2) C(25, 3) + C(12, 3) C(25, 2) + C(12, 4) C(25, 1) = 12! 25! + 12! 25! + 12! 25! + 12! 25! = 381, !1! 21!4! 10!2! 22!3! 9!3! 23!2! 8!4! 24!1! f) In a lottery, 6 numers are drawn from a set of 49 numers (1-49). How many outcomes are there that contain an equal numer of odd and even numers? This is a comination prolem since the order does not matter. To solve it we oserve that this is the same as drawing 3 numers from the set of odd numers (25) and 3 numers from the set of even numers (24). C(25, 3) C(24, 3) = 4, 655, 200 g) At a party, 8 guests are distriuted throughout 3 rooms. How many different possiilities are there for the occupancy of the rooms (only the numer of guests in each room matters)? This is a comination prolem with repetition. It is easiest solved y interpreting it as a permutation prolem with duplicates (where all elements are duplicates and 2 additional - identical - elements are added to mark the rooms). (8+(3 1))! = 10! = 45 8!(3 1)! 8!2! h) How many decimal numers of length 6 (no leading 0 s) are there in which no digit occurs more than once? This is a permutation prolem since the order matters. There are no repetitions and the first digit is special since it is not allowed to e 0. This can either e solved y sutracting 2010 Manfred Huer Page 9

10 all length 6 permutations that start with 0 from the total. P(10, 6) P(10, 5) = 10! 9! = 151, , 120 = 136, 080 4! 5! 2010 Manfred Huer Page 10

EXERCISE Which of the following is irrational? (C) 7 (D) 81 (A) (B)

EXERCISE Which of the following is irrational? (C) 7 (D) 81 (A) (B) EXERCISE Write the correct answer in each of the following:. Every rational number is a natural number an integer (C) a real number (D) a whole number. Between two rational numbers there is no rational

More information

Discrete Structures. Fall Homework3

Discrete Structures. Fall Homework3 Discrete Structures Fall 2015 Homework3 Chapter 5 1. Section 5.1 page 329 Problems: 3,5,7,9,11,15 3. Let P(n) be the statement that 1 2 + 2 2 + +n 2 = n(n + 1)(2n + 1)/6 for the positive integer n. a)

More information

Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103. Chapter 2. Sets

Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103. Chapter 2. Sets Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103 Chapter 2 Sets Slides are adopted from Discrete Mathematics and It's Applications Kenneth H.

More information

We use L i to stand for LL L (i times). It is logical to define L 0 to be { }. The union of languages L and M is given by

We use L i to stand for LL L (i times). It is logical to define L 0 to be { }. The union of languages L and M is given by The term languages to mean any set of string formed from some specific alphaet. The notation of concatenation can also e applied to languages. If L and M are languages, then L.M is the language consisting

More information

CS 341 Homework 1 Basic Techniques

CS 341 Homework 1 Basic Techniques CS 341 Homework 1 Basic Techniques 1. What are these sets? Write them using braces, commas, numerals, (for infinite sets), and only. (a) ({1, 3, 5} {3, 1}) {3, 5, 7} (b) {{3}, {3, 5}, {{5, 7}, {7, 9}}}

More information

COT 3100 Spring 2010 Midterm 2

COT 3100 Spring 2010 Midterm 2 COT 3100 Spring 2010 Midterm 2 For the first two questions #1 and #2, do ONLY ONE of them. If you do both, only question #1 will be graded. 1. (20 pts) Give iterative and recursive algorithms for finding

More information

CS1800 Discrete Structures Fall 2017 October 25, CS1800 Discrete Structures Midterm Version B

CS1800 Discrete Structures Fall 2017 October 25, CS1800 Discrete Structures Midterm Version B CS1800 Discrete Structures Fall 2017 October 25, 2017 Instructions: CS1800 Discrete Structures Midterm Version B 1. The exam is closed book and closed notes. You may not use a calculator or any other electronic

More information

CS1800 Discrete Structures Fall 2017 October 25, CS1800 Discrete Structures Midterm Version B

CS1800 Discrete Structures Fall 2017 October 25, CS1800 Discrete Structures Midterm Version B CS1800 Discrete Structures Fall 2017 October 25, 2017 Instructions: CS1800 Discrete Structures Midterm Version B 1. The exam is closed book and closed notes. You may not use a calculator or any other electronic

More information

1.0 Languages, Expressions, Automata

1.0 Languages, Expressions, Automata .0 Languages, Expressions, Automata Alphaet: Language: a finite set, typically a set of symols. a particular suset of the strings that can e made from the alphaet. ex: an alphaet of digits = {-,0,,2,3,4,5,6,7,8,9}

More information

Languages and Finite Automata

Languages and Finite Automata Languages and Finite Automata or how to talk to machines... Costas Busch - RPI 1 Languages A language is a set of strings String: A sequence of letters (a word) Examples: cat, dog, house, Defined over

More information

MATHEMATICS 191, FALL 2004 MATHEMATICAL PROBABILITY Outline #1 (Countability and Uncountability)

MATHEMATICS 191, FALL 2004 MATHEMATICAL PROBABILITY Outline #1 (Countability and Uncountability) MATHEMATICS 191, FALL 2004 MATHEMATICAL PROBABILITY Outline #1 (Countability and Uncountability) Last modified: September 16, 2004 Reference: Apostol, Calculus, Vol. 2, section 13.19 (attached). The aim

More information

9/19/12. Why Study Discrete Math? What is discrete? Sets (Rosen, Chapter 2) can be described by discrete math TOPICS

9/19/12. Why Study Discrete Math? What is discrete? Sets (Rosen, Chapter 2) can be described by discrete math TOPICS What is discrete? Sets (Rosen, Chapter 2) TOPICS Discrete math Set Definition Set Operations Tuples Consisting of distinct or unconnected elements, not continuous (calculus) Helps us in Computer Science

More information

Discrete Mathematics Exam File Fall Exam #1

Discrete Mathematics Exam File Fall Exam #1 Discrete Mathematics Exam File Fall 2015 Exam #1 1.) Which of the following quantified predicate statements are true? Justify your answers. a.) n Z, k Z, n + k = 0 b.) n Z, k Z, n + k = 0 2.) Prove that

More information

Comp Online Algorithms

Comp Online Algorithms Comp 7720 - Online Algorithms Assignment 1: Introduction, Searching & List Update Shahin Kamalli University of Manitoa - Fall 2018 Due: Thursday, Octoer 4th at 11:59 pm Octoer 29, 2018 The real prolem

More information

Georgia Standards of Excellence 3.2 Curriculum Map

Georgia Standards of Excellence 3.2 Curriculum Map Georgia Standards of Excellence 3.2 Curriculum Map Georgia Standards of Excellence: Curriculum Map 3 rd Grade Unit 4 3 rd Grade Unit 5 3 rd Grade Unit 6 Unit 1 Unit 2 Unit 3 Unit 4 Geometry Representing

More information

To illustrate what is intended the following are three write ups by students. Diagonalization

To illustrate what is intended the following are three write ups by students. Diagonalization General guidelines: You may work with other people, as long as you write up your solution in your own words and understand everything you turn in. Make sure to justify your answers they should be clear

More information

1. (15 points) Solve the decanting problem for containers of sizes 199 and 179; that is find integers x and y satisfying.

1. (15 points) Solve the decanting problem for containers of sizes 199 and 179; that is find integers x and y satisfying. May 9, 2003 Show all work Name There are 260 points available on this test 1 (15 points) Solve the decanting problem for containers of sizes 199 and 179; that is find integers x and y satisfying where

More information

2.1 Sets 2.2 Set Operations

2.1 Sets 2.2 Set Operations CSC2510 Theoretical Foundations of Computer Science 2.1 Sets 2.2 Set Operations Introduction to Set Theory A set is a structure, representing an unordered collection (group, plurality) of zero or more

More information

GSE Third Grade Curriculum Map

GSE Third Grade Curriculum Map GSE Third Grade Curriculum Map Unit 1 Unit 2 Unit 3 Unit 4 Unit 5 Unit 6 Unit 7 Numers and Operations in Base Ten The Relationship Between Multiplication and Division Patterns in Addition and Multiplication

More information

Hot X: Algebra Exposed

Hot X: Algebra Exposed Hot X: Algera Exposed Solution Guide for Chapter 5 Here are the solutions for the Doing the Math exercises in Hot X: Algera Exposed! (assume that all denominators 0) DTM from p.59 2. Since they have the

More information

Discrete Mathematics and Probability Theory Fall 2013 Midterm #2

Discrete Mathematics and Probability Theory Fall 2013 Midterm #2 CS 70 Discrete Mathematics and Probability Theory Fall 013 Midterm # 1. (30 points) Short Answer. No justification necessary. Please write only the answer in the space provided after each question. Please

More information

8 ε. Figure 1: An NFA-ǫ

8 ε. Figure 1: An NFA-ǫ 0 1 2 3 4 a 6 5 7 8 9 10 LECTURE 27 Figure 1: An FA-ǫ 12.1 ǫ Transitions In all automata that we have seen so far, every time that it has to change from one state to another, it must use one input symol.

More information

CSC Discrete Math I, Spring Sets

CSC Discrete Math I, Spring Sets CSC 125 - Discrete Math I, Spring 2017 Sets Sets A set is well-defined, unordered collection of objects The objects in a set are called the elements, or members, of the set A set is said to contain its

More information

Name Class Date. Quadratic Functions and Transformations

Name Class Date. Quadratic Functions and Transformations 4-1 Reteaching Parent Quadratic Function The parent quadratic function is y = x. Sustitute 0 for x in the function to get y = 0. The vertex of the parent quadratic function is (0, 0). A few points near

More information

Cantor s Diagonal Argument for Different Levels of Infinity

Cantor s Diagonal Argument for Different Levels of Infinity JANUARY 2015 1 Cantor s Diagonal Argument for Different Levels of Infinity Michael J. Neely University of Southern California http://www-bcf.usc.edu/ mjneely Abstract These notes develop the classic Cantor

More information

Math Summer 2012

Math Summer 2012 Math 481 - Summer 2012 Final Exam You have one hour and fifty minutes to complete this exam. You are not allowed to use any electronic device. Be sure to give reasonable justification to all your answers.

More information

Number System. Introduction. Natural Numbers (N) Whole Numbers (W) Integers (Z) Prime Numbers (P) Face Value. Place Value

Number System. Introduction. Natural Numbers (N) Whole Numbers (W) Integers (Z) Prime Numbers (P) Face Value. Place Value 1 Number System Introduction In this chapter, we will study about the number system and number line. We will also learn about the four fundamental operations on whole numbers and their properties. Natural

More information

ADDING AND SUBTRACTING RATIONAL EXPRESSIONS

ADDING AND SUBTRACTING RATIONAL EXPRESSIONS ADDING AND SUBTRACTING RATIONAL EXPRESSIONS To Add or Subtract Two Fractions, 0, 0 Example 1 a) Add b) Subtract a) b) The same principles apply when adding or subtracting rational expressions containing

More information

Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1

Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1 CS 70 Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1 PRINT Your Name:, (last) READ AND SIGN The Honor Code: As a member of the UC Berkeley community, I act with honesty,

More information

LESSON 1: INTRODUCTION TO COUNTING

LESSON 1: INTRODUCTION TO COUNTING LESSON 1: INTRODUCTION TO COUNTING Counting problems usually refer to problems whose question begins with How many. Some of these problems may be very simple, others quite difficult. Throughout this course

More information

2/18/14. Uses for Discrete Math in Computer Science. What is discrete? Why Study Discrete Math? Sets and Functions (Rosen, Sections 2.1,2.2, 2.

2/18/14. Uses for Discrete Math in Computer Science. What is discrete? Why Study Discrete Math? Sets and Functions (Rosen, Sections 2.1,2.2, 2. Why Study Discrete Math? Sets and Functions (Rosen, Sections 2.1,2.2, 2.3) TOPICS Discrete math Set Definition Set Operations Tuples Digital computers are based on discrete units of data (bits). Therefore,

More information

MAT 090 Brian Killough s Instructor Notes Strayer University

MAT 090 Brian Killough s Instructor Notes Strayer University MAT 090 Brian Killough s Instructor Notes Strayer University Success in online courses requires self-motivation and discipline. It is anticipated that students will read the textbook and complete sample

More information

Chapter 1: Number and Operations

Chapter 1: Number and Operations Chapter 1: Number and Operations 1.1 Order of operations When simplifying algebraic expressions we use the following order: 1. Perform operations within a parenthesis. 2. Evaluate exponents. 3. Multiply

More information

HMMT February 2018 February 10, 2018

HMMT February 2018 February 10, 2018 HMMT February 2018 February 10, 2018 Combinatorics 1. Consider a 2 3 grid where each entry is one of 0, 1, and 2. For how many such grids is the sum of the numbers in every row and in every column a multiple

More information

CSE 215: Foundations of Computer Science Recitation Exercises Set #4 Stony Brook University. Name: ID#: Section #: Score: / 4

CSE 215: Foundations of Computer Science Recitation Exercises Set #4 Stony Brook University. Name: ID#: Section #: Score: / 4 CSE 215: Foundations of Computer Science Recitation Exercises Set #4 Stony Brook University Name: ID#: Section #: Score: / 4 Unit 7: Direct Proof Introduction 1. The statement below is true. Rewrite the

More information

Set and Set Operations

Set and Set Operations Set and Set Operations Introduction A set is a collection of objects. The objects in a set are called elements of the set. A well defined set is a set in which we know for sure if an element belongs to

More information

Proof Techniques Alphabets, Strings, and Languages. Foundations of Computer Science Theory

Proof Techniques Alphabets, Strings, and Languages. Foundations of Computer Science Theory Proof Techniques Alphabets, Strings, and Languages Foundations of Computer Science Theory Proof By Case Enumeration Sometimes the most straightforward way to prove that a property holds for all elements

More information

Phil 320 Chapter 1: Sets, Functions and Enumerability I. Sets Informally: a set is a collection of objects. The objects are called members or

Phil 320 Chapter 1: Sets, Functions and Enumerability I. Sets Informally: a set is a collection of objects. The objects are called members or Phil 320 Chapter 1: Sets, Functions and Enumerability I. Sets Informally: a set is a collection of objects. The objects are called members or elements of the set. a) Use capital letters to stand for sets

More information

STUDENT NUMBER: MATH Final Exam. Lakehead University. April 13, Dr. Adam Van Tuyl

STUDENT NUMBER: MATH Final Exam. Lakehead University. April 13, Dr. Adam Van Tuyl Page 1 of 13 NAME: STUDENT NUMBER: MATH 1281 - Final Exam Lakehead University April 13, 2011 Dr. Adam Van Tuyl Instructions: Answer all questions in the space provided. If you need more room, answer on

More information

Definition MATH Benjamin V.C. Collins, James A. Swenson MATH 2730

Definition MATH Benjamin V.C. Collins, James A. Swenson MATH 2730 MATH 2730 Benjamin V.C. Collins James A. Swenson s and undefined terms The importance of definition s matter! may be more important in Discrete Math than in any math course that you have had previously.

More information

Cardinality of Sets. Washington University Math Circle 10/30/2016

Cardinality of Sets. Washington University Math Circle 10/30/2016 Cardinality of Sets Washington University Math Circle 0/0/06 The cardinality of a finite set A is just the number of elements of A, denoted by A. For example, A = {a, b, c, d}, B = {n Z : n } = {,,, 0,,,

More information

Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Midterm 1

Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Midterm 1 CS 70 Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Midterm 1 PRINT Your Name:, (last) SIGN Your Name: (first) PRINT Your Student ID: CIRCLE your exam room: 1 Pimentel 141 Mccone

More information

Finite automata. III. Finite automata: language recognizers. Nondeterministic Finite Automata. Nondeterministic Finite Automata with λ-moves

Finite automata. III. Finite automata: language recognizers. Nondeterministic Finite Automata. Nondeterministic Finite Automata with λ-moves . Finite automata: language recognizers n F can e descried y a laeled directed graph, where the nodes, called states, are laeled with a (unimportant) name edges, called transitions, are laeled with symols

More information

A Random Walk through CS70

A Random Walk through CS70 A Random Walk through CS70 CS70 Summer 2016 - Lecture 8B David Dinh 09 August 2016 UC Berkeley 1 Today (and tomorrow, and Wednesday) Review: what have we done in class? Future classes: where do you go

More information

Cardinality of Sets MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Cardinality of Sets Fall / 15

Cardinality of Sets MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Cardinality of Sets Fall / 15 Cardinality of Sets MAT Transition to Higher Mathematics Fall 0 MAT (Transition to Higher Math) Cardinality of Sets Fall 0 / Outline Sets with Equal Cardinality Countable and Uncountable Sets MAT (Transition

More information

Discrete structures - CS Fall 2017 Questions for chapter 2.1 and 2.2

Discrete structures - CS Fall 2017 Questions for chapter 2.1 and 2.2 Discrete structures - CS1802 - Fall 2017 Questions for chapter 2.1 and 2.2 1. (a) For the following switch diagrams, write the corresponding truth table and decide whether they correspond to one of the

More information

Infinity and Uncountability. Countable Countably infinite. Enumeration

Infinity and Uncountability. Countable Countably infinite. Enumeration Infinity and Uncountability. Countable Countably infinite. Enumeration How big is the set of reals or the set of integers? Infinite! Is one bigger or smaller? Same size? Same number? Make a function f

More information

Loops (while and for)

Loops (while and for) Loops (while and for) CSE 1310 Introduction to Computers and Programming Alexandra Stefan 1 Motivation Was there any program we did (class or hw) where you wanted to repeat an action? 2 Motivation Name

More information

Hands-On Standards Deluxe Grades: 7, 8 States: California Content Standards

Hands-On Standards Deluxe Grades: 7, 8 States: California Content Standards Hands-On Standards Deluxe Grades: 7, 8 States: Hands-On Standards Deluxe Edition Kit, Grades 5-6: Algebra Summary: This resource guide meets 5 and 6 math curriculum standards by matching activities to

More information

SET DEFINITION 1 elements members

SET DEFINITION 1 elements members SETS SET DEFINITION 1 Unordered collection of objects, called elements or members of the set. Said to contain its elements. We write a A to denote that a is an element of the set A. The notation a A denotes

More information

Solution: It may be helpful to list out exactly what is in each of these events:

Solution: It may be helpful to list out exactly what is in each of these events: MATH 5010(002) Fall 2017 Homework 1 Solutions Please inform your instructor if you find any errors in the solutions. 1. You ask a friend to choose an integer N between 0 and 9. Let A = {N 5}, B = {3 N

More information

1.1 - Functions, Domain, and Range

1.1 - Functions, Domain, and Range 1.1 - Functions, Domain, and Range Lesson Outline Section 1: Difference between relations and functions Section 2: Use the vertical line test to check if it is a relation or a function Section 3: Domain

More information

CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH. Fall CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Final exam The final exam is Saturday December 16 11:30am-2:30pm. Lecture A will take the exam in Lecture B will take the exam

More information

Exercise 1.1. Page 1 of 22. Website: Mobile:

Exercise 1.1. Page 1 of 22. Website:    Mobile: Question 1: Exercise 1.1 Use Euclid s division algorithm to find the HCF of: (i) 135 and 225 Since 225 > 135, we apply the division lemma to 225 and 135 to obtain 225 = 135 1 + 90 Since remainder 90 0,

More information

MAT 003 Brian Killough s Instructor Notes Saint Leo University

MAT 003 Brian Killough s Instructor Notes Saint Leo University MAT 003 Brian Killough s Instructor Notes Saint Leo University Success in online courses requires self-motivation and discipline. It is anticipated that students will read the textbook and complete sample

More information

Chapter 3. Set Theory. 3.1 What is a Set?

Chapter 3. Set Theory. 3.1 What is a Set? Chapter 3 Set Theory 3.1 What is a Set? A set is a well-defined collection of objects called elements or members of the set. Here, well-defined means accurately and unambiguously stated or described. Any

More information

Math 96--Radicals #1-- Simplify; Combine--page 1

Math 96--Radicals #1-- Simplify; Combine--page 1 Simplify; Combine--page 1 Part A Number Systems a. Whole Numbers = {0, 1, 2, 3,...} b. Integers = whole numbers and their opposites = {..., 3, 2, 1, 0, 1, 2, 3,...} c. Rational Numbers = quotient of integers

More information

In this section we take an aside from the normal discussion in algebra.

In this section we take an aside from the normal discussion in algebra. 1.5 Set Notation In this section we take an aside from the normal discussion in algebra. We want to take a look at the topic of sets and set notation. The reason we want to do this is so that as we encounter

More information

CS100: DISCRETE STRUCTURES

CS100: DISCRETE STRUCTURES CS: DISCRETE STRUCTURES Computer Science Department Lecture : Set and Sets Operations (Ch2) Lecture Contents 2 Sets Definition. Some Important Sets. Notation used to describe membership in sets. How to

More information

Discrete Math: Selected Homework Problems

Discrete Math: Selected Homework Problems Discrete Math: Selected Homework Problems 2006 2.1 Prove: if d is a common divisor of a and b and d is also a linear combination of a and b then d is a greatest common divisor of a and b. (5 3.1 Prove:

More information

Finnish National High School Mathematics Competition

Finnish National High School Mathematics Competition Finnish National High School Mathematics Competition Final Rounds 997 008 The Finnish National High School Mathematics Competition is organized by MAOL, the The Finnish Association of Teachers of Mathematics,

More information

PreCalculus Review for Math 400

PreCalculus Review for Math 400 PreCalculus Review for Math.) Completely factor..) For the function.) For the functions f ( ), evaluate ( ) f. f ( ) and g( ), find and simplify f ( g( )). Then, give the domain of f ( g( ))..) Solve.

More information

CS195H Homework 5. Due:March 12th, 2015

CS195H Homework 5. Due:March 12th, 2015 CS195H Homework 5 Due:March 12th, 2015 As usual, please work in pairs. Math Stuff For us, a surface is a finite collection of triangles (or other polygons, but let s stick with triangles for now) with

More information

Bulgarian Math Olympiads with a Challenge Twist

Bulgarian Math Olympiads with a Challenge Twist Bulgarian Math Olympiads with a Challenge Twist by Zvezdelina Stankova Berkeley Math Circle Beginners Group September 0, 03 Tasks throughout this session. Harder versions of problems from last time appear

More information

Summary of Course Coverage

Summary of Course Coverage CS-227, Discrete Structures I Spring 2006 Semester Summary of Course Coverage 1) Propositional Calculus a) Negation (logical NOT) b) Conjunction (logical AND) c) Disjunction (logical inclusive-or) d) Inequalities

More information

Number Theory Open, Round 1 Test #101

Number Theory Open, Round 1 Test #101 Number Theory Open, Round 1 Test #101 1. Write your 6-digit ID# in the I.D. NUMBER grid, left-justified, and bubble. Check that each column has only one number darkened. 2. In the EXAM NO. grid, write

More information

8.NS.1 8.NS.2. 8.EE.7.a 8.EE.4 8.EE.5 8.EE.6

8.NS.1 8.NS.2. 8.EE.7.a 8.EE.4 8.EE.5 8.EE.6 Standard 8.NS.1 8.NS.2 8.EE.1 8.EE.2 8.EE.3 8.EE.4 8.EE.5 8.EE.6 8.EE.7 8.EE.7.a Jackson County Core Curriculum Collaborative (JC4) 8th Grade Math Learning Targets in Student Friendly Language I can identify

More information

Prime Time (Factors and Multiples)

Prime Time (Factors and Multiples) CONFIDENCE LEVEL: Prime Time Knowledge Map for 6 th Grade Math Prime Time (Factors and Multiples). A factor is a whole numbers that is multiplied by another whole number to get a product. (Ex: x 5 = ;

More information

VLSI Logic Test, Validation and Verification Lecture 7 Properties & Applications of Binary Decision Diagrams

VLSI Logic Test, Validation and Verification Lecture 7 Properties & Applications of Binary Decision Diagrams VLSI Logic Test, Validation and Verification Lecture 7 Properties & Applications of Binary Decision Diagrams 1 Instructor: Priyank Kalla Department of Electrical and Computer Engineering University of

More information

Distributions of Continuous Data

Distributions of Continuous Data C H A P T ER Distributions of Continuous Data New cars and trucks sold in the United States average about 28 highway miles per gallon (mpg) in 2010, up from about 24 mpg in 2004. Some of the improvement

More information

Discrete Mathematics and Probability Theory Fall 2015 Rao Midterm 1

Discrete Mathematics and Probability Theory Fall 2015 Rao Midterm 1 CS 70 Discrete Mathematics and Probability Theory Fall 2015 Rao Midterm 1 PRINT Your Name:, (last) SIGN Your Name: (first) PRINT Your Student ID: CIRCLE your exam room: 2050 VLSB A1 Hearst Annex 120 Latimer

More information

SOLUTION TO FINAL EXAM PROBLEMS

SOLUTION TO FINAL EXAM PROBLEMS SOLUTION TO FINAL EXAM PROBLEMS Prolem. Fast Transforms and Butterflies. (a) raw a kernel of a Fast ReedMuller Transform. Explain on which formula of Boolean Algera it is ased. () Illustrate transformation

More information

ELEC-270 Solutions to Assignment 5

ELEC-270 Solutions to Assignment 5 ELEC-270 Solutions to Assignment 5 1. How many positive integers less than 1000 (a) are divisible by 7? (b) are divisible by 7 but not by 11? (c) are divisible by both 7 and 11? (d) are divisible by 7

More information

Reteaching Transforming Linear Functions

Reteaching Transforming Linear Functions Name Date Class Transforming Linear Functions INV 6 You have graphed linear functions on the coordinate plane. Now you will investigate transformations of the parent function for a linear function, f(x)

More information

Section 6.3: Further Rules for Counting Sets

Section 6.3: Further Rules for Counting Sets Section 6.3: Further Rules for Counting Sets Often when we are considering the probability of an event, that event is itself a union of other events. For example, suppose there is a horse race with three

More information

1. Chapter 1, # 1: Prove that for all sets A, B, C, the formula

1. Chapter 1, # 1: Prove that for all sets A, B, C, the formula Homework 1 MTH 4590 Spring 2018 1. Chapter 1, # 1: Prove that for all sets,, C, the formula ( C) = ( ) ( C) is true. Proof : It suffices to show that ( C) ( ) ( C) and ( ) ( C) ( C). ssume that x ( C),

More information

1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This is from Bona Chapter 1 (1).

1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This is from Bona Chapter 1 (1). Math/CS 415 Combinatorics and Graph Theory Fall 2017 Prof. Readdy Homework Chapter 1 1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This

More information

Combinatorics: The Fine Art of Counting

Combinatorics: The Fine Art of Counting Week Three Solutions Note: in these notes multiplication is assumed to take precedence over division, so 4!/2!2! = 4!/(2!*2!), and binomial coefficients are written horizontally: (4 2) denotes 4 choose

More information

1. Draw the state graphs for the finite automata which accept sets of strings composed of zeros and ones which:

1. Draw the state graphs for the finite automata which accept sets of strings composed of zeros and ones which: P R O B L E M S Finite Autom ata. Draw the state graphs for the finite automata which accept sets of strings composed of zeros and ones which: a) Are a multiple of three in length. b) End with the string

More information

Review of Operations on the Set of Real Numbers

Review of Operations on the Set of Real Numbers 1 Review of Operations on the Set of Real Numbers Before we start our jurney through algebra, let us review the structure of the real number system, properties of four operations, order of operations,

More information

Solution : a) C(18, 1)C(325, 1) = 5850 b) C(18, 1) + C(325, 1) = 343

Solution : a) C(18, 1)C(325, 1) = 5850 b) C(18, 1) + C(325, 1) = 343 DISCRETE MATHEMATICS HOMEWORK 5 SOL Undergraduate Course College of Computer Science Zhejiang University Fall-Winter 2014 HOMEWORK 5 P344 1. There are 18 mathematics majors and 325 computer science majors

More information

6th Bay Area Mathematical Olympiad

6th Bay Area Mathematical Olympiad 6th Bay Area Mathematical Olympiad February 4, 004 Problems and Solutions 1 A tiling of the plane with polygons consists of placing the polygons in the plane so that interiors of polygons do not overlap,

More information

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF

ELEMENTARY NUMBER THEORY AND METHODS OF PROOF CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF Copyright Cengage Learning. All rights reserved. SECTION 4.2 Direct Proof and Counterexample II: Rational Numbers Copyright Cengage Learning. All

More information

Solutions to First Exam, Math 170, Section 002 Spring 2012

Solutions to First Exam, Math 170, Section 002 Spring 2012 Solutions to First Exam, Math 170, Section 002 Spring 2012 Multiple choice questions. Question 1. You have 11 pairs of socks, 4 black, 5 white, and 2 blue, but they are not paired up. Instead, they are

More information

A.1 Numbers, Sets and Arithmetic

A.1 Numbers, Sets and Arithmetic 522 APPENDIX A. MATHEMATICS FOUNDATIONS A.1 Numbers, Sets and Arithmetic Numbers started as a conceptual way to quantify count objects. Later, numbers were used to measure quantities that were extensive,

More information

An Introduction to Combinatorics and Graph Theory. David Guichard

An Introduction to Combinatorics and Graph Theory. David Guichard An Introduction to Combinatorics and Graph Theory David Guichard This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/

More information

Combinatorics: The Fine Art of Counting

Combinatorics: The Fine Art of Counting This week s menu is divided into two sections. The first part is a set of appetizer problems which can all be solved using a straight-forward application of concepts covered in class. The second part consists

More information

Section A Arithmetic ( 5) Exercise A

Section A Arithmetic ( 5) Exercise A Section A Arithmetic In the non-calculator section of the examination there might be times when you need to work with quite awkward numbers quickly and accurately. In particular you must be very familiar

More information

15110 PRINCIPLES OF COMPUTING SAMPLE EXAM 2

15110 PRINCIPLES OF COMPUTING SAMPLE EXAM 2 15110 PRINCIPLES OF COMPUTING SAMPLE EXAM 2 Name Section Directions: Answer each question neatly in the space provided. Please read each question carefully. You have 50 minutes for this exam. No electronic

More information

A. Incorrect! To simplify this expression you need to find the product of 7 and 4, not the sum.

A. Incorrect! To simplify this expression you need to find the product of 7 and 4, not the sum. Problem Solving Drill 05: Exponents and Radicals Question No. 1 of 10 Question 1. Simplify: 7u v 4u 3 v 6 Question #01 (A) 11u 5 v 7 (B) 8u 6 v 6 (C) 8u 5 v 7 (D) 8u 3 v 9 To simplify this expression you

More information

Problem Set 7 Solutions

Problem Set 7 Solutions 6.42/8.62J Mathematics for Computer Science March 29, 25 Srini Devadas and Eric Lehman Problem Set 7 Solutions Due: Monday, April 4 at 9 PM Problem. Every function has some subset of these properties:

More information

Simplifying Square Root Expressions[In Class Version][Algebra 1 Honors].notebook August 26, Homework Assignment. Example 5 Example 6.

Simplifying Square Root Expressions[In Class Version][Algebra 1 Honors].notebook August 26, Homework Assignment. Example 5 Example 6. Homework Assignment The following examples have to be copied for next class Example 1 Example 2 Example 3 Example 4 Example 5 Example 6 Example 7 Example 8 Example 9 Example 10 Example 11 Example 12 The

More information

Chapter 18 out of 37 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M. Cargal.

Chapter 18 out of 37 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M. Cargal. Chapter 8 out of 7 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M. Cargal 8 Matrices Definitions and Basic Operations Matrix algebra is also known

More information

Introduction to Numbering Systems

Introduction to Numbering Systems NUMBER SYSTEM Introduction to Numbering Systems We are all familiar with the decimal number system (Base 10). Some other number systems that we will work with are Binary Base 2 Octal Base 8 Hexadecimal

More information

INSIDE the circle. The angle is MADE BY. The angle EQUALS

INSIDE the circle. The angle is MADE BY. The angle EQUALS ANGLES IN A CIRCLE The VERTEX is located At the CENTER of the circle. ON the circle. INSIDE the circle. OUTSIDE the circle. The angle is MADE BY Two Radii Two Chords, or A Chord and a Tangent, or A Chord

More information

Classwork. Exercises Use long division to determine the decimal expansion of. NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 6 8 7

Classwork. Exercises Use long division to determine the decimal expansion of. NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 6 8 7 Classwork Exercises 1 5 1. Use long division to determine the decimal expansion of. 2. Use long division to determine the decimal expansion of. 3. Use long division to determine the decimal expansion of.

More information

Section 1.7 Sequences, Summations Cardinality of Infinite Sets

Section 1.7 Sequences, Summations Cardinality of Infinite Sets Section 1.7 Sequences, Summations Cardinality of Infinite Sets Definition: A sequence is a function from a subset of the natural numbers (usually of the form {0, 1, 2,... } to a set S. Note: the sets and

More information

Solutions to Homework 10

Solutions to Homework 10 CS/Math 240: Intro to Discrete Math 5/3/20 Instructor: Dieter van Melkebeek Solutions to Homework 0 Problem There were five different languages in Problem 4 of Homework 9. The Language D 0 Recall that

More information

CSE 120. Computer Science Principles

CSE 120. Computer Science Principles Adam Blank Lecture 17 Winter 2017 CSE 120 Computer Science Principles CSE 120: Computer Science Principles Proofs & Computation e w h e q 0 q 1 q 2 q 3 h,e w,e w,h w,h q garbage w,h,e CSE = Abstraction

More information

(l) Represent each of the sets A, B and C using bit strings. Then, use bit string representation and bitwise logical operations to find

(l) Represent each of the sets A, B and C using bit strings. Then, use bit string representation and bitwise logical operations to find Fall 2004 Ahmed Elgammal CS 205: Sample Final Exam December 6th, 2004 1. [10 points] Let A = {1, 3, 5, 7, 9}, B = {4, 5, 6, 7, 8}, C = {2, 4, 6, 8, 10}, D = {1, 2, 3} and let the universal set be U = {1,

More information