D I S C R E T E M AT H E M AT I C S H O M E W O R K

Size: px
Start display at page:

Download "D I S C R E T E M AT H E M AT I C S H O M E W O R K"

Transcription

1 D E PA R T M E N T O F C O M P U T E R S C I E N C E S C O L L E G E O F E N G I N E E R I N G F L O R I D A T E C H D I S C R E T E M AT H E M AT I C S H O M E W O R K W I L L I A M S H O A F F S P R I N G

2

3 Problems Sets 1. Boolean Logic 7 2. Sets 9 3. Predicate Logic Sequences Recursion Mathematical Induction Relations Functions Naming Systems Number Systems Number Theory Proofs 35

4 4 department of computer sciences college of engineering florida tech Homework Submission Information Submit your homework using Angel drop boxes found under the Course Material tab. Homework can be submitted before the due date. Late submissions will not be accepted unless you have a written, verifiable excuse that is acceptable to the instructor. Grading Legend Problems labeled are problems that you must be able to solve to pass the course with a C or better.! are important and will be graded. are harder and cover interesting advanced material. They will not be graded. Class Calendar and Due Dates Daily Schedule Subject to Change Section 1: Monday, Wednesday and Friday class meets in Crawford 230 from 2:00 p.m. to 2:50 p.m. in Crawford 402 Monday Wednesday Friday Jan 7th 1 Introduction 9th 2 Boolean Logic 11th 3 Boolean Logic 14th 4 Boolean Logic 21st Martin Luther King Jr. Day Holiday 28th 9 Sets HW 2 Due 4th 12 Sequences Quiz 2 11th 15 Recursion 16th 5 Boolean Logic 23rd 7 Sets 30th 10 Predicate Logic 6th 13 Sequences HW 3 Due 13th 16 Recursion HW 4 Due 18th 6 Sets HW 1 Due 25th 8 Sets Quiz 1 Feb 1st 11 Predicate Logic 8th 14 Recursion 15th 17 Recursion Quiz 3

5 discrete mathematics homework 5 18th Presidents Day Monday Wednesday Friday 20th 18 22nd 19 Induction Induction HW 5 Due 25th 20 Induction 4th Spring Break 27th 21 Induction 6th Spring Break Mar 1st 22 Induction HW 6 Due Midterm 8th Spring Break 11th 23 Relations 13th 24 Functions 15th Last Day to Withdraw 18th 25 Functions 25th 28 Functions Quiz 4 Apr 1st 31 Numbers 8th 34 Numbers Quiz 5 15th 37 Number Theory 22nd 40 Proofs 29th 42 Review 20th 26 Relations HW 7 Due 27th 29 Functions 3rd 32 Numbers HW 8 Due 10th 35 Number Theory HW 9 Due 17th 38 Number Theory HW 10 Due 24th 41 Proofs HW 11 Due May 1st Final Exam 8:00-10:00 a.m. 22nd 27 Functions 29th 30 Naming Systems 5th 33 Numbers 12th 36 Number Theory 19th 39 Proofs Quiz 6 26th Study Day 3rd 43

6

7 1. Boolean Logic Boolean logic is the study of propositions that are True or False but not both. 1. How many truth assignments are there from n Boolean variables to {True, False}? 2. State both of DeMorgan s laws and use them to re-write the Boolean conditions below. (a) ((n = 0) (a < b)) (b) (x > 2) (y = 1) 3. Prove that modus ponens is valid (a tautology). That is, prove p (p q) q is always True. 4. Prove that (p q) p is satisfiable (a contingency). That is, prove there is a truth assignment for p and q that makes the expression True. 5. Prove that (p q r) (p q) (q r) (r p) ( p q r) is unsatisfiable (a contradiction). That is, prove there is no truth assignment for p, q, and r that makes the expression True. 6. Construct a truth table for the Boolean expression ((p q) r) (p (q r))

8 8 discrete mathematics homework Is the equivalence True or False? Explain your answer. Replacing (p q) r with p (q r) is called Currying after Haskell Curry. 7. There are two Boolean expressions with no variables: True and False. (a) List four different one-variable Boolean expressions. (b) List sixteen different two-variable Boolean expressions. Truth tables is one way to list the 16 Boolean expressions. 8. Make a conjecture about how many Boolean formulas can be constructed using T ( ), AND ( ), and OR ( ) operations on n Boolean variables.

9 2. Sets A set is an unordered collection of objects that satisfy a well-defined predicate statement. 1. Draw diagrams for the following sets. (Note you should shade in the indicated set) (a) A (b) A (c) A B (d) A B (e) A B (f) A B (g) (C A) B 2. Draw diagrams that represent the following conditions. (Note you should shade in the indicated set) (a) A B = (b) A B = (c) A B (d) (A B) (C B = ) (A C = ) 3. List all subsets of the following sets. (a) (b) {0} (c) {0, 1} (d) {0, 1, 2} 4. How many subsets are there of a set with n elements? 5. Evaluate the following binomial coefficients. (a) ( 7 3 )

10 10 discrete mathematics homework (b) ( 9 5 ) 6. With respect to sets and subsets, what is the meaning of the binomial coefficient ( n k )? 7.! Make a hypothesis about the maximum number of sets that can be constructed using complement, intersection and union on a collection of n sets all lying in a universal set U.

11 3. Predicate Logic Predicate (first order) logic is the study of the truth of statements that involve variables. Predicate statements are usually quantified: ( x)(p(x)) for all x, p(x) (is True) ( x)(p(x)) for some x, p(x) (is True) (!x)(p(x)) for exactly one x, p(x) (is True) 1. A function f from X to Y is a subset of order pairs (x, y) such that x X and y Y subject to the following condition: for every x in X there is exactly one element y in Y such that the ordered pair (x, y) is contained in the subset defining the function f. Write the quoted statement using the quantifiers of predicate logic. 2. A function f (x) = y is one-to-one if for every y there is at most one x such that f (x) = y. Write the quoted statement using the quantifiers of predicate logic. 3. A function f (x) = y is onto if for every y there is an x such that f (x) = y. Write the quoted statement using the symbols quantifiers of predicate logic. 4. Let x < y be the predicate statement that x is less than y for integers x and y. The two quantified statements below have different meanings. Explain why they are different. (a) ( x)( y)(x < y) (b) ( y)( x)(x < y) 5. Let Answers(s, q) be the predicate statement.

12 12 discrete mathematics homework student s answers question q correctly The two quantified statements below have different meanings. Explain why they are different. (a) ( q)( s)(answers(s, q)) (b) ( s)( q)(answers(s, q)) 6.! Let f and g be functions on the natural numbers. Write the statement there exists a positive constant c and a natural number N such that f (n) is less than or equal to c times g(n) for all n greater than or equal to N. This is the definition of the statement that f is big-o of g. 7.! Write the statement if for every number ɛ > 0, there exists a corresponding number δ > 0 such that for all x = x 0 within a distance δ of x 0 the value of the function f at x is within a distance ɛ of L. This is the definition of the calculus concept that the limit of f as x approaches x 0 is L. lim f (x) = L x x 0

13 4. Sequences A sequence is an ordered collection of objects. 1. In arithmetic sequences successive terms are incremented by a constant value. (a) The sequence of natural numbers, N = 0, 1, 2, 3, 4,..., is the prototypical arithmetic sequence. What function enumerates the terms in N? (b) The sequence A = 3, 2, 7, 12, 17,... is also arithmetic. What function enumerates the terms in A? (c) If the terms of a sequence are given by the function f (n) = mn + b for n = 0, 1, 2, 3,... show the sequence is arithmetic, that is, successive term are incremented by a constant. What is that constant? 2. In geometric sequences successive terms are multiplied by a constant value. (a) The sequence of powers of 2, 2 = 1, 2, 4, 8, 16,..., is the prototypical geometric sequence. What function enumerates the terms in 2? (b) The sequence G = 3, 6, 12, 24, 48,... is also geometric. What function enumerates the terms in G? (c) If the terms of a sequence are given by the function f (n) = ar n, r = 1 for n = 0, 1, 2, 3,... show the sequence is geometric, that is, successive term are multiplied by a constant. What is that constant? 3. The sequence of partial sums of arithmetic and geometric sequences are also important. (a) What sequence is generated by the sum (n 1) for n = 1, 2, 3,...?

14 14 discrete mathematics homework That is, what name is given to the sequence and what is a function that enumerates terms in this sequence of partial sums (or what recurrence equation and initial condition enumerates the partial sums?) (b)! What sequence is generated by the sum b + (m + b) + (2m + b) ((n 1)m + b) for n = 1, 2, 3,...? That is, what is a function that enumerates terms in this sequence of partial sums (or what recurrence equation and initial condition enumerates the partial sums?) (c) What sequence is generated by the sum n 1 for n = 1, 2, 3,...? That is, what name is given to the sequence and what is a function that enumerates terms in this sequence of partial sums (or what recurrence equation and initial condition enumerates the partial sums?) (d)! What sequence is generated by the sum a + ar + ar ar n 1 for r = 1 and n = 1, 2, 3,...? That is, what is a function that enumerates terms in this sequence of partial sums (or what recurrence equation and initial condition enumerates the partial sums?) 4.! Define the Tribonacci numbers by T 0 = 0, T 1 = 1, T 2 = 1 and the recurrence equation T n = T n 1 + T n 2 + T n 3 for n 3. (a) Use the recurrence equation to compute T 3, T 4, T 5, and T 6. (b) What initial conditions and recurrence equation define the Tetranacci numbers?

15 5. Recursion 1. The ability to sum natural numbers and sum of powers of 2 are basic. (a) Show that the triangular numbers t(n) = n(n 1)/2 = ( n 2 ) satisfy the recurrence equation t n = t n 1 + (n 1) and initial condition t 0 = 0 (b) Show that the Mersenne numbers m(n) = 2 n 1 satisfy the recurrence equation m n = 2m n and initial condition m 0 = 0 2. Let A = a0, a 1, a 2,..., a n 1,... be a sequence. Let n 1 S = 0, a 0, a 0 + a 1, a 0 + a 1 + a 2,..., a k,... k=0 = s 0, s 1, s 2,..., s n 1,... be the sequence of partial sums of terms in A: s0 is the sum of no terms of A, s1 is the sum of the first term of A, s2 is the sum of the first 2 terms of A, etc. Show that terms in S satisfy the recurrence equation s k = s k 1 + a k 1, k 1 with initial condition s 0 = 0. 3.! Let F = 0, 1, 1, 2, 3, 5,..., Fn,... be the Fibonacci sequence. Show that a n recurrence equation = F n + 2 n solves the a n = 3a n 1 a n 2 2a n 3, n 3

16 16 discrete mathematics homework 4.! A partition of a positive integer n is a collection of positive integers whose sum is n. The integers in a partition are called parts. Denote by p(n, k) the number of partitions of n into exactly k parts. For example, p(5, 1) = 1 (5) p(5, 2) = 2 (4 + 1, 3 + 2) p(5, 3) = 2 ( , ) p(5, 4) = 1 ( ) p(5, 5) = 1 ( ) The order of the parts is unimportant. A recursion formula for p(n, k) is p(1, 1) = 1 p(n, k) = 0 when n < k or k = 0 p(n, k) = p(n 1, k 1) + p(n k, k) when n 2 and 1 k n Use the recursion formula to fill in the row 0 through 9 of the partition triangle n Partition numbers p(n, k) k

17 6. Mathematical Induction The Ideas Behind Mathematical Induction Let S(n) be a predicate statement about an integer n. Pretend you can prove 1. S(m) is True for some integer m 2. If S(m) is True for some integer m, then S(m + 1) is also True The principle of mathematical induction allow you to conclude that S(n) is True for all integers n m Problems 1. Show that the sum of the first n natural numbers equals n(n 1)/2, that is, n 1 n(n 1) k = 2 k=0 2.! An arithmetic sequence has the form b, m + b, m + b, 2m + b, 3m + b,..., (n 1)m + b,... where b is the y-intercept and m is the slope. Prove that the sum of the first n terms of an arithmetic sequence is n times the average of the first and last terms, that is, prove n 1 k=0 (km + b) = n b + [(n 1)m + b] 2 3. Show that the sum of the first n powers of 2 equals 2 n 1, that is, n 1 2 k = 2 n 1 k=0

18 18 discrete mathematics homework 4.! A geometric sequence has the form b, br, br 2, br 3, br 4,..., br n 1,... where b is the y-intercept and r = 1 is the growth factor. Prove that the sum of the first n terms of an geometric sequence is r times the last term minus the first term, all divided by r 1, that is, prove n 1 br k = brn b r 1 k=0 5. Show that the sum of binomial coefficients in row labeled n in Pascal s triangle is equal to 2 n. 6.! If you invest (pay) a dollars every period (month) for n periods and earn (pay) r percent each period, how long will it take to earn (pay off) P dollars? 7.! Show that the number of possible totals formed by rolling n 1 dice is 5n + 1. A die is a cube with six faces with 1, 2, 3, 4, 5, or 6 dots on a face.

19 7. Relations A (binary) relation is a set of ordered pairs {(x, y) : x y} where is a relational symbol. Some common relations are Equals (x = y) Less than (x < y) divides (x y) congruence mod n (x y (mod n)) equivalence (p q) subset (X Y) Two important types of relations are equivalences and partial orders: Equivalence relations are reflexive ( x)(x x), symmetric ( x, y)(x y y x), and transitive ( x, y, z)((x y) (y z) x z). Partial orders are reflexive, transitive, and antisymmetric or by contraposition ( x, y)((x y) (y x) x = y) ( x, y)(x = y (x y) (y x)) 1. Prove that congruence mod n is an equivalence relation on the integers. 2. Let B be the set of Boolean formulas on the Boolean variables p, q, and r. Prove that equivalence on formulas in B is an equivalence relation.

20 20 discrete mathematics homework 3. Prove that divides is a partial order on the natural numbers. 4.! Consider the punctured plane R R {(0, 0)} = {(x, y) : x R, y R (x, y) = (0, 0)} Say two points (a, b) and (c, d) are projectionally related if ad = bc. Show that this is an an equivalence relation. 5.! A candy machine takes nickels, dimes and quarters. When 50 is deposited a candy bar is dispensed along with change if necessary. The diagram below shows the transitions from state-tostate as money is put in the machine. (a, b) (c, d) The punctured plane with two related points (a) Say that two paths p 0 and p 1 in the transition graph are path equivalent they start in the same state and end in the same state. For example, path p 0 = is equivalent to path p 1 = : Both start in state 0 and both end in state 20. Prove path equivalence is an equivalence relation. (b) Say state s precedes state t if there is a path from s to t. (Include trivial paths from a state to itself, so that state s precedes itself). Prove precedes this is a partial order. 6.! Let F = : N N be the set of function from the natural numbers to the natural numbers. For f, g F write f = O(g) if there exists a positive constant c and a natural number N such that f (n) cg(n) n N This is called the big-o relation. Show that big-o is reflexive and transitive.

21 7.! With respect to partitions, what is the meaning of the Stirling number of the second kind { n k }? 7. relations 21

22

23 8. Functions Functions are deterministic relations: Given an input value the output value is uniquely determined. f : X Y is a function if ( x X)(!y Y)( f (x) = y) Basic Problems on Functions 1. Let f : R R be a function from the real numbers to the real numbers. Which of the following functions f are onto? (a) f (x) = 3x + 1 (b) f (x) = x 2 x 1 2. Let f : X Y be a function. Write a quantified predicate statement that says f is onto. 3. Let f : R R be a function from the real numbers to the real numbers. Which of the following functions f are one-to-one? (a) f (x) = 3x + 1 (b) f (x) = x 2 x 1 4. Let f : X Y be a function. Write a quantified predicate statement that says f is one-to-one. 5. Compute the inverse function f 1 (x) for the following functions or explain why the inverse does not exist. (a) f (x) = 3x + 1 (b) f (x) = x 2 x 1 6. Let f (x) = 3x + 1 and g(x) = x 2 x 1. What is the composite function below? (a) f (g(x)) (b) g( f (x))

24 24 discrete mathematics homework Problems on Polynomials Polynomials are an important class of functions. One reason for their importance is that every continuous function on a closed bounded interval can be approximated arbitrarily well by a polynomial. 1. What are the roots (zeros) of the following polynomial equations. (a) x 2 x 1 = 0 (b) 3x 2 7x + 2 = 0 2. Use mathematical induction to show that (x 1)(x n 1 + x n x 2 + x + 1) = x n 1 3. Use Horner s rule to evaluate the following polynomials at the given value of x. (a) p(x) = 3x 4 5x 2 16x 4 at x = 3. (b) p(x) = 2x 4 3x 3 + 2x 2 + 4x 3 at x = 3. (c) p(x) = x 5 2x 3 + 3x 2 1 at x = 2. Problems on Logarithms 1.! The information content I(x) of an event x that occurs with probability 0 < p 1 is defined to be I(x) = lg 1/p = lg p bits. The average information content, or entropy, of a sequence S of events x 0, x 1, x 2,..., x n 1 with corresponding probabilities p 0, p 1, p 2,..., p n 1 is defined to be n 1 H( S) = p k lg p k k=0 (a) When flipping a fair coin the probability of heads is p H = 0.5 and probability of a tails is p T = 0.5. What is the information content of flipping a single heads? What is the entropy of flipping the sequence heads, tails, heads?

25 8. functions 25 (b) When tossing a pair of fair dice the probability of rolling a total of 2 is p 2 = 1/36, and the probability of rolling a total of 7 is p 7 = 6/36 = 1/6, and the probability of rolling a total of 11 is p 11 = 2/36 = 1/18. What is the information content of rolling a total of 2? A 7? An 11? What is the entropy of rolling the sequence of totals 2, 7, 11? Problems on Integer Functions Some integer function maps a real number to an integer; others map integers to integers. 1. The floor and ceiling functions compute the integers that bound a read number. Compute the following floors and ceilings. (a) π (b) π (c) e (d) e (e) ϕ e , Euler s or Napier s constant. ϕ is the golden ratio (1 + 5)/2. ϕ = (1 5)/2 is the conjugate of ϕ. 2. The mod n function maps an integer to Z n = {0, 1,..., (n 1)}. Compute following values. (a) 73 mod 37 (b) 73 mod 37 (c) 37 mod 17 (d) 37 mod 17 3.! Prove the following. (a) x = x (b) x = x Problems on Permutations To permute is to arrange. A permutation is a function that arranges (or rearranges) the elements of a set. 1. How many permutations are there on the following number of distinct objects.

26 26 discrete mathematics homework (a) 5 (b) n 2. Using cyclic notation write the permutation of 1, 2, 3, 4, 5, 6, 7, 8, 9 that produces the sequence 2, 4, 6, 8, 1, 3, 5, 7, What permutation of 1, 2, 3, 4, 5, 6, 7, 8, 9 is described by the cyclic notation [1, 2, 3][4, 5, 6][7][8, 9]? 4.! With respect to permutations, what is the meaning of the Stirling number of the first kind [ n k ]?

27 9. Naming Systems And out of the ground the Lord God formed every beast of the field, and every fowl of the air; and brought them unto Adam to see what he would call them: and whatsoever Adam called every living creature, that was the name thereof. Genesis 2:19, King James Version of the Bible 1. Consider the following alphabets (a) Lower case English letters (b) Deoxyribonucleic acids (c) Proteins E = {a, b, c,..., z} DNA = {A, C, G, T} PRO = {A, C, D, E, F, G, H, I, K, L, M, N, P, Q, R, S, T, V, W, Y, B, Z, X} For each alphabet answer the following questions. (a) How many strings of length 0 are there? (b) How many strings of length 8 are there? (c) How many strings of length 0 or 1 or 2 or... n 1 are there? 2. What is the function that maps the cardinality of the alphabet and the length of strings to the number of strings. That is, what is the formula for f (a, n) = m where a = A is the size of the alphabet A, n is length of strings, and m is the number of strings of length n over A? 3. For the given alphabet, how long must strings be in order to name the given number of objects. (a) The alphabet is B and the string lengths are 7, 8, 63, 64, and m objects.

28 28 discrete mathematics homework (b) The alphabet is D and the string lengths are 9, 10, 50, 101, and m objects. (c) The alphabet is H and the string lengthe are 15, 16, 255, 256, and m objects. 4. What is the function that maps the cardinality of the alphabet and the number of objects to be named to length of strings needed to name these objects. That is, what is the formula for g(a, m) = n where a = A is the size of the alphabet A, m number of objects to be named, and n is the length of strings used to name these m objects.

29 10. Number Systems Problems on Unsigned Integers (Natural Numbers) 1. Use repeated remaindering to convert the following unsigned decimal numbers into the indicated base. (a) 73 to binary (b) 173 to binary (c) 173 to hexadecimal (d) 173 to octal 2. Use Horner s rule to convert the following unsigned numbers, written in the indicated base, to decimal notation (a) ( ) 2 (b) ( ) 2 (c) ( ) 2 (d) ( ) 2 3. I got this one from Click & Clack. Given $1000 ins $1 dollar bills and 10 envelops, distribute the money among the envelops so that you can make any amount from $1 to $1000. Problems on Signed Integers Signed integers can be represented in many ways: Signed-magnitude, one s complement, two s complement, and biased notation are a few possibilities. Two s complement and biased notation are useful in computing.

30 30 discrete mathematics homework Problems on Complement Notation 1. Write the following signed decimal numbers in two s complement notation. (a) 73 (b) 73 (c) 64 (d) 64 (e) 173 (f) Write the following two s complement numbers in signed decimal notation. (a) ( ) 2c (b) ( ) 2c (c) ( ) 2c (d) ( ) 2c Problems on Biased Notation 1. Convert the following signed integers from decimal to biased notation. (a) 13 with bias b = 32. (b) 134 with bias b = 256. (c) 145 with bias b = 256. (d) 257 with bias b = Convert the following biased numbers to decimal signed integers. (a) (18) bias=16 (b) (7) bias=16 (c) (45) bias=32 (d) (45) bias=128

31 10. number systems 31 Problems on Floating Point Numbers 1. The following binary strings are normalized floating point numbers where the first (leftmost) bit is the sign bit, the next 5 bits are exponent bits written in biased notation with bias b = 16, and the last 6 bits are fraction bits. What decimal values do these floating point numbers represent? (a) (b) Using 1 sign bit, 3 exponent bits, and 4 fraction bits to write normalized floating point numbers explain why 17/128 is the smallest positive floating point number and why 1/8 = 16/128 is not.

32

33 11. Number Theory (This set of problems in incomplete) Problems on Prime Numbers Sheldon Cooper says 73 is the best prime number. It is the 21 st prime. It s reverse 37 is the 12 th prime. The prime factors of 21 are 7 and 3. Written in binary, 73 is the palindrome List the prime numbers that are less than or equal to Prove that there are infinitely many prime numbers p such that p + 2 is also prime. Prove that every even integer greater than 4 is the sum of two odd prime numbers. Problems on the Integers Mod n 1. Let a b (mod n) and c d (mod n). Prove that a + c b + d (mod n) and ac bd (mod n). 2. Let g = gcd(59, 135). Use the Euclidean algorithm to compute g, then express g as a linear combination of 59 and Solve the linear congruence equation 59x 3 (mod 135) 4. Let g = gcd(826, 1890). Use the Euclidean algorithm to compute g, then express g as a linear combination of 826 and 1890.

34 34 discrete mathematics homework 5.! Solve the linear congruence equation x 3 (mod 1890) (Fermat s Little Theorem) Prove that if p is a prime and a an integer relatively prime to p, then a p 1 1 (mod p)

35 12. Proofs (This set of problems in incomplete) Trivial and Vacuous Proofs 1. Prove that the empty set is a subset of any set. 2. Prove that the any set A is a subset of the univeral set. Direct Proofs 1. Let a be an integer. Prove that if a 2 is a multiple of 3 then a is multiple of 3. Proofs by Contradiction 1. Prove that 3 is irrational.

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

CSE 1400 Applied Discrete Mathematics Definitions

CSE 1400 Applied Discrete Mathematics Definitions CSE 1400 Applied Discrete Mathematics Definitions Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Arithmetic 1 Alphabets, Strings, Languages, & Words 2 Number Systems 3 Machine

More information

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

CSC 125 :: Final Exam December 14, 2011

CSC 125 :: Final Exam December 14, 2011 1-5. Complete the truth tables below: CSC 125 :: Final Exam December 14, 2011 p q p q p q p q p q p q T T F F T F T F (6 9) Let p be: Log rolling is fun. q be: The sawmill is closed. Express these as English

More information

Math 230 Final Exam, Spring 2009

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

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

Review 3. Andreas Klappenecker

Review 3. Andreas Klappenecker Review 3 Andreas Klappenecker Final Exam Friday, May 4, 2012, starting at 12:30pm, usual classroom Topics Topic Reading Algorithms and their Complexity Chapter 3 Logic and Proofs Chapter 1 Logic and Proofs

More information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

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

More information

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Review for the Final! Hyunyoung Lee! 1 Final Exam Section 501 (regular class time 8:00am) Friday, May 8, starting at 1:00pm in our classroom!! Section 502 (regular

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

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

Review 1. Andreas Klappenecker

Review 1. Andreas Klappenecker Review 1 Andreas Klappenecker Summary Propositional Logic, Chapter 1 Predicate Logic, Chapter 1 Proofs, Chapter 1 Sets, Chapter 2 Functions, Chapter 2 Sequences and Sums, Chapter 2 Asymptotic Notations,

More information

Propositional Logic, Predicates, and Equivalence

Propositional Logic, Predicates, and Equivalence Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If

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

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

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Solution Guide Marcel B. Finan c All Rights Reserved 2015 Edition Contents

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

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

MTH 299 In Class and Recitation Problems SUMMER 2016

MTH 299 In Class and Recitation Problems SUMMER 2016 MTH 299 In Class and Recitation Problems SUMMER 2016 Last updated on: May 13, 2016 MTH299 - Examples CONTENTS Contents 1 Week 1 3 1.1 In Class Problems.......................................... 3 1.2 Recitation

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

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

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Autumn 2013

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Autumn 2013 . Print your name on your scantron in the space labeled NAME. 2. Print CMSC 223 in the space labeled SUBJECT. 3. Print the date 2-2-203, in the space labeled DATE. 4. Print your CRN, 786, in the space

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

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

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Spring 2011

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Spring 2011 Discrete Structures CRN 1858 Test 3 Version 1 CMSC 13 Spring 011 1. Print your name on your scantron in the space labeled NAME.. Print CMSC 13 in the space labeled SUBJECT. 3. Print the date, 5--011, in

More information

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n). MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been

More information

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!! CSCE 222 Discrete Structures for Computing Review for Exam 1 Dr. Hyunyoung Lee 1 Topics Propositional Logic (Sections 1.1, 1.2 and 1.3) Predicate Logic (Sections 1.4 and 1.5) Rules of Inferences and Proofs

More information

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

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

7.11 A proof involving composition Variation in terminology... 88

7.11 A proof involving composition Variation in terminology... 88 Contents Preface xi 1 Math review 1 1.1 Some sets............................. 1 1.2 Pairs of reals........................... 3 1.3 Exponentials and logs...................... 4 1.4 Some handy functions......................

More information

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Packet #1: Logic & Proofs. Applied Discrete Mathematics Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 3-13 Course Objectives At the conclusion of this course, you should

More information

CSE 321 Solutions to Practice Problems

CSE 321 Solutions to Practice Problems CSE 321 Solutions to Practice Problems Instructions: Feel free NOT to multiply out binomial coefficients, factorials, etc, and feel free to leave answers in the form of a sum. No calculators, books or

More information

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2 MATH 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been

More information

COMP1002 exam study sheet

COMP1002 exam study sheet COMP1002 exam study sheet Propositional statement: expression that has a truth value (true/false). It is a tautology if it is always true, contradiction if always false. Logic connectives: negation ( not

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

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

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

MATH 2200 Final LC Review

MATH 2200 Final LC Review MATH 2200 Final LC Review Thomas Goller April 25, 2013 1 Final LC Format The final learning celebration will consist of 12-15 claims to be proven or disproven. It will take place on Wednesday, May 1, from

More information

Discrete Math Notes. Contents. William Farmer. April 8, Overview 3

Discrete Math Notes. Contents. William Farmer. April 8, Overview 3 April 8, 2014 Contents 1 Overview 3 2 Principles of Counting 3 2.1 Pigeon-Hole Principle........................ 3 2.2 Permutations and Combinations.................. 3 2.3 Binomial Coefficients.........................

More information

Logic. Facts (with proofs) CHAPTER 1. Definitions

Logic. Facts (with proofs) CHAPTER 1. Definitions CHAPTER 1 Logic Definitions D1. Statements (propositions), compound statements. D2. Truth values for compound statements p q, p q, p q, p q. Truth tables. D3. Converse and contrapositive. D4. Tautologies

More information

All numbered readings are from Beck and Geoghegan s The art of proof.

All numbered readings are from Beck and Geoghegan s The art of proof. MATH 301. Assigned readings and homework All numbered readings are from Beck and Geoghegan s The art of proof. Reading Jan 30, Feb 1: Chapters 1.1 1.2 Feb 6, 8: Chapters 1.3 2.1 Feb 13, 15: Chapters 2.2

More information

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) (2011 Admission Onwards) I Semester Core Course FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK 1) If A and B are two sets

More information

MATH1240 Definitions and Theorems

MATH1240 Definitions and Theorems MATH1240 Definitions and Theorems 1 Fundamental Principles of Counting For an integer n 0, n factorial (denoted n!) is defined by 0! = 1, n! = (n)(n 1)(n 2) (3)(2)(1), for n 1. Given a collection of n

More information

HW MATH425/525 Lecture Notes 1

HW MATH425/525 Lecture Notes 1 HW MATH425/525 Lecture Notes 1 Definition 4.1 If an experiment can be repeated under the same condition, its outcome cannot be predicted with certainty, and the collection of its every possible outcome

More information

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Preparing for the CS 173 (A) Fall 2018 Midterm 1 Preparing for the CS 173 (A) Fall 2018 Midterm 1 1 Basic information Midterm 1 is scheduled from 7:15-8:30 PM. We recommend you arrive early so that you can start exactly at 7:15. Exams will be collected

More information

Glossary Common Core Curriculum Maps Math/Grade 9 Grade 12

Glossary Common Core Curriculum Maps Math/Grade 9 Grade 12 Glossary Common Core Curriculum Maps Math/Grade 9 Grade 12 Grade 9 Grade 12 AA similarity Angle-angle similarity. When twotriangles have corresponding angles that are congruent, the triangles are similar.

More information

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element. The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring

More information

CSC 125 :: Final Exam May 3 & 5, 2010

CSC 125 :: Final Exam May 3 & 5, 2010 CSC 125 :: Final Exam May 3 & 5, 2010 Name KEY (1 5) Complete the truth tables below: p Q p q p q p q p q p q T T T T F T T T F F T T F F F T F T T T F F F F F F T T 6-15. Match the following logical equivalences

More information

Algorithms: Background

Algorithms: Background Algorithms: Background Amotz Bar-Noy CUNY Amotz Bar-Noy (CUNY) Algorithms: Background 1 / 66 What is a Proof? Definition I: The cogency of evidence that compels acceptance by the mind of a truth or a fact.

More information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to

More information

Introduction to Number Theory

Introduction to Number Theory INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,

More information

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

More information

Discrete Mathematical Structures: Theory and Applications

Discrete Mathematical Structures: Theory and Applications Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

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

Discrete Mathematics Exam File Spring Exam #1

Discrete Mathematics Exam File Spring Exam #1 Discrete Mathematics Exam File Spring 2008 Exam #1 1.) Consider the sequence a n = 2n + 3. a.) Write out the first five terms of the sequence. b.) Determine a recursive formula for the sequence. 2.) Consider

More information

Basic Proof Examples

Basic Proof Examples Basic Proof Examples Lisa Oberbroeckling Loyola University Maryland Fall 2015 Note. In this document, we use the symbol as the negation symbol. Thus p means not p. There are four basic proof techniques

More information

Topics in Logic and Proofs

Topics in Logic and Proofs Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

More information

WA State Common Core Standards - Mathematics

WA State Common Core Standards - Mathematics Number & Quantity The Real Number System Extend the properties of exponents to rational exponents. 1. Explain how the definition of the meaning of rational exponents follows from extending the properties

More information

Every subset of {1, 2,...,n 1} can be extended to a subset of {1, 2, 3,...,n} by either adding or not adding the element n.

Every subset of {1, 2,...,n 1} can be extended to a subset of {1, 2, 3,...,n} by either adding or not adding the element n. 11 Recurrences A recurrence equation or recurrence counts things using recursion. 11.1 Recurrence Equations We start with an example. Example 11.1. Find a recurrence for S(n), the number of subsets of

More information

CS Discrete Mathematics Dr. D. Manivannan (Mani)

CS Discrete Mathematics Dr. D. Manivannan (Mani) CS 275 - Discrete Mathematics Dr. D. Manivannan (Mani) Department of Computer Science University of Kentucky Lexington, KY 40506 Course Website: www.cs.uky.edu/~manivann/cs275 Notes based on Discrete Mathematics

More information

Discrete Structures Homework 1

Discrete Structures Homework 1 Discrete Structures Homework 1 Due: June 15. Section 1.1 16 Determine whether these biconditionals are true or false. a) 2 + 2 = 4 if and only if 1 + 1 = 2 b) 1 + 1 = 2 if and only if 2 + 3 = 4 c) 1 +

More information

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B. Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination III (Spring 2007) Problem 1: Suppose A, B, C and D are finite sets

More information

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008) Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008) Problem 1: Suppose A, B, C and D are arbitrary sets.

More information

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

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

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

Fall 2014 CMSC250/250H Midterm II

Fall 2014 CMSC250/250H Midterm II Fall 2014 CMSC250/250H Midterm II Circle Your Section! 0101 (10am: 3120, Ladan) 0102 (11am: 3120, Ladan) 0103 (Noon: 3120, Peter) 0201 (2pm: 3120, Yi) 0202 (10am: 1121, Vikas) 0203 (11am: 1121, Vikas)

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

Chapter 8 Sequences, Series, and Probability

Chapter 8 Sequences, Series, and Probability Chapter 8 Sequences, Series, and Probability Overview 8.1 Sequences and Series 8.2 Arithmetic Sequences and Partial Sums 8.3 Geometric Sequences and Partial Sums 8.5 The Binomial Theorem 8.6 Counting Principles

More information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive Announcements Homework 2 Due Homework 3 Posted Due next Monday Quiz 2 on Wednesday Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Exam 1 in two weeks Monday, February 19

More information

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 1. Translate each of the following English sentences into formal statements using the logical operators (,,,,, and ). You may also use mathematical

More information

MTH202 Discrete Mathematics

MTH202 Discrete Mathematics LATSEST MCQS FROM MIDTERM PAPERS 10 MAY 011 MC10040185 moaaz.pk@gmail.com Moaaz siddiq MTH0 Discrete Mathematics Question No. 1: If p= It is raining q = She will go to college "It is raining and she will

More information

Math is Cool Championships

Math is Cool Championships Individual Contest Express all answers as reduced fractions unless stated otherwise. Leave answers in terms of π where applicable. Do not round any answers unless stated otherwise. Record all answers on

More information

Copyright 2016 Pearson Education, Inc. or its affiliates. All rights reserved. NES, the NES logo, Pearson, the Pearson logo, and National Evaluation

Copyright 2016 Pearson Education, Inc. or its affiliates. All rights reserved. NES, the NES logo, Pearson, the Pearson logo, and National Evaluation Mathematics (304) Copyright 2016 Pearson Education, Inc. or its affiliates. All rights reserved. NES, the NES logo, Pearson, the Pearson logo, and National Evaluation Series are trademarks, in the U.S.

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

Binomial Coefficient Identities/Complements

Binomial Coefficient Identities/Complements Binomial Coefficient Identities/Complements CSE21 Fall 2017, Day 4 Oct 6, 2017 https://sites.google.com/a/eng.ucsd.edu/cse21-fall-2017-miles-jones/ permutation P(n,r) = n(n-1) (n-2) (n-r+1) = Terminology

More information

CA320 - Computability & Complexity

CA320 - Computability & Complexity CA320 - Computability & Complexity David Sinclair Overview In this module we are going to answer 2 important questions: Can all problems be solved by a computer? What problems be efficiently solved by

More information

How well do I know the content? (scale 1 5)

How well do I know the content? (scale 1 5) Page 1 I. Number and Quantity, Algebra, Functions, and Calculus (68%) A. Number and Quantity 1. Understand the properties of exponents of s I will a. perform operations involving exponents, including negative

More information

Practice Midterm Exam Solutions

Practice Midterm Exam Solutions CSE 311: Foundations of Computing I Practice Midterm Exam Solutions Name: Sample Solutions ID: TA: Section: INSTRUCTIONS: You have 50 minutes to complete the exam. The exam is closed book. You may not

More information

A Semester Course in Basic Abstract Algebra

A Semester Course in Basic Abstract Algebra A Semester Course in Basic Abstract Algebra Marcel B. Finan Arkansas Tech University c All Rights Reserved December 29, 2011 1 PREFACE This book is an introduction to abstract algebra course for undergraduates

More information

Part IA Numbers and Sets

Part IA Numbers and Sets Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

Part IA. Numbers and Sets. Year

Part IA. Numbers and Sets. Year Part IA Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 19 Paper 4, Section I 1D (a) Show that for all positive integers z and n, either z 2n 0 (mod 3) or

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

Informal Statement Calculus

Informal Statement Calculus FOUNDATIONS OF MATHEMATICS Branches of Logic 1. Theory of Computations (i.e. Recursion Theory). 2. Proof Theory. 3. Model Theory. 4. Set Theory. Informal Statement Calculus STATEMENTS AND CONNECTIVES Example

More information

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

AMSCO Algebra 2. Number and Quantity. The Real Number System

AMSCO Algebra 2. Number and Quantity. The Real Number System AMSCO Algebra 2 Number and Quantity The Real Number System Extend the properties of exponents to rational exponents. N-RN.1 Explain how the definition of the meaning of rational exponents follows from

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

CSE 2001: Introduction to Theory of Computation Fall Suprakash Datta

CSE 2001: Introduction to Theory of Computation Fall Suprakash Datta CSE 2001: Introduction to Theory of Computation Fall 2013 Suprakash Datta datta@cse.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.eecs.yorku.ca/course/2001 9/10/2013

More information

Automata Theory and Formal Grammars: Lecture 1

Automata Theory and Formal Grammars: Lecture 1 Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)

More information

Module 1. Probability

Module 1. Probability Module 1 Probability 1. Introduction In our daily life we come across many processes whose nature cannot be predicted in advance. Such processes are referred to as random processes. The only way to derive

More information

AMTH140 Trimester Question 1. [8 marks] Answer

AMTH140 Trimester Question 1. [8 marks] Answer Question 1 Let A B = {(1, 1), (2, 2), (3, 1), (3, 2), (1, 2), (1, 4), (2, 1), (2, 4), (3, 4)}. Find the power set of B, P(B). The set B = {1, 2, 4}. Then P(B) = {, {1}, {2}, {4}, {1, 2}, {1, 4}, {2, 4},

More information

CSE 20 Discrete Math. Algebraic Rules for Propositional Formulas. Summer, July 11 (Day 2) Number Systems/Computer Arithmetic Predicate Logic

CSE 20 Discrete Math. Algebraic Rules for Propositional Formulas. Summer, July 11 (Day 2) Number Systems/Computer Arithmetic Predicate Logic CSE 20 Discrete Math Algebraic Rules for Propositional Formulas Equivalences between propositional formulas (similar to algebraic equivalences): Associative Summer, 2006 July 11 (Day 2) Number Systems/Computer

More information

Discrete Mathematics: Midterm Test with Answers. Professor Callahan, section (A or B): Name: NetID: 30 multiple choice, 3 points each:

Discrete Mathematics: Midterm Test with Answers. Professor Callahan, section (A or B): Name: NetID: 30 multiple choice, 3 points each: Discrete Mathematics: Midterm Test with Answers Professor Callahan, section (A or B): Name: NetID: 30 multiple choice, 3 points each: 1. If f is defined recursively by: f (0) = -2, f (1) = 1, and for n

More information

Generating Functions (Revised Edition)

Generating Functions (Revised Edition) Math 700 Fall 06 Notes Generating Functions (Revised Edition What is a generating function? An ordinary generating function for a sequence (a n n 0 is the power series A(x = a nx n. The exponential generating

More information