Discrete Mathematics (CS503)

Similar documents
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

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

MA Discrete Mathematics

Discrete Structures Homework 1

Counting Methods. CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo

Lecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya

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

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

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

Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement

DISCRETE MATH: FINAL REVIEW

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

DISCRETE STRUCTURES AMIN WITNO

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

UNC Charlotte 2005 Algebra March 7, 2005

1. a. Give the converse and the contrapositive of the implication If it is raining then I get wet.

Discrete Structures CRN Test 3 Version 1 CMSC 2123 Autumn 2013

ECOM Discrete Mathematics

THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.

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

MATH 363: Discrete Mathematics

CSC 125 :: Final Exam December 14, 2011

Math161 HW#2, DUE DATE:

Solutions to Exercises (Sections )

MAT2345 Discrete Math

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

MATH 114 Fall 2004 Solutions to practice problems for Final Exam

VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur

Introduction to Sets and Logic (MATH 1190)

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

Discrete Mathematics Exam File Spring Exam #1

Simplification by Truth Table and without Truth Table

STRATEGIES OF PROBLEM SOLVING

Homework 7 Solutions, Math 55

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

MATH 215 Discrete Mathematics Worksheets. Which of these are propositions? What are the truth values of those that are propositions?

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table

CSE 321 Solutions to Practice Problems

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

CS 220: Discrete Structures and their Applications. Predicate Logic Section in zybooks

Math 205 April 28, 2009 Final Exam Review

Propositional Logic Not Enough

Section 2.1: Introduction to the Logic of Quantified Statements

University of California, San Diego Department of Computer Science and Engineering CSE 20. Solutions to Midterm Exam Winter 2018

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. College Algebra for STEM

Unit I (Logic and Proofs)

Math 55 Homework 2 solutions

Intro to Logic and Proofs

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

Predicates and Quantifiers. CS 231 Dianna Xu

CSE 1400 Applied Discrete Mathematics Definitions

Anna University, Chennai, November/December 2012

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

Chapter 8 Sequences, Series, and Probability

University of Ottawa CSI 2101 Midterm Test Instructor: Lucia Moura. March 1, :00 pm Duration: 1:15 hs

Math 230 Final Exam, Spring 2008

Logic. Facts (with proofs) CHAPTER 1. Definitions

Inclusion and Exclusion Principle

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

CS/IT OPERATING SYSTEMS

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

software design & management Gachon University Chulyun Kim

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

Writing Assignment 2 Student Sample Questions

Intermediate Mathematics League of Eastern Massachusetts

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


B B3B037 Total Pages:3


CS Discrete Mathematics Dr. D. Manivannan (Mani)

FOUNDATION OF COMPUTER SCIENCE ETCS-203

Intermediate Math Circles February 14, 2018 Contest Prep: Number Theory

2k n. k=0. 3x 2 7 (mod 11) 5 4x 1 (mod 9) 2 r r +1 = r (2 r )

Transparencies to accompany Rosen, Discrete Mathematics and Its Applications Section 1.3. Section 1.3 Predicates and Quantifiers

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

Math 13, Spring 2013, Lecture B: Midterm

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

B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER Fifth Semester. Computer Science and Engineering MA 2265 DISCRETE MATHEMATICS

Mathematics. Algebra I (PreAP, Pt. 1, Pt. 2) Curriculum Guide. Revised 2016

Exercise Set 1 Solutions Math 2020 Due: January 30, Find the truth tables of each of the following compound statements.

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.

Topics in Logic and Proofs

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

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

First Midterm Examination

CSE 20. Final Review. CSE 20: Final Review

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

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

Formal (Natural) Deduction for Predicate Calculus

University of Illinois at Chicago Department of Computer Science. Final Examination. CS 151 Mathematical Foundations of Computer Science Fall 2012

Recursive Definitions

DISCRETE MATHEMATICS BA202

then the hard copy will not be correct whenever your instructor modifies the assignments.

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

CS 70 Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1 Solutions

Advanced Counting Techniques. Chapter 8

Discrete mathematics

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

Transcription:

Discrete Mathematics (CS503) Module I Suggested Questions Day 1, 2 1. Translate the following statement into propositional logic using the propositions provided: You can upgrade your operating system only if you have a 32-bit processor running at 1 GHz or faster, at least 1 GB RAM, and 16 GB free hard disk space, or a 64- bit processor running at 2 GHz or faster, at least 2 GB RAM, and at least 32 GB free hard disk space. Express you answer in terms of u: You can upgrade your operating system, b32: You have a 32-bit processor, b64: You have a 64-bit processor, g1: Your processor runs at 1 GHz or faster, g2: Your processor runs at 2 GHz or faster, r1: Your processor has at least 1 GB RAM, r2: Your processor has at least 2 GB RAM, h16: You have at least 16 GB free hard disk space, and h32: You have at least 32 GB free hard disk space. 2. Show that (p ( p q)) and p q are logically equivalent by developing a series of logical equivalences. 3. Determine whether each of the compound propositions (p q) (q r) (r p), (p q r) ( p q r), and (p q) (q r) (r p) (p q r) ( p q r) is satisfiable. Day 3, 4 4. Show that (p q) (r s) and (p r) (q s) are not logically equivalent. 5. Determine whether ( p (p q)) q is a tautology.

Day 5,6 6. Let Q(x, y) denote the statement x = y + 3. What are the truth values of the propositions Q(1, 2) and Q(3, 0)? 7. Consider the following program, designed to interchange the values of two variables x and y. temp := x x := y y := temp Find predicates that we can use as the precondition and the postcondition to verify the correctness of this program. Then explain how to use them to verify that for all valid input the program does what is intended. 8. Let P(x) denote the statement x > 3. What is the truth value of the quantification xp(x), where the domain consists of all real numbers? 9. Show that x(p(x) Q(x)) and xp(x) xq(x) are logically equivalent (where the same domain is used throughout). Day 7,8 10. Use rules of inference to showthat the hypotheses Randy works hard, If Randy works hard, then he is a dull boy, and If Randy is a dull boy, then he will not get the job imply the conclusion Randy will not get the job. 11. State which rule of inference is the basis of the following argument: It is below freezing now. Therefore, it is either below freezing or raining now. 12. Use rules of inference to show that if x(p(x) (Q(x) S(x))) and x(p(x) R(x)) are true, then x(r(x) S(x)) is true. Day 9, 10 13. Show that,, and form a functionally complete collection of logical operators. 14. Find the DNF of the following: (i) {p (q r)} (ii) ( p r) (p q) 15. Find the CNF of the following propositions: (i) {(p q) r (ii) (p q) (p q) II Day 1 Write the closure properties of real numbers and integers.

Which of the following numbers are divisible by 3: 10,873, 44,444, 123,456, 51,804? Which of the following numbers are divisible by 9: 41,728, 62,901, 654,321, 71,730? Day 2, 3 Express the terms of in b=a*q+r where b=-262 and a=5 Anita had to multiply two positive integers. Instead of taking 35 as one of the multipliers, she incorrectly took 53. As a result, the product went up by 540. What is the new product? Day 4 When testing to see whether a is prime, it is not necessary to check whether it has a prime factor greater than a. Why is this true? 1. Use the Euclidean algorithm to find the greatest common divisor of i. 864 and 291. ii. 378, 336, and 490. iii. 144, 156, and 162. Day 5 8. Find the greatest common divisors of the pair of numbers by finding the prime factor decompositions of the numbers. i. 70, 120. ii. 168, 504. iii. 180, 600. iv. 260, 455. Day 6 Day 7 Express the greatest common divisor of 864 and 291 as an integer linear form in 864 and 291. Compute: 414 * 463 mod 413 1 * 50 = 50 What is the value of Φ (13)? What is the value of Φ (10)? Day 8

Day 9-10 Prerequisites in college courses are a familiar partial ordering of available classes. We say that A<= B if successful completion of course A is required for the successful completion of course B. (This particular phrasing allows the relation to be reflexive). Consider the prerequisites given below for Mathematics classes and draw the diagram for the partial ordering of these classes. Class Prerequisites Math 101 None Math 201 Math 101 Math 250 Math 101 Math 251 Math 250 Math 340 Math 201 Math 341 Math 340 Math 450 Math 201, Math 250 Math 500 Math 450, Math 251 Consider the partially ordered set D = {1, 2, 3, 4, 5} which is ordered as shown: 1 5 2 3 4 Day 11-12 Draw the diagram for the inverse order on D. Suppose N = { 1, 2, 3, } is ordered by divisibility. State whether each of the following subsets o N are linearly ordered. (i) {24, 2, 6} (ii) {3, 15, 5} (iii) {2, 8, 32 4} (iv) {7} (v) {15, 5, 30} III

Day 1, 2 Day 3, 4 1. There are 32 microcomputers in a computer center. Each microcomputer has 24 ports. How many different ports to a microcomputer in the center are there? 2. Suppose that either a member of the mathematics faculty or a student who is a mathematics major is chosen as a representative to a university committee. How many different choices are there for this representative if there are 37 members of the mathematics faculty and 83 mathematics majors and no one is both a faculty member and a student? 3. How many bit strings of length eight either start with a 1 bit or end with the two bits 00? 4. How many strings of eight uppercase English letters are there a) if letters can be repeated? b) if no letter can be repeated? c) that start with X, if letters can be repeated? d) that start with X, if no letter can be repeated? e) that start and end with X, if letters can be repeated? f ) that start with the letters BO (in that order), if letters can be repeated? g) that start and end with the letters BO (in that order), if letters can be repeated? h) that start or end with the letters BO (in that order), if letters can be repeated? 5. How many permutations of the letters ABCDEFGH contain the string ABC? 6. How many poker hands of five cards can be dealt from a standard deck of 52 cards? Also, how many ways are there to select 47 cards from a standard deck of 52 cards? 7. A group of 30 people have been trained as astronauts to go on the first mission to Mars. How many ways are there to select a crew of six people to go on this mission (assuming that all crew members have the same job)?

Day 5 8. What is the coefficient of x8y9 in the expansion of (3x + 2y)17? 9. What is the coefficient of x101y99 in the expansion of (2x 3y)200? 10. Give a formula for the coefficient of xk in the expansion of (x + 1/x)100, where k is an integer. 11. Give a formula for the coefficient of xk in the expansion of (x2 1/x)100, where k is an integer. 12. What is the minimum number of students required in a discrete mathematics class to be sure that at least six will receive the same grade, if there are five possible grades, A, B, C, D, and F? 13. What is the least number of area codes needed to guarantee that the 25 million phones in a state can be assigned distinct 10-digit telephone numbers? (Assume that telephone numbers are of the form NXX-NXX-XXXX, where the first three digits form the area code, N represents a digit from 2 to 9 inclusive, and X represents any digit.) 14. During a month with 30 days, a baseball team plays at least one game a day, but no more than 45 games. Show that there must be a period of some number of consecutive days during which the team must play exactly 14 games. Day 6 15. Suppose that there are 1807 freshmen at your school. Of these, 453 are taking a course in computer science, 567 are taking a course in mathematics, and 299 are taking courses in both computer science and mathematics. Howmany are not taking a course either in omputer science or in mathematics? 16. A total of 1232 students have taken a course in Spanish, 879 have taken a course in French, and 114 have taken a course in Russian. Further, 103 have taken courses in both Spanish and French, 23 have taken courses in both Spanish and Russian, and 14 have taken courses in both French and Russian. If 2092 students have taken at least one of Spanish, French, and Russian, how many students have taken a course in all three languages? 17. How many permutations of the 26 letters of the English alphabet do not contain any of the strings fish, rat or bird?

Day 7,8 18. Suppose that there are two goats on an island initially. The number of goats on the island doubles every year by natural reproduction, and some goats are either added or removed each year. a) Construct a recurrence relation for the number of goats on the island at the start of the nth year, assuming that during each year an extra 100 goats are put on the island. b) Solve the recurrence relation from part (a) to find the number of goats on the island at the start of the nth year. c) Construct a recurrence relation for the number of goats on the island at the start of the nth year, assuming that n goats are removed during the nth year for each n 3. d) Solve the recurrence relation in part (c) for the number of goats on the island at the start of the nth year. Day 9, 10 19. Find all solutions of the recurrence relation a n = 5a n 1 6a n 2 + 7 n. 20. What is the solution of the recurrence relation a n = a n 1 + 2a n 2 with a 0 = 2 and a 1 = 7? IV 1. Find the chromatic number of the following graph G:

2. Find the chromatic and clique number of the following graph: 3. Find all cliques and clique numbers for the following graph: 4. Show that a cycle with n vertices is not perfect if n is odd and greater than 3. 5. Show that a cycle with n vertices is a perfect graph if n is even. 6. Show that every bi-partite graph is perfect. 7. Find the chromatic number of a cycle with 107 edges. 8. Find whether the polynomial x 3 + 5x 2-3x + 5 is the chromatic polynomial. 9. A tree can be colored with at most 3 colors in 768 ways. Find the number of vertices of the tree. 10. Find the maximal matching, maximum matching and matching numbers of each of the following 2 graphs. Find if there exists a perfect matching in the graph.