Math 109 September 1, 2016

Similar documents
Chapter 1 : The language of mathematics.

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

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

Mathematics 220 Homework 4 - Solutions. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B.

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

MATH FINAL EXAM REVIEW HINTS

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

MATH 2200 Final Review

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

Basic Proof Examples

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

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

Part IA Numbers and Sets

MATH 363: Discrete Mathematics

Chapter 1. Sets and Mappings

Logic. Facts (with proofs) CHAPTER 1. Definitions

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

M381 Number Theory 2004 Page 1

Part IA Numbers and Sets

2 Truth Tables, Equivalences and the Contrapositive

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

Introduction to Proofs

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

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

Name: Mathematics 1C03

Math 105A HW 1 Solutions

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

Contribution of Problems

MATH 13 FINAL EXAM SOLUTIONS

Writing Assignment 2 Student Sample Questions

Mathematical Reasoning & Proofs

Math 3000 Section 003 Intro to Abstract Math Final Exam

Math 109 HW 9 Solutions

RED. Name: Math 290 Fall 2016 Sample Exam 3

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

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

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Properties of the Integers

Section 0. Sets and Relations

Equivalence of Propositions

1 Take-home exam and final exam study guide

0 Sets and Induction. Sets

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

Proof by Contradiction

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

1. (B) The union of sets A and B is the set whose elements belong to at least one of A

MATH 361: NUMBER THEORY FOURTH LECTURE

Math 564 Homework 1. Solutions.

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

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

Solutions to Homework Set 1

Contribution of Problems

HANDOUT AND SET THEORY. Ariyadi Wijaya

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Chapter 5: The Integers

Review 3. Andreas Klappenecker

MATH1240 Definitions and Theorems

(a) Let F be a field, and E F a subfield. Then F can be regarded as a vector space over E (with + and the field operations).

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

6 CARDINALITY OF SETS

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

5 Set Operations, Functions, and Counting

SETS AND FUNCTIONS JOSHUA BALLEW

In N we can do addition, but in order to do subtraction we need to extend N to the integers

CHAPTER 3. Congruences. Congruence: definitions and properties

CSE 20 DISCRETE MATH. Winter

ASSIGNMENT 1 SOLUTIONS

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Objective Type Questions

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

Axioms for Set Theory

ABOUT THE CLASS AND NOTES ON SET THEORY

MAT246H1S - Concepts In Abstract Mathematics. Solutions to Term Test 1 - February 1, 2018

MATH 2200 Final LC Review

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.

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

Math 230 Final Exam, Spring 2008

Foundations Revision Notes

Finite and Infinite Sets

COT3100 SI Final Exam Review

CSC Discrete Math I, Spring Propositional Logic

CSE 20 DISCRETE MATH. Fall

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

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

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

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

MATH 420 FINAL EXAM J. Beachy, 5/7/97

A Short Review of Cardinality

Number Theory and Graph Theory. Prime numbers and congruences.

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

14 Equivalence Relations

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

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

18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015)

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

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

NOTES ON INTEGERS. 1. Integers

Transcription:

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, and C

Question 2 De Morgan s Law is the logical relationship A. not (P or Q) (not P ) and (not Q). B. not (P and Q) (not P ) or (not Q). C. A and B: both are part of De Morgan s Law(s). D. Neither A nor B: both equivalencies are false. E. There s no De Morgan s Law! Who was De Morgan anyway?

Question 3 Theorem: n 2 n for every positive integer n. Proof: Clearly, 1 2 1. Suppose k 2 k for some positive integer k. If (k + 1) 2 (k + 1), then k 2 (k + 1) 2 1 (k + 1) 1 = k. Thus, (k + 1) 2 k + 1 must be true. A. The theorem is balderdash. For example, 2 2 > 2. B. Since the proof is clear, this has become known as the Square Paradox. C. The proof is faulty because it assumes the conclusion as part of the argument. D. A and B E. A and C

Question 4 Axiom Given a statement P (n) involving a general positive integer n. positive integers n if (i) P (1) is true, and Then P (n) is true for all (ii) if k is a positive integer and P (m) is true for all all positive integers m k, then P (k + 1) is true. This axiom A. is called the strong induction principle. B. is not a valid axiom because it contradicts the induction principle. C. is logically equivalent to the induction principle. D. makes some theorems easier to prove than using the induction principle directly. E. A, C, and D

Question 5 Consider the following statement: For every real number x, there exists a real number y such that x y = 1. Which of the following is a correct negation of this statement? A. For every real number x, there is no real number y such that x y = 1. B. There exists a real number x and a real number y such that x y 1. C. For every real number x, there exists a real number y such that x y 1. D. There exists a real number x such that for every real number y, x y 1. E. None of the above.

Question 6 Given a set of real numbers A, its power set P(A) A. is the set of all subsets of A. B. is the set of all integer powers of the numbers in A. That is, P(A) = {x n x A and n Z}. C. has 2 N elements when A is a finite set with N elements. D. A and C. E. B and C.

Question 7 Given integers a and b, at least one of which is non-zero. A. a and b are coprime precisely when gcd(a, b) = 1 B. a and b are coprime precisely when they have no common prime factor. C. gcd(a, 0) = a for every integer a. D. A and B E. A, B, and C

Question 8 Given non-zero integers a and b. The general solution to the linear diophantine equation am + bn = c A. is empty when c is not a multiple of gcd(a, b). B. is unique, provided that c is a multiple of gcd(a, b). C. is of the form (p + kr, q + ks), where k is any integer, (p, q) is a particular solution, and (r, s) is any solution to the corresponding homogeneous equation. D. A and B E. A and C

Question 9 Given non-zero integers a and b. A. The existence of integers m, n such that am+bn = 1 is necessary for gcd(a, b) = 1. B. The existence of integers m, n such that am+bn = 1 is sufficient for gcd(a, b) = 1. C. The linear diophantine equation am + bn = 1 has a unique solution (m, n) when gcd(a, b) = 1. D. A and B. E. All of the above.

Question 10 Given integers a and b, and m a positive integer. A. If a divides m, then ab 1 ab 2 mod m if and only if b 1 b 2 mod ( ) m a. B. If gcd(a, m) = 1, then ab 1 ab 2 mod m if and only if b 1 b 2 mod m. C. If gcd(a, m) = 1, then the linear congruence ax b mod m has a unique solution modulo m. D. A and B E. A, B, and C

Question 11 Let X be a set. A partition Π of X A. can only be defined when X is a nonempty set. B. is a subset of P(X), the power set of X. C. defines a corresponding equivalence relation on X. D. B and C E. A, B, and C

Question 12 only if mn > 0. Define on Z {0} by m n if and A. is not an equivalence relation on Z {0} because it is not transitive. B. is not an equivalence relation on Z {0} because it is not reflexive. C. is an equivalence relation on Z {0}. D. (Z {0}) / has two elements: [ 1] and [1]. E. C and D

Question 13 Given a set X. Then, A. X = n for some positive integer n. B. X = 0 or there exists a bijection f : N n X for some positive integer n. C. X is the number of elements in X. D. X = 0, or there exists a bijection f : N n X for some positive integer n, or X is infinite. E. A, B, and C

Question 14 Let X and Y be non-empty finite sets and f : X Y a function. The pigeonhole principle principle asserts that A. if X > Y, then f is not an injection. B. if f is an injection, then X Y. C. if X = Y, then there exists a bijection f : X Y. D. A and B; B is the contrapositive of A E. None of the above: Where are the pigeons?

Question 15 Given a set X. A. A permutation of X is a bijection σ : X X. B. n! is the number of permutations of X when X = n. C. σ(n) = n + 1 is a permutation of Z. D. A, B, and C E. A and B : Permutations only make sense for finite sets.

Question 16 The binomial theorem A. asserts that (x + y) n = n k=0 ( n k) x k y n k. B. can be proved by induction on n. C. can be proved by observing that the number of times x k y n k occurs in the product (x + y) n is the number of ways x can be chosen k times out of n choices. D. implies that n ( n k) k=0 = 2 n. E. All of the above.

Question 17 A set X is infinite if and only if it is A. equipotent to a proper subset of itself. B. denumerable. C. uncountable. D. A and B E. A and C