MATH 363: Discrete Mathematics

Similar documents
Chapter 1 : The language of mathematics.

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

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

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

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

MATH 2200 Final LC Review

Equivalence of Propositions

MATH 2200 Final Review

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Propositional Logic, Predicates, and Equivalence

Math 109 September 1, 2016

NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION

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

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

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.

MATH1240 Definitions and Theorems

Part IA Numbers and Sets

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

Discrete Mathematics & Mathematical Reasoning Course Overview

Review Sheet for the Final Exam of MATH Fall 2009

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics

CS Discrete Mathematics Dr. D. Manivannan (Mani)

Review 3. Andreas Klappenecker

MA Discrete Mathematics

Propositional Logic. What is discrete math? Tautology, equivalence, and inference. Applications

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

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

DISCRETE STRUCTURES AMIN WITNO

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

Part IA Numbers and Sets

Logic. Facts (with proofs) CHAPTER 1. Definitions

Exam in Discrete Mathematics

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

Automata Theory and Formal Grammars: Lecture 1

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Tribhuvan University Institute of Science and Technology Micro Syllabus

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

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur

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

1 Basic Combinatorics

Math 13, Spring 2013, Lecture B: Midterm

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Autumn 2013

Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści

CSE 1400 Applied Discrete Mathematics Proofs

Exam Practice Problems

Mathematics for Computer Science MATH 1206C [P.T.O] Page 1 of 5

Math 230 Final Exam, Spring 2008

Writing Assignment 2 Student Sample Questions

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

Simplification by Truth Table and without Truth Table

B.C.S.Part I Mathematics (Sem.- I & II) Syllabus to be implemented from June 2013 onwards.

Simplification by Truth Table and without Truth Table

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

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

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Simplification by Truth Table and without Truth Table

CSE 20 DISCRETE MATH. Winter

Florida State University Course Notes MAD 2104 Discrete Mathematics I

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Florida State University Course Notes MAD 2104 Discrete Mathematics I

On non-hamiltonian circulant digraphs of outdegree three

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

Regular Languages and Finite Automata

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati

COMP1002 exam study sheet

Unit I (Logic and Proofs)

Trinity Christian School Curriculum Guide

9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

Section 4.4 Functions. CS 130 Discrete Structures

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

A polytime proof of correctness of the Rabin-Miller algorithm from Fermat s Little Theorem

Integers and Division

MATH 310 Course Objectives

A Semester Course in Basic Abstract Algebra

Finite Mathematics

Contribution of Problems

Mathematical Reasoning & Proofs

Reexam in Discrete Mathematics

Discrete Mathematics CS October 17, 2006

Math 230 Final Exam, Spring 2009

Math Fall 2014 Final Exam Solutions

Introduction to Proofs

Contribution of Problems

Practice Final Solutions. 1. Consider the following algorithm. Assume that n 1. line code 1 alg(n) { 2 j = 0 3 if (n = 0) { 4 return j

Linear Congruences. The equation ax = b for a, b R is uniquely solvable if a 0: x = b/a. Want to extend to the linear congruence:

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Algebra 2 Secondary Mathematics Instructional Guide

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

A is a subset of (contained in) B A B iff x A = x B Socrates is a man. All men are mortal. A = B iff A B and B A. A B means A is a proper subset of B

Sets. Subsets. for any set A, A and A A vacuously true: if x then x A transitivity: A B, B C = A C N Z Q R C. C-N Math Massey, 72 / 125

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

Name: Mathematics 1C03

Algebra I+ Pacing Guide. Days Units Notes Chapter 1 ( , )

Reading 11 : Relations and Functions

Transcription:

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 object is to test the students ability to recall facts, to identify and repeat the information provided. 2. Comprehension: To translate from one form to another - Assess by having students 1) restate material in their own words, 2) reorder or extrapolate ideas, predict or estimate. Assessments must provide evidence that the students have some understanding or comprehension of what they are saying. 3. Application: To apply or use information in a new situation - Assess by presenting students with a unique situation (i.e. one not identical to that used during instruction) and have them apply their knowledge to solve the problem or execute the proper procedure. 1 Logic 1. Given a collection of sentences, determine which of them are propositions. Remember De Morgan s laws for propositions. Remember the Distributive laws for propositions. Recall two logical equivalences of the proposition p q (= p q = q p). Remember the definition of Tautology and Contradiction. 2. Given the truth values of a collection of propositional variables, determine the truth value of a compound proposition. Given a compound proposition, determine whether it is a tautology, a contradiction or neither. Translate compound propositions to logical circuits and viceversa. Given a statement with (nested) quantifiers and propositional functions, represent its negation using De Morgan s law for Quantifiers. 3. Given two compound propositions, determine if these are logical equivalent. Simplify a given compound proposition using logical equivalences. 1

Given a collection of specifications, determine if these are consistent. Given a proposition in English, translate it to propositional logic. This can include nested quantifiers. 2 Proofs and Induction 1. Remember the components of an argument: hypothesis/premises and conclusions. Remember two arguments which are not valid: p q and q implies p and p q and p implies q Explain the difference between a theorem and a conjecture. 2. Given a statement np (n) which is true, provide a valid argument which proves it. Given a statement np (n) which is false, provide a counterexample which disproves it. 3. Explain which are the two components of a proof by induction. Explain what is the pigeonhole principle. 3 Sets and Functions 1. Distinguish between a set of size n and an n-tuple. Distinguish between countable and uncountable sets. Distinguish between relations between A and B and functions from A to B. 2. Translate the representation of a given a set, from listing its elements to representing it by the properties of its elements; and viceversa. Given a set S of cardinality n, fix an ordering of the elements in S and represent S with a bit string. Given a set S obtained from operations with three sets A, B, C, represent S using Venn Diagrams Given two sets S, T, determine whether these are equal using Venn Diagrams. Given a function f : A B, identify the domain, codomain and range of f. Given a function f : A B involving floors and/or ceilings, obtain the value of f(x) for some x A. Given a function f : A B and a A, identify the image of a under f. Given a function f : A B and b B, identify the preimage of b under f. 3. Given the elements of a set, construct its power set. Given a function f : A B determine whether f injective, surjection or bijective. 2

Carry out intersections and unions of a given collection of sets (e.g. 5 2i i=1 j=i A j) Carry out nested sums/products of a given sequence of numbers (e.g. 5 2i i=1 j=i a j) 4 Growth of algorithms 1. Remember the 7 properties of an algorithm. Remember the definition of f is O(g(x)) Remember the definition of f is Ω(g(x)) Remember the definition of f is Θ(g(x)) 2. Given functions f, g determine whether f is O(g(x)), Ω(g(x)) or both. Given a function f, provide a function g(x) for which f is O(g(x)), Given a function f, provide a function g(x) for which f is Ω(g(x)). 3. Given a function f which is O(g(x)), provide witnesses C, k > 0 of this fact, and justify this choice. Given a function f which is Ω(g(x)), provide witnesses C, k > 0 of this fact, and justify this choice. Given a function f which is not O(g(x)), provide an argument of why there are no witnesses C, k > 0 for f = O(g(x)). Given a function f which is not Ω(g(x)), provide an argument of why there are no witnesses C, k > 0 for f = Ω(g(x)). 5 Number Theory 1. Given integers a, b determine if a is a factor of b Given an integer a, express it as a product of prime factors Given integers a, b, m and m 0, determine if a = b (mod m) Remember that gcd(a, b) divides any linear combination of a and b. Remember the statement of Fermat s little Theorem. 2. Given a pair of integers, identify their greatest common divisor Given a pair of integers, identify their lowest common multiple Given a seed x 0 an a linear congruential ax + b (mod of pseudorandom numbers. m), generate a given number Given a message (encrypted message) and a cipher, encode (decode) the message. 3

Given a modulus n and an exponent e, explain the steps to encode a message with RSA encryption. Given a modulus n and an inverse d, explain the steps to decode a message with RSA encryption. 3. Given a true statement of divisibility, use the definitions to prove it. Given integers a, d, m and m 0. Use the modular exponentiation to compute a d (mod m) Given integers a, d, m and m prime. Use Fermat s little theorem to compute a d (mod m) Given an equation ax = b (mod linear congruence. m), find the inverse of a modulo m to solve the Given a modulus n, an exponent e and an inverse d. Explain why the RSA encryption method recovers exactly the message encoded. 6 Combinatorics 1. Explain what is the inclusion-exclusion principle. Explain what is the sum, product and division rule. Define what is the number of permutations of k elements of a set of n elements; with no repetitions and with repetitions allowed. Define what is the number of combinations of k elements of a set of n elements; with no repetitions and with repetitions allowed. Express the binomial coefficient ( n k) as a formula involving factorial numbers. Explain what is a combinatorial proof. State the Binomial theorem. 2. Given a set S of elements with a given property, apply the rules above to count the number of elements in the set S. Provide examples of combinatorial proofs (e.g. Pascal s identity, Vandermonde s equality, Number of subsets of a set.) Use the binomial theorem to extract coefficients of monomial x n k y k in (x + y) n. 3. Given an equality involving binomial coefficients, prove such equality using a combinatorial argument. Use the binomial theorem to prove equalities involving binomial coefficients. 4

7 Probability 1. Define the probability of an event using Laplace s formula. (Favorable cases/possible cases) Define what is the probability function from a sample space S to (0, 1). State the properties of a probability function. Define what is the conditional probability of an event E given event F. State the law of total probability. State Bayes formula. Define what are independent events and independent random variables. Define the expected value of a random variable. Explain the property of linearity of expected values. 2. Given an experiment with uniform outcomes and an event E. Compute the probability of event E using Laplace s formula. Given an experiment and an event E. Define the sample space S, the probability function and compute the probability of event E. Given a random variable, compute the expected value of X; either directly, or applying the linearity of expected values. 3. Given a problem involving probability, Recognize independent events. Apply the inclusion-exclusion principle to compute probability of a union. Apply the law of total probability to split the probability of an event according to several cases. Apply Bayes theorem to compute the probability of an event E given event F. Separate a random variable X = X 1 +... X n as a sum of random variables X i. 8 Relations and digraphs 1. Define what is a relation from set A to set B, a relation on A, the property: reflexive, transitive, symmetric, antisymmetric. an equivalence relation. Define what is a graph and a digraph. Define what is a path (closed walk, cycle, simple path, trail) in a (di)graph. 5

Recall that the relation R n represents the paths of length n in the digraph corresponding to R. 2. Given a relation R on A determine its representation as a digraph or as a matrix, which properties R satisfy, Given a relation R from A to B determine its representation as a digraph or as a matrix, Represent problems with relations; e.g. student/class, city/state, etc. 3. Given relations R A B and S B A, determine the relation S R. Given a relation R on A determine how to create a relation R that is reflexive (transitive) and R R, the relations R 2, R 3 and more generally, R n. 9 Graph theory 1. For graphs with no loops and no multiple edges. Define what is Connected component of a graph The partition of vertices into connected components The neighbourhood of a vertex Isolated vertices K n, C n, H n and K n,m Bipartite graphs Planar graphs A face in a planar graph. For graphs with no loops and no multiple edges. Define what is Eulerian path /circuit Hamiltonian path / cycle A complete Matching A proper colouring of the vertices in the graph. 2. State the following theorems The handshaking Theorem Necessary and sufficient conditions for having an Eulerian circuit or path. Ore s thm: Sufficient conditions for having a Hamiltonian cycle. Hall s thm: Necessary and sufficient conditions for having a matching in a bipartite graph 6

Euler s formula: about vertices, edges and faces of planar graphs. 4-colour thm: about coloring faces of planar graphs. Provide examples of graphs satisfying the conditions of the theorems above. Give examples of non-planar graphs (e.g. K 3,3, K 5 ). 3. Given a problem involving graphs, determine which of the theorems above can be applied. 10 Trees and their applications 1. Define what is A tree, a rooted tree and a forest. An m-ary tree and a full m-ary tree. A leaf and an internal vertex. The parent and children of a vertex. The depth of a vertex and the height of a rooted tree. A spanning tree of a graph G A minimum spanning tree of a graph G with weighted edges. 2. Provide a formula for the number of internal vertices, leaves and edges in a full m-ary Explain the goal and give the pseudocode of the following algorithms Depth-first search. Breadth-first search. Prim s algorithm. Kruskal s algorithm. Provide applications for the algorithms above. 3. Given a problem involving trees, determine which of the theorems above can be applied. 7

11 Correspondence with sections in textbook 1. Logic Section 1.1 Propositional logic Section 1.2 Applications of propositional logic Section 1.3 Propositional equivalences Section 1.4 Predicates and Quantifiers Section 1.5 Nested quantifiers 2. Proofs and Induction Section 1.6 Rules of inference Section 1.7 Introduction to proofs Section 1.8 Proof methods and Strategies Section 5.1 Mathematical induction Section 5.2 Strong induction Section 6.2 The pigeonhole principle 3. Sets and Functions Section 2.1 Sets Section 2.2 Set Operations Section 2.3 Functions Section 2.4 Sequences and summations 4. Growth of algorithms Section 3.2 The growth of functions 5. Number Theory Section 4.1 Divisibility and modular arithmetic Section 4.3 Primes and Greatest common divisors Section 4.4 Solving congruences Sections 4.5-4.6 Applications of congruences 6. Counting and combinatorics Section 6.1 The basic of counting Section 6.3 Permutations and combinations Section 6.4 Binomial coefficients and identities Section 7.1 An introduction to discrete probability 7. Probability Sections 7.2 Probability theory 8

Section 7.3 Bayes theorem Section 7.4 Expected value 8. Relations and graph representation Section 9.1 Relations and their properties Section 9.3 Representing relations Section 9.5 Equivalence relations 9. Graph Theory Section 10.2 Graph terminology and special types of graphs Section 10.4 Connectivity Section 10.5 Euler and Hamilton paths Section 10.7 Planar graphs Section 10.8 Graph colouring 10. Trees Section 11.1 Introduction to trees Section 11.4 Spanning trees Section 11.5 Minimum spanning trees Extra: Recurrence functions Section 5.3 Recursive definitions Section 8.1 Applications to recurrence relations Section 9.4 Closure of relations 9