Reexam in Discrete Mathematics

Similar documents
Exam in Discrete Mathematics

Exam in Discrete Mathematics

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Rules Build Arguments Rules Building Arguments

Methods of Proof. 1.6 Rules of Inference. Argument and inference 12/8/2015. CSE2023 Discrete Computational Structures

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

CS 2336 Discrete Mathematics

Announcements. Exam 1 Review

Readings: Conjecture. Theorem. Rosen Section 1.5

PHI Propositional Logic Lecture 2. Truth Tables

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

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

PROPOSITIONAL CALCULUS

At least one of us is a knave. What are A and B?

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

KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) RULES OF INFERENCE. Discrete Math Team

Rules of Inference. Arguments and Validity

Logic. Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another.

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

Logic Overview, I. and T T T T F F F T F F F F

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

Math 3336: Discrete Mathematics Practice Problems for Exam I

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

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 I (Spring 2008)

Problem Points Score Total 100

Tribhuvan University Institute of Science and Technology Micro Syllabus

MACM 101 Discrete Mathematics I. Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class)

Predicate Logic. Andreas Klappenecker

Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.

Do not start until you are given the green signal

Chapter 1, Logic and Proofs (3) 1.6. Rules of Inference

MATH 363: Discrete Mathematics

The Logic of Compound Statements cont.

A. Propositional Logic

2. Use quantifiers to express the associative law for multiplication of real numbers.

Exam Practice Problems

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

Anna University, Chennai, November/December 2012

Propositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38

Introduction Logic Inference. Discrete Mathematics Andrei Bulatov

(Practice)Exam in Linear Algebra

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

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

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Review 3. Andreas Klappenecker

University of Ottawa CSI 2101 Midterm Test Instructor: Lucia Moura. February 9, :30 pm Duration: 1:50 hs. Closed book, no calculators

Chapter 4, Logic using Propositional Calculus Handout

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic

10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference

Logic and Proof. Aiichiro Nakano

Propositional Logic. Argument Forms. Ioan Despi. University of New England. July 19, 2013

PSU MATH RELAYS LOGIC & SET THEORY 2017

Computational Intelligence Lecture 13:Fuzzy Logic

Boolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012

Math.3336: Discrete Mathematics. Nested Quantifiers/Rules of Inference

CS0441 Discrete Structures Recitation 3. Xiang Xiao

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Autumn 2013

MATH 2001 MIDTERM EXAM 1 SOLUTION

COMP Intro to Logic for Computer Scientists. Lecture 6

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

CSE 20 DISCRETE MATH. Fall

Today s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)

CSCE 222 Discrete Structures for Computing. Predicate Logic. Dr. Hyunyoung Lee. !!!!! Based on slides by Andreas Klappenecker

For a horseshoe statement, having the matching p (left side) gives you the q (right side) by itself. It does NOT work with matching q s.

EECS 1028 M: Discrete Mathematics for Engineers

Outline. Rules of Inferences Discrete Mathematics I MATH/COSC 1056E. Example: Existence of Superman. Outline

For at finde den danske version af prøven, begynd i den modsatte ende!

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York

bc7f2306 Page 1 Name:

Predicate Logic & Quantification

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

Sec$on Summary. Valid Arguments Inference Rules for Propositional Logic. Inference Rules for Quantified Statements. Building Arguments

n logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)

CSE 20 DISCRETE MATH. Winter

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

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

AMTH140 Trimester Question 1. [8 marks] Answer

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

Math 55 Homework 2 solutions

Discrete Structures for Computer Science

Math Introduction to Logic Final Exam

Fundamentals of Logic

Exam in Linear Algebra

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

Solutions to Exercises (Sections )

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

CSC 125 :: Final Exam December 14, 2011

Discrete Mathematics Review

CSC 125 :: Final Exam December 15, 2010

Review. Propositions, propositional operators, truth tables. Logical Equivalences. Tautologies & contradictions

A Quick Lesson on Negation

Logic, Sets, and Proofs

COMP1002 exam study sheet

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)

software design & management Gachon University Chulyun Kim

Mathacle. PSet ---- Algebra, Logic. Level Number Name: Date: I. BASICS OF PROPOSITIONAL LOGIC

Transcription:

Reexam in Discrete Mathematics First Year at the Faculty of Engineering and Science and the Technical Faculty of IT and Design August 15th, 2017, 9.00-13.00 This exam consists of 11 numbered pages with 15 problems. All the problems are multiple choice problems. The answers must be given on these sheets. It is allowed to use books, notes, photocopies etc. It is not allowed to use any electronic devices such as pocket calculators, mobile phones or computers. The listed percentages specify by which weight the individual problems influence the total examination. Remember to write your full name (including middle names) together with your student number below. NAME: STUDENT NUMBER: Page 1 of 11

There is only one correct answer to each question. Problem 1 (8 %) 1. How many rows appear in a truth table of the compound proposition (p r) (r q) s 1 2 4 8 12 16 2. Are the propositions (p q) and p q equivalent? Yes No 3. Is the compound proposition (p q) ( p q) a tautology? Yes No 4. Are the propositions (p q) and (p q) equivalent? Yes No Problem 2 (4 %) Which rule of inference is used in the following argument: I will go to London or Paris. I will not go to London. Therefore, I will go to Paris. Conjuction Modus tollens Modus ponens Hypothetical syllogism Disjunctive syllogism Page 2 of 11

Problem 3 (10 %) Let A = {1, 2, 5, {6}}, and B = {, 1, {2}, 6, 7}, be sets. 1. Is {2} B? Yes No 2. What is the cardinality of A B? 0 1 2 3 4 5 6 7 3. What is the cardinality of A B? 2 3 4 5 6 7 8 9 4. What is the cardinality of the power set P(A)? 0 2 6 8 12 16 22 32 5. What is the cardinality of A B? 0 2 4 8 10 20 200 2 9 Page 3 of 11

Problem 4 (9 %) Let f(x) = x 3 log(x 2 ) + log(x 10 + 1) + x 3, for x > 0. Answer the following true/false problems. 1. f(x) is O(x 10 ) 2. f(x) is O(x 3 log x) 3. f(x) is O(x 3 ) 4. f(x) is Ω(x 10 ) 5. f(x) is Ω(x 3 log x) 6. f(x) is Ω(x 3 ) 7. f(x) is Θ(x 10 ) 8. f(x) is Θ(x 3 log x) 9. f(x) is Θ(x 3 ) True True True True True True True True True False False False False False False False False False Problem 5 (4 %) (5 + 55 + 101)(576 555 + 10000000002) mod 5 is equal to 0 1 2 3 4 Page 4 of 11

Problem 6 (7 %) What is the inverse of 7 modulo 53? 14 15 16 17 37 38 39 43 45 Problem 7 (5 %) Consider the following algorithm:. procedure Alg(n: positive integer). a := 1. b := 1. for i := 1 to n.. for j := 1 to 1000000... for k := 1 to n.... a := a b.. b := 3 b. return a The number of multiplications used by this algorithm is O(n) Θ(n 2 log n) O(n 2 ) Θ(n 3 ) O(n log n) Page 5 of 11

Problem 8 (6 %) Let (2x y) 5 = ax 5 + bx 4 y + cx 3 y 2 + dx 2 y 3 + exy 4 + fy 5, where a, b, c, d, e, f are integers. 1. One has that a is equal to -1 1 8 5 16 32 100 2. One has that c is equal to -80-40 -20-10 10 20 40 80 3. One has that d is equal to -80-40 -20-10 10 20 40 80 Consider the following set of integers Problem 9 (4 %) S = {x 63 x 126 x 5 (mod 7) x 5 (mod 9)} How many integers are there in S? 0 1 2 3 4 5 63 126 189 Problem 10 (6 %) Consider the following linear homogeneous recurrence relation a n = a n 1 + 6a n 2. Which of the following is the solution of this recurrence relation (α 1 and α 2 are constants)? an = α 1 ( 2) n + α 2 ( 3) n an = α 1 + α 2 3 n an = α 1 + α 2 2 n an = α 1 ( 2) n + α 2 3 n an = α 1 2 n + α 2 ( 3) n Page 6 of 11

Problem 11 (6 %) A set of integers S is defined recursively by 0 S, 5 S and 6 S if a S and b S then a + b is also in S. Answer the following questions about S 1. What is the largest integer not contained in S? 9 13 14 18 19 20 21 22 23 2. S consists of all numbers of the form 5r + 6t where r and t are integers satisfying... What is the correct continuation? r > 0 s > 0 r 0 s 0 r 0 s 0 r + t > 0 r 1 s 0 r > 6 s 5 Page 7 of 11

Problem 12 (10 %) Let A = {1, 2, 3, 4} be a set. Consider the following three relations on A R = {(1, 1), (1, 2), (1, 3), (2, 4), (3, 2)} S = {(1, 4), (1, 3), (2, 3), (3, 1), (4, 1)} T = {(1, 2), (2, 3), (3, 4), (2, 1)} 1. Answer the following true/false problems. R is reflexive R is symmetric R is antisymmetric R is transitive (2, 1) S R (2, 1) R S True True True True True True False False False False False False 2. How many pairs (a, b) are there in the symmetric closure of S? 0 1 4 5 6 7 8 9 10 3. How many pairs (a, b) are there in the transitive closure of T? 0 1 4 5 6 7 8 9 10 Page 8 of 11

a b c d 1 1 1 2 1 5 1 2 6 7 8 1 4 1 e 1 1 1 6 f 9 g 4 h 1 3 4 4 7 3 4 1 1 1 1 1 3 2 1 i j z k Figure 1: The graph G, considered in Problems 13 and 14. Problem 13 (10 %) In this problem we use Dijkstra s algorithm (see Figure 2 on page 11) on the graph G in Figure 1. 1. What is the length of the shortest path from a to z (found by Dijkstra s algorithm)? 6 7 8 9 10 11 12 13 2. In what order are vertices added to the set S? a, b, c, g, z a, b, e, c, g, i, j, z a, b, e, c, g, i, z a, b, c, g, i, z a, b, e, c, g, z a, b, c, e, i, g, z a, b, c, d, e, f, g, h, i, j, k, z Page 9 of 11

Problem 14 (5 %) What is the weight of a minimum spanning tree of the graph G in Figure 1. 19 20 21 22 23 24 25 26 27 Problem 15 (6 %) Let T be a full binary tree with 6 leaves. 1. How many vertices are there in T? 5 6 7 8 9 10 11 12 2. What is the least possible height of T? 0 1 2 3 4 5 6 7 3. What is the largest possible height of T? 0 1 2 3 4 5 6 7 Page 10 of 11

Figure 2: Page 11 of 11