Mathematics for Computer Science MATH 1105C Page 1 of 5

Size: px
Start display at page:

Download "Mathematics for Computer Science MATH 1105C Page 1 of 5"

Transcription

1 x Mathematics for Computer Science MATH 1105C Page 1 of 5

2 ANSWER ALL QUESTIONS Question 1: (25 Marks) Construct the truth table of proposition (p q) ( p q). Determine if this proposition is a tautology. (b) Construct a truth table for (t u) v. (c) Show that (p q) p q. (d) Use truth table to show s r r s. (e) Use proof by cases to show that if w is a positive integer then w 3 + w is even. (f) Use induction to show that (t u) is always a factor of S n where S n = t n u n, n 1. Mathematics for Computer Science MATH 1105C Page 2 of 5

3 Question 2: (25 Marks) Over athletes competed in 2010 International Games in America. The International Game Committee wanted to ensure that the competition administered more than 5000 drug tests to athletes. All the medal winners were tested, as well as other randomly selected competitors. Suppose that 2% of athletes had actually taken banned drug. No drug test is perfect. Sometimes the test says that an athlete took drugs, but the athlete actually did not. We call this a false positive test result. Other times, the drug tests says that an athlete is Clean but the athlete actually took drugs. This is called a false negative result. Suppose that the testing procedure used at the International Game has a false positive rate of 1% and a false negative of 0.5%. What is the probability that an athlete who tests positive actually took drugs? (b) Show that A and B are independent if and only if P (A B) = P (A) P (B). (3 marks) (c) A box contains 7 bananas and 5 apples. The fruits are taken out of the box, one at a time and in a random order. What is the probability that the box is empty after the last banana is taken from the box? (d) The probability that after a visit to ABCD car dealer results in neither buying a second-hand car nor a European car is 55%. Among those coming to the dealer, 25% buy a second-hand car and 30% buy a European car. What is the probability that a visit leads to buying a second-hand European car? (e) Given that a 0 = 2, a n+1 = 3a n for n 0, use generating function to find a n in terms of n. (f) Show that the set Z of integers together with the relation of inequality is a poset. (3 marks) Mathematics for Computer Science MATH 1105C Page 3 of 5

4 Question 3: (25 Marks) (Egypt Die Hard Problem) Wandering in the lands of Egypt, you get the opportunity to visit a pyramid. Unknowingly, you press a hidden switch which lands you in a trapped room. In the room, there is only one locked door to exit. Apart from that, there is a fountain from which a dark liquid is coming out. Next to it there are two empty jugs, a 7 litres and a 5 litres. At a distance of 5 steps away from the fountain, there is an uneven tile which is 5cms above the floor level. On the wall instructions of how to exit the room are etched. They are shown below: Fill on of the jugs with exactly 6 litres of the dark liquid and place it on the uneven tile in order to open the locked door. You must be precise as one ounce more or less will result in the crumbling of the roof followed by filling the space with sand. If you do not succeed to complete the task in 10 minutes, the roof will automatically collapse and fill the space with sand. (i) (ii) (iii) Model jug filling scenarios with a state machine for the Egypt Die Hard problem. Clearly, indicate the start state and the kinds of transitions. (12 marks) Provide difference between the 99-Counter state machine and the Egypt Die Hard machine. State whether the Egypt Die Hard machine is deterministic or non deterministic and explain why it is so. (2 marks) (b) Show that any Y = {y 1, y 2,..., y x } of x integers has a subset such that the sum of the integers in the subset is divisible by x. (c) Use the product rule to show that P (n, r) = n! (n r)!. Hence, find all possible 4-permutations on the set {a, b, c, d, e, f, g, h, i, j}. Mathematics for Computer Science MATH 1105C Page 4 of 5

5 Question 4: (25 Marks) Consider the following incidence matrix: e 1 e 2 e 3 e 4 e 5 e 6 v v v v v v v (i) Draw the graph of the incidence matrix. (ii) List the isolated vertices. (iii) List the loops. (iv) List the parallel edges. (v) List the vertices adjacent to v 3. (vi) Find all edges incident on v 4. (b) Draw K 3, K 3,4 and K 2,5. (c) (i) Show that the composition of two injective functions is also injective. (6 marks) (ii) (iii) Show that the composition of two surjective functions is also surjective. Show that the composition of two bijective functions is also bijective. ***END OF QUESTION PAPER*** Mathematics for Computer Science MATH 1105C Page 5 of 5

Exam Practice Problems

Exam Practice Problems Math 231 Exam Practice Problems WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the topics.

More information

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

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition. Math 231 Exam Practice Problem Solutions WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the

More information

Quiz 1, Mon CS 2050, Intro Discrete Math for Computer Science

Quiz 1, Mon CS 2050, Intro Discrete Math for Computer Science Quiz 1, Mon 09-6-11 CS 050, Intro Discrete Math for Computer Science This quiz has 10 pages (including this cover page) and 5 Problems: Problems 1,, 3 and 4 are mandatory ( pages each.) Problem 5 is optional,

More information

Finals: Solutions. ECS 20 (Fall 2009) Patrice Koehl May 20, 2016

Finals: Solutions. ECS 20 (Fall 2009) Patrice Koehl May 20, 2016 Finals: Solutions ECS 20 (Fall 2009) Patrice Koehl koehl@cs.ucdavis.edu May 20, 2016 Part I: Logic Exercise 1 On a distant island, every inhabitant is either a Knight or Knave. Knights only tell the truth.

More information

Math 109 September 1, 2016

Math 109 September 1, 2016 Math 109 September 1, 2016 Question 1 Given that the proposition P Q is true. Which of the following must also be true? A. (not P ) or Q. B. (not Q) implies (not P ). C. Q implies P. D. A and B E. A, B,

More information

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

MATH 13 SAMPLE FINAL EXAM SOLUTIONS MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.

More information

Assignment #1 Sample Solutions

Assignment #1 Sample Solutions CS 220/MATH 320 Applied Discrete Mathematics Fall 2018 Instructor: Marc Pomplun Assignment #1 Sample Solutions Question 1: Say it with Propositional Functions Let Takes(x, y) be the propositional function

More information

Generating Permutations and Combinations

Generating Permutations and Combinations Generating Permutations and Combinations March 0, 005 Generating Permutations We have learned that there are n! permutations of {,,, n} It is important in many instances to generate a list of such permutations

More information

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible Name: CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December 2016 Question Points Possible Points Received 1 12 2 14 3 14 4 12 5 16 6 16 7 16 Total 100 Instructions: 1. This exam

More information

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

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

MATH FINAL EXAM REVIEW HINTS

MATH FINAL EXAM REVIEW HINTS MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any

More information

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible Name: CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December 2016 Question Points Possible Points Received 1 12 2 14 3 14 4 12 5 16 6 16 7 16 Total 100 Instructions: 1. This exam

More information

1 Take-home exam and final exam study guide

1 Take-home exam and final exam study guide Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number

More information

Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as:

Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as: 3.4 THE CONDITIONAL & BICONDITIONAL Definition. Any statement that can be put in the form If p, then q, where p and q are basic statements, is called a conditional statement and is written symbolically

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

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

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described

More information

Solution: By direct calculation, or observe that = = ( ) 2222 = =

Solution: By direct calculation, or observe that = = ( ) 2222 = = 1 Fillins 1. Find the last 4 digits of 3333 6666. Solution: 7778. By direct calculation, or observe that 3333 6666 = 9999 2222 = (10000 1) 2222 = 22220000 2222 = 22217778. 2. How many ways are there to

More information

Solutions to Homework Set 1

Solutions to Homework Set 1 Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement

More information

Math 205 April 28, 2009 Final Exam Review

Math 205 April 28, 2009 Final Exam Review 1 Definitions 1. Some question will ask you to statea a definition and/or give an example of a defined term. The terms are: subset proper subset intersection union power set cartesian product relation

More information

MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG

MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG Suggested Problems for Sets and Functions The following problems are from Discrete Mathematics and Its Applications by Kenneth H. Rosen. 1. Define the

More information

* * Cambridge International Examinations Cambridge Secondary 1 Checkpoint MATHEMATICS 1112/02. Paper 2 October 2015.

* * Cambridge International Examinations Cambridge Secondary 1 Checkpoint MATHEMATICS 1112/02. Paper 2 October 2015. *0529120111* Cambridge International Examinations Cambridge Secondary 1 Checkpoint MATHEMATICS 1112/02 Paper 2 October 2015 Candidates answer on the Question Paper. Additional Materials: Calculator Geometrical

More information

RELATIONS AND FUNCTIONS

RELATIONS AND FUNCTIONS For more important questions visit : www.4ono.com CHAPTER 1 RELATIONS AND FUNCTIONS IMPORTANT POINTS TO REMEMBER Relation R from a set A to a set B is subset of A B. A B = {(a, b) : a A, b B}. If n(a)

More information

CLASS XI Maths : Sample Paper-1

CLASS XI Maths : Sample Paper-1 CLASS XI Maths : Sample Paper-1 Allotted Time : 3 Hrs Max. Marks : 100 Instructions 1. This questionnaire consists of 30 questions divided in four sections. Please verify before attempt. 2. Section I consists

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

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

MATH 215 Final. M4. For all a, b in Z, a b = b a.

MATH 215 Final. M4. For all a, b in Z, a b = b a. MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on

More information

Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

More information

Math 2534 Solution to Test 3A Spring 2010

Math 2534 Solution to Test 3A Spring 2010 Math 2534 Solution to Test 3A Spring 2010 Problem 1: (10pts) Prove that R is a transitive relation on Z when given that mrpiff m pmod d (ie. d ( m p) ) Solution: The relation R is transitive, if arb and

More information

Unit I (Logic and Proofs)

Unit I (Logic and Proofs) SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : Part A questions : R2013 UPDATED ON : April-May 2018 (Scan the above QR code for the direct download of this material)

More information

Mathematical Induction. Section 5.1

Mathematical Induction. Section 5.1 Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction

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

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2014 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set

More information

State Machines. step by step processes (may step in response to input not today) State machines. Die Hard. State machines

State Machines. step by step processes (may step in response to input not today) State machines. Die Hard. State machines Mathematics for Computer Science MIT 6.042J/18.062J State Machines State machines step by step processes (may step in response to input not today) statemachine.1 statemachine.2 State machines The state

More information

Computer Science Foundation Exam

Computer Science Foundation Exam Computer Science Foundation Exam May 6, 2016 Section II A DISCRETE STRUCTURES NO books, notes, or calculators may be used, and you must work entirely on your own. SOLUTION Question Max Pts Category Passing

More information

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0. For some problems, several sample proofs are given here. Problem 1. a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0.

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

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

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

Functions. Given a function f: A B:

Functions. Given a function f: A B: Functions Given a function f: A B: We say f maps A to B or f is a mapping from A to B. A is called the domain of f. B is called the codomain of f. If f(a) = b, then b is called the image of a under f.

More information

We want to show P (n) is true for all integers

We want to show P (n) is true for all integers Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to

More information

ACCUPLACER Sample Questions for Students

ACCUPLACER Sample Questions for Students ACCUPLACER Sample Questions for Students 0 The College Board. College Board, ACCUPLACER, WritePlacer and the acorn logo are registered trademarks of the College Board. All other products and services may

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

Midterm: Sample 3. ECS20 (Fall 2017) 1) Using truth tables, establish for each of the two propositions below if it is a tautology, a contradiction

Midterm: Sample 3. ECS20 (Fall 2017) 1) Using truth tables, establish for each of the two propositions below if it is a tautology, a contradiction Midterm: Sample 3 ECS20 (Fall 2017) Part I: logic 1) Using truth tables, establish for each of the two propositions below if it is a tautology, a contradiction or neither. 1) [p (q r)] [((r p) q) q] Let

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

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM (FP1) The exclusive or operation, denoted by and sometimes known as XOR, is defined so that P Q is true iff P is true or Q is true, but not both. Prove (through

More information

Functional Skills Mathematics. Level 1. Topic: Units of Measure

Functional Skills Mathematics. Level 1. Topic: Units of Measure Functional Skills Mathematics Level Topic: Units of Measure opyright 0 - ll Rights Reserved weight-watcher weighs herself. The diagram shows the reading on the scales. 0 90 00 kg What is the reading on

More information

Final Examination. Adrian Georgi Josh Karen Lee Min Nikos Tina. There are 12 problems totaling 150 points. Total time is 170 minutes.

Final Examination. Adrian Georgi Josh Karen Lee Min Nikos Tina. There are 12 problems totaling 150 points. Total time is 170 minutes. Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Prof. Albert Meyer and Dr. Radhika Nagpal Final Examination Your name: Circle the name of your Tutorial Instructor:

More information

*Final Exam* EECS 203 Spring 2015

*Final Exam* EECS 203 Spring 2015 *Final Exam* EECS 203 Spring 2015 Name (Print): uniqname (Print): Instructions. You have 120 minutes to complete this exam. You may have one page of notes (8.5x11.5 two-sided) but may not use any other

More information

Unit 2 Maths Methods (CAS) Exam

Unit 2 Maths Methods (CAS) Exam Name: Teacher: Unit 2 Maths Methods (CAS) Exam 2 2014 Monday November 17 (1.50 pm) Reading time: 15 Minutes Writing time: 60 Minutes Instruction to candidates: Students are only permitted to bring into

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

4.1 Real-valued functions of a real variable

4.1 Real-valued functions of a real variable Chapter 4 Functions When introducing relations from a set A to a set B we drew an analogy with co-ordinates in the x-y plane. Instead of coming from R, the first component of an ordered pair comes from

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

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

Week 4-5: Generating Permutations and Combinations

Week 4-5: Generating Permutations and Combinations Week 4-5: Generating Permutations and Combinations February 27, 2017 1 Generating Permutations We have learned that there are n! permutations of {1, 2,...,n}. It is important in many instances to generate

More information

Math 116 First Midterm October 17, 2014

Math 116 First Midterm October 17, 2014 Math 116 First Midterm October 17, 2014 Name: Instructor: Section: 1. Do not open this exam until you are told to do so. 2. This exam has 9 pages including this cover AND IS DOUBLE SIDED. There are 9 problems.

More information

Math , Fall 2012: HW 5 Solutions

Math , Fall 2012: HW 5 Solutions Math 230.0, Fall 202: HW 5 Solutions Due Thursday, October 4th, 202. Problem (p.58 #2). Let X and Y be the numbers obtained in two draws at random from a box containing four tickets labeled, 2, 3, 4. Display

More information

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam RED Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam Note that the first 10 questions are true-false. Mark A for true, B for false. Questions 11 through 20 are multiple choice

More information

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

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k) MATH 111 Optional Exam 3 lutions 1. (0 pts) We define a relation on Z as follows: a b if a + b is divisible by 3. (a) (1 pts) Prove that is an equivalence relation. (b) (8 pts) Determine all equivalence

More information

447 HOMEWORK SET 1 IAN FRANCIS

447 HOMEWORK SET 1 IAN FRANCIS 7 HOMEWORK SET 1 IAN FRANCIS For each n N, let A n {(n 1)k : k N}. 1 (a) Determine the truth value of the statement: for all n N, A n N. Justify. This statement is false. Simply note that for 1 N, A 1

More information

Introduction to Functions

Introduction to Functions Mathematics for Economists Introduction to Functions Introduction In economics we study the relationship between variables and attempt to explain these relationships through economic theory. For instance

More information

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : University Questions : R2013 UPDATED ON : April-May 2018 BOOK FOR REFERENCE To buy the book visit : Sri Hariganesh

More information

Answer: Answer: 37! 3 How many five card hands are there that contain at least one club? Answer: How many one pair poker hands are there? Etc.

Answer: Answer: 37! 3 How many five card hands are there that contain at least one club? Answer: How many one pair poker hands are there? Etc. Practice Final, M325K, 12/13/2014 PRINTED NAME: EID: No books, notes, calculators, or telephones are allowed. Every problem is worth an equal number of points. You must show your work; answers without

More information

Saturday, September 7, 2013 TEST BOOKLET. Test Version A. Your test version (A, B, C, or D) is above on this page.

Saturday, September 7, 2013 TEST BOOKLET. Test Version A. Your test version (A, B, C, or D) is above on this page. AdvAntAge testing FoundAtion MAth The Fifth Prize Annual For girls Math Prize for Girls Saturday, September 7, 2013 TEST BOOKLET Test Version A DIRECTIONS 1. Do not open this test until your proctor instructs

More information

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions How can we prove that a function f is one-to-one? Whenever you want to prove something, first take a look at the relevant definition(s): x, y A (f(x) = f(y) x = y) f:r R f(x) = x 2 Disproof by counterexample:

More information

Agile Mind Grade 7 Scope and Sequence, Common Core State Standards for Mathematics

Agile Mind Grade 7 Scope and Sequence, Common Core State Standards for Mathematics In Grade 6, students developed an understanding of variables from two perspectives as placeholders for specific values and as representing sets of values represented in algebraic relationships. They applied

More information

ACCUPLACER Sample Questions for Students

ACCUPLACER Sample Questions for Students ACCUPLACER Sample Questions for Students Elementary Algebra Study Guide LCC Student Success Center Sam Jack Academic Coordinator 60-80-4 samj@labette.edu Cathy Hyten SSS Program Assistant 60-80-47 cathyh@labette.edu

More information

Cambridge International Examinations Cambridge Ordinary Level

Cambridge International Examinations Cambridge Ordinary Level Cambridge International Examinations Cambridge Ordinary Level * 2 6 7 1 3 3 0 5 3 7 * MATHEMATICS (SYLLABUS D) 4024/11 Paper 1 October/November 2014 2 hours Candidates answer on the Question Paper. Additional

More information

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4 Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement

More information

CSCI3390-Second Test with Solutions

CSCI3390-Second Test with Solutions CSCI3390-Second Test with Solutions April 26, 2016 Each of the 15 parts of the problems below is worth 10 points, except for the more involved 4(d), which is worth 20. A perfect score is 100: if your score

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

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1) Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +

More information

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

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 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 011-1 DISCRETE MATHEMATICS (EOE 038) 1. UNIT I (SET, RELATION,

More information

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 3 EECS 70 Discrete Mathematics and Probability Theory Spring 014 Anant Sahai Note 3 Induction Induction is an extremely powerful tool in mathematics. It is a way of proving propositions that hold for all

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

ACCUPLACER Sample Questions for Students

ACCUPLACER Sample Questions for Students ACCUPLACER Sample Questions for Students Math Sample Questions for Students (ANSWER KEYS ARE FOUND AT THE END OF THIS DOCUMENT) 0 The College Board. College Board, ACCUPLACER, WritePlacer and the acorn

More information

NMC Sample Problems: Grade 6

NMC Sample Problems: Grade 6 NMC Sample Problems: Grade 6. What is the sum of the greatest common divisor and the least common multiple of 8 and 2? 2 8 66 2 2. Which number is the smallest in the set. { },., 9,,? 9 Answer:. In a pet

More information

ACCUPLACER Sample Questions for Students

ACCUPLACER Sample Questions for Students ACCUPLACER Sample Questions for Students 0 The College Board. College Board, ACCUPLACER, WritePlacer and the acorn logo are registered trademarks of the College Board. All other products and services may

More information

Lesson Lesson Tutorials

Lesson Lesson Tutorials 7.4 Lesson Lesson Tutorials An equation in two variables represents two quantities that change in relationship to one another. A solution of an equation in two variables is an ordered pair that makes the

More information

Descriptive Statistics and Probability Test Review Test on May 4/5

Descriptive Statistics and Probability Test Review Test on May 4/5 Descriptive Statistics and Probability Test Review Test on May 4/5 1. The following frequency distribution of marks has mean 4.5. Mark 1 2 3 4 5 6 7 Frequency 2 4 6 9 x 9 4 Find the value of x. Write down

More information

Test Codes : MIA (Objective Type) and MIB (Short Answer Type) 2007

Test Codes : MIA (Objective Type) and MIB (Short Answer Type) 2007 Test Codes : MIA (Objective Type) and MIB (Short Answer Type) 007 Questions will be set on the following and related topics. Algebra: Sets, operations on sets. Prime numbers, factorisation of integers

More information

MODEL ANSWERS TO THE SEVENTH HOMEWORK. (b) We proved in homework six, question 2 (c) that. But we also proved homework six, question 2 (a) that

MODEL ANSWERS TO THE SEVENTH HOMEWORK. (b) We proved in homework six, question 2 (c) that. But we also proved homework six, question 2 (a) that MODEL ANSWERS TO THE SEVENTH HOMEWORK 1. Let X be a finite set, and let A, B and A 1, A 2,..., A n be subsets of X. Let A c = X \ A denote the complement. (a) χ A (x) = A. x X (b) We proved in homework

More information

1 The Well Ordering Principle, Induction, and Equivalence Relations

1 The Well Ordering Principle, Induction, and Equivalence Relations 1 The Well Ordering Principle, Induction, and Equivalence Relations The set of natural numbers is the set N = f1; 2; 3; : : :g. (Some authors also include the number 0 in the natural numbers, but number

More information

CS 125 Section #12 (More) Probability and Randomized Algorithms 11/24/14. For random numbers X which only take on nonnegative integer values, E(X) =

CS 125 Section #12 (More) Probability and Randomized Algorithms 11/24/14. For random numbers X which only take on nonnegative integer values, E(X) = CS 125 Section #12 (More) Probability and Randomized Algorithms 11/24/14 1 Probability First, recall a couple useful facts from last time about probability: Linearity of expectation: E(aX + by ) = ae(x)

More information

Introduction to Automata

Introduction to Automata Introduction to Automata Seungjin Choi Department of Computer Science and Engineering Pohang University of Science and Technology 77 Cheongam-ro, Nam-gu, Pohang 37673, Korea seungjin@postech.ac.kr 1 /

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

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: Rule of Inference Mathematical Induction: Conjecturing and Proving Mathematical Induction:

More information

Math 775 Homework 1. Austin Mohr. February 9, 2011

Math 775 Homework 1. Austin Mohr. February 9, 2011 Math 775 Homework 1 Austin Mohr February 9, 2011 Problem 1 Suppose sets S 1, S 2,..., S n contain, respectively, 2, 3,..., n 1 elements. Proposition 1. The number of SDR s is at least 2 n, and this bound

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

21.1 Solving Equations by Factoring

21.1 Solving Equations by Factoring Name Class Date 1.1 Solving Equations by Factoring x + bx + c Essential Question: How can you use factoring to solve quadratic equations in standard form for which a = 1? Resource Locker Explore 1 Using

More information

Math May 13, Final Exam

Math May 13, Final Exam Math 447 - May 13, 2013 - Final Exam Name: Read these instructions carefully: The points assigned are not meant to be a guide to the difficulty of the problems. If the question is multiple choice, there

More information

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.

More information

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

University of California, San Diego Department of Computer Science and Engineering CSE 20. Solutions to Midterm Exam Winter 2018 University of California, San Diego Department of Computer Science and Engineering CSE 20 Solutions to Midterm Exam Winter 2018 Problem 1 (30 points) a. The boolean function f(p, q) = (q p) ( q p) is specified

More information

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Math 2603 Midterm 1 Spring 2018 Your Name Student ID # Section Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Check that you have a complete exam. There are 5

More information

Focus Topic 1 Add and Subtract Rational Numbers (3 weeks)

Focus Topic 1 Add and Subtract Rational Numbers (3 weeks) 7th Grade Math Curriculum Map 2013-2014 Focus Topic 1 Add and Subtract Rational Numbers (3 weeks) 7.NS.A.1 Apply and extend previous understandings of addition and subtraction to add and subtract rational

More information

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9 1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

GCSE (9-1) Grade 4. Scatter Graphs

GCSE (9-1) Grade 4. Scatter Graphs Name:.. Total Marks: GCSE (9-1) Grade 4 Scatter Graphs Instructions Use black ink or ball-point pen. Fill in the boxes at the top of this page with your name. Answer all questions. Answer the questions

More information