SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING 2010
|
|
- Isaac Whitehead
- 7 years ago
- Views:
Transcription
1 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING 2010 PROBLEM 1 What are the converse and contrapositive statements of the statement If it is sunny, then I will go swimming? (The answer needs not to be justified.) SOLUTION: Converse is If I (will) go swimming, then it is sunny. Contrapositive is If I do not/will not go swimming, then it is not sunny. PROBLEM 2 Show that (p q) and q p are logically equivalent by (a) using a truth table; (b) using logical equivalences. SOLUTION: (a) Truth table: p q q p q (p q) p q p T T F T F F F T F T T F F F F T F F T T T F F T T F T F Since the fifth and seventh columns agree, we conclude that (p q) and q p are logically equivalent by definition. (b) We have (p q) (1) p q (2) p q (3) q p, where we have used De Morgan s law (1), the doble negation law (2) and the commutative law (3). (c) Prove or disprove that (p q) r and p (q r) are equivalent. SOLUTION: They are not equivalent, because there exist truth values for the three propositions p, q, r making (p q) r false but p (q r) true. To see this, take p to be false, q true and r false. Then (p q) r is false, since its premise (p q) is true and its conclusion r is false. On the other hand p (q r) is true since its premise p is false. (d) Prove that ( q (p q)) p is a tautology. SOLUTION ALTERNATIVE 1: This can be done with a truth table: p q p q p q q (p q) ( q (p q)) p T T F F T F T T F F T F F T F T T F T F T F F T T T T T 1
2 2 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING 2010 Since the truth value of ( q (p q)) p is always T, no matter what the values of p and q are, it follows that ( q (p q)) p is a tautology by definition. SOLUTION ALTERNATIVE 2: using logical equivalences we get q (p q)) p ( q (p q)) p q (p q)) p De Morgan and double negation q ( p q)) p q (p q)) p De Morgan and double negation ((q p) (q q)) p Distributive law ((q p) T) p Negation law q p p Associative law and Negation law q T Identity law T Domination law so that ( q (p q)) p is logically equivalent to a proposition that is always true, which means it is a tautology. PROBLEM 3 Let P (m, n) be m is greater than n, where the domain (universe of discourse) is the set of negative integers. Decide the truth value of the following propositions: (a) x yp (x, y), (b) x yp (y, x), (c) x yp (x, y), (d) x yp (y, x), SOLUTION: (a) is FALSE since it claims that there exists a negative integer x such that x > y for all negative integers y. In particular, we would have to have x > 1, which is impossible. (b) is FALSE since it claims that there exists a negative integer x such that y > x for all negative integers y. Indeed, if such an x existed, we would have to have x > x, which is impossible. (c) is TRUE since it claims that for any negative integer x, we can find a negative integer y such that x > y. For instance, we can take y = x 1. (d) is FALSE since it claims that for any negative integer x, we can find a negative integer y such that y > x. But such a y cannot exist if x = 1. PROBLEM 4 (a) Formalize the following argument and determine whether it is valid: She is a bachelor student in mathematics or in computer science. If she doesn t know discrete math, she is not a bachelor student in computer science. If she knows discrete math, she is smart. She is not a bachelor student in mathematics. Therefore, she is smart.
3 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING SOLUTION: Let us name the different propositions with the following letters: m c d s She is a bachelor student in mathematics She is a bachelor student in computer science She knows discrete math She is smart Then the formal argument is: m c d c d s m s This is VALID and we prove it by using the following rules of inference: 1. d c Premise 2. c d Contraposition on 1. and Doble negation 3. d s Premise 4. c s Hypothetical syllogism on 2. and m c Premise 6. m Premise 7. c Disjunctive syllogism on 5. and s Modus ponens on 4. and 7. (b) Determine whether the following argument is valid: p r q r (p q) r SOLUTION: The argument is not valid because the truth values p false, q false and r true, make the three premises true and the conclusion false. PROBLEM 5 A stamp collector wants to include in her collection exactly one stamp from each country of Africa. If I(s) means that she has stamp s in her collection, F (s, c) means that stamp s was issued by country c, the domain for s is all stamps, and the domain for c is all countries of Africa, express the statement that her collection satisfies her requirement. Do not use the! symbol. SOLUTION: The simplest formula is ( ) c s x (I(x) F (x, c)) x = s. PROBLEM 6 Prove or disprove the following statements about sets:
4 4 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING 2010 (a) A (B C) = (A B) (A C) for all sets A, B, C. (b) A (B C) = (A B) (A C) for all sets A, B, C. SOLUTION: (a) is FALSE. For a counterexample, take A = {1, 2}, B = {1} and C = {2}. Then we have A (B C) = {1, 2} = {1, 2} and (A B) (A C) = {2} {1} =. (b) is TRUE, since A (B C) (1) = A B C (2) = A (B C) (3) = (A B) (A C) (4) = (A B) (A C), where we have used the definition of difference between sets (1 and 4), De Morgan s law (2) and the distributive law (3). PROBLEM 7 Find the power set of the set {{a, b}, c}. SOLUTION: {, {{a, b}}, {c}, {{a, b}, c}} PROBLEM 8 Consider the functions f, g : Z Z defined by f(n) = 2n + 1 and g(n) = 2 n 2. (a) What is the range of each of the functions f, g, f g and g f, respectively? Which of the functions f, g, f g and g f are surjective? (b) Which of the functions f, g, f g and g f are injective? SOLUTION: (a) The range of f is the set of all odd integers and the range of g the set of all even integers. We have f g : Z Z defined by f g(n) = f(g(n)) = 4 n 2 + 1, so the range is the set {n Z (k Z)(n = 4k + 1)}. We have g f : Z Z defined by g f(n) = g(f(n)) = 2 2n+1 2 = 2 n = 2n, so the range is the set of all even integers. It follows that none of the functions are surjective, since all these sets are proper subsets of Z. (b) g and f g are not injective, since for instance g(0) = g(1) and f g(0) = f g(1). f is injective since Likewise, g f is injective. f(n 1 ) = f(n 2 ) 2n = 2n n 1 = 2n 2 n 1 = n 2. PROBLEM 9 (a) Show that the set of odd positive integers greater than 3 is countable. SOLUTION: The function f(n) = 2n+3 is a bijection between the set of positive integers to the set of positive integers greater than 3. Hence the latter set is countable. (b) Let A and B be countable sets. Prove that A B is countable.
5 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING SOLUTION: The fact that A is countable means that we can arrange the elements of A is a sequence labelled by the set of positive integers, possibly ending: Likewise, we can write A = {a 1, a 2, a 3,...}. B = {b 1, b 2, b 3,...}. All elements of A B are then of the form (a i, b j ) for some i, j N +. We then order all elements in the following way (a 1, b 1 ) (a 1, b 2 ) (a 1, b 3 ) (a 1, b 4 ) (a 1, b 5 )... (a 2, b 1 ) (a 2, b 2 ) (a 2, b 3 ) (a 2, b 4 ) (a 2, b 5 )... (a 3, b 1 ) (a 3, b 2 ) (a 3, b 3 ) (a 3, b 4 ) (a 3, b 5 )... (a 4, b 1 ) (a 4, b 2 ) (a 4, b 3 ) (a 4, b 4 ) (a 4, b 5 )... (a 5, b 1 ) (a 5, b 2 ) (a 5, b 3 ) (a 5, b 4 ) (a 5, b 5 ) and we then order the elements using the same diagonal-chaising-pattern as in the proof of the countability of Q +. and PROBLEM 10 (a) Find 100 j=1 (2j + 5) and 100 j=5 3j. SOLUTION: We have (2j + 5) = 2 j + 5 = 2 j=1 j=1 3 j = 3 j j=5 j=0 j=0 j=1 (b) Decide whether (mod 17) = j = = SOLUTION: We have = 153 and , since 153 = (mod 17). hence 175 (c) Find the prime factorization of SOLUTION: We check that neither 2, 3, 5 nor 7 divide Dividing by 11 we obtain Repeating the procedure, we again find that the smallest prime dividing this number is 11, and dividing yields 377. We find that this number is not divisible by any of 2, 3, 5, 7, 11, but dividing by 13 yields 29, a prime number. Hence the factorization is = (d) Find gcd(70, 84) and lcm(70, 84). SOLUTION: We find the prime factorizations 70 = and 84 = , whence gcd(70, 84) = 2 7 = 14.
6 6 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING 2010 Similarly, lcm(70, 84) = = 420. PROBLEM 11 Find the mistake in the following proof of the following theorem and give a correct proof. Theorem If a b and b c, then a c. Proof. Since a b, we have b = ka for k Z. Likewise, since b c, we have c = kb. Therefore, c = bk = (ak)k = ak 2. It follows that a c. QED SOLUTION: The proof is incorrect since there is no guarantee that the multiple k will be the same in both cases. Correct proof: Since a b, we have b = ka for some k Z. Likewise, since b c, we have c = lb for some l Z. Therefore, c = lb = l(ka) = (lk)a. It follows that a c. QED PROBLEM 12 (a) A message has been encrypted using the function f(x) = (x + 5) mod 26. If the message in coded form is JCF HY, decode the message. SOLUTION: The decoded message is EXACT. To see this, we first replace the letters in the coded form by numbers corresponding to their position in the English alphabet, yielding Then we apply the inverse of f, namely f 1 (x) = (x 5) mod 26, to these numbers, obtaining , which correspond to the letters E X A C T. (b) Explain why g(x) = (2x + 3) mod 26 would not be a good coding function. SOLUTION: The function g is not bijective, since for instance g(0) = g(13). Hence there exists no inverse function, so we would not be able to decode the message. PROBLEM 13 Prove that if n is an integer that is not a multiple of 3, then n 2 1 (mod 3). SOLUTION-ALTERNATIVE 1: We do a proof by cases: If n is an integer that is not a multiple of 3, then n = 3k + 1 or n = 3k + 2 for some integer k. (In fact, k is the quotient and 1 respectively 2 the remainder, obtained when dividing n by 3.) If n = 3k + 1, then n 2 = 9k 2 + 6k + 1 = 3(3k 2 + 2k) + 1, whence n 2 1 (mod 3). If n = 3k + 2, then n 2 = 9k k + 4 = 3(3k 2 + 4k + 1) + 1, whence n 2 1 (mod 3). SOLUTION-ALTERNATIVE 2: The product of three consecutive integers must be divisible by 3. In particular, 3 (n 1)n(n + 1) for any integer n. If n is not divisible by 3, then 3 must divide (n 1)(n + 1), by the unique factorization of (n 1)n(n + 1). But (n 1)(n + 1) = n 2 1, so that 3 (n 2 1), which means that n (mod 3), or, equivalently, n 2 1 (mod 3).
7 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING Let A = and B = PROBLEM be two zero-one matrices. Find the join, meet and Boolean product of these two matrices. SOLUTION: The join of A and B is A B = = = The meet of A and B is A B = = = The Boolean product of A and B is A B = = = = (1 0) (0 0) (1 1) (1 1) (0 1) (1 0) (1 0) (0 1) (1 0) (0 0) (1 0) (1 1) (0 1) (1 1) (1 0) (0 0) (1 1) (1 0) (1 0) (1 0) (0 1) (1 1) (1 1) (0 0) (1 0) (1 1) (0 0) PROBLEM 15 An ISBN number is a 10-digit number s 1 s 10 such that 10 i=1 is i 0 (mod 11). Prove that if we exchange two different digits of an ISBN number, then the new number we get will not be a valid ISBN number. SOLUTION: When we exchange the places of two distinct digits, say s i and s j with s i s j, the difference in the control sum of the new and the old number is (is j + js i ) (is i + js j ) (mod 11). If the new number is still an ISBN number, then this must be zero, so that we must have (i j)(s j s i ) 0 (mod 11), that is, (i j)(s j s i ) = 11k, for some integer k. But i j { 10, 9,..., 9, 10}, since i, jj {0,..., 10} and s j s i { 9, 8,..., 8, 9}, since s i, s j {0,..., 9}. Therefore, neither i j nor s i s j contains 11 as a prime factor, so we must have k = 0, proving that s i = s j, a contradiction.
8 8 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING 2010 PROBLEM 16 In this problem we use the fact that the Norwegian coin system is built on the following values: 1000, 500, 200, 100, 50, 20, 10, 5, 1 and 0, 50 NOK (Norwegian kroner). We will disregard the last value (0, 50) and work only with integer values of amounts. (a) Suppose that the cashier in a mall has to make change to a customer for the value of 2677 NOK. Assume that he has enough bills and coins of all values. What will he give the customer if he uses the greedy algorithm. SOLUTION: We have 2677 = Therefore, the customer will receive two 1000 bills and one 500, one 100 and one 50 bill, one 20 and one 5 coin, and two 1 coins. (b) Prove that the greedy algorithm applied to NOK always produces change using the fewest bills and coins possible. SOLUTION: We argue as in Lemma 1 and Theorem 1 in 3.1 in the book. Let n be a positive integer, which corresponds to a change. Assume that the change using the fewest bills and coins possible is given by n = 1000a a a a a a a 7 + 5a 8 + a 9, where all a i N. (That is, the change consists of a NOK bills, a NOK bills and so on.) Then one can easily show, as in Lemma 1, that as well as Now assume that a 2 1, a 3 2, a 4 1, a 5 1, a 6 2, a 7 1, a 8 1, a 9 4, a 3 + a 4 2, a 6 + a 7 2. n = 1000b b b b b b b 7 + 5b 8 + b 9, where all b i N, is the change using the greedy algorithm. We prove that all b i = a i, which will prove that greedy algorithm applied always produces change using the fewest bills and coins possible. Obviously b 1 a 1, since the greedy algorithm by definistion uses the largest ampount of 1000 bills possible. If b 1 > a 1, we must have 500a a a a a a 7 + 5a 8 + a , but this is not possibile by the inequlaities we found. Thus b 1 = a 1. Continuing this way, we obtain that all b i = a i. (I skip the details.)
9 SOLUTIONS TO TAKE HOME EXAM 1 MNF130, SPRING GENERELLE KOMMENTARER Veldig viktig: Man må huske å begrunne svarene med mindre det eksplisitt står at det holder å skrive ned svaret. F.eks. er det null poengs utteling for bare å skrive ned svarene på matriseoperasjonene i Oppgave 14. Også veldig viktig: Husk å forklare (kort) hva man har vist/gjort. F.eks.: ikke bare skriv ned en sannhetstabell uten kommentarer. Gjelder diverse oppgaver: Husk at for å motbevise noe, dvs. vise at noe ikke er sant, holder det å finne et moteksempel. Dette er et viktig poeng som mange ikke har fått med seg. F.eks. var det mange som omformet mengdene i 6(a) og forsøkte å forklare masse uten å egentlig komme i mål. Husk å bruke parenteser i logiske uttrykk og bruk dem riktig! Litt mange slurvet med dette. Angående logikkoppgaver: ikke argumenter med ord. Bruk logiske symboler og ekvivalenser! Oppgave 6:(b) det var litt rart at nesten ingen har brukt mengdelære og operasjoner på mengder. Omtrent halvparten har brukt Venndiagrammer, som er noe upresist. Den andre halvparten skrev om mengdene til logikk, som i Eksempel 11 i 2.2 i boken. Dette er selvfølgelig helt riktig, men det aller enkleste er jo å bruke mengdeoperasjoner som i løsningsforslaget og Eksempel 14 i 2.2. Oppgave 13: Her var det en del rar føring med mod. Noen skriver f.eks. meningsløse ting som mod 3... Andreas Leopold Knutsen
def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true
More informationChapter 3. if 2 a i then location: = i. Page 40
Chapter 3 1. Describe an algorithm that takes a list of n integers a 1,a 2,,a n and finds the number of integers each greater than five in the list. Ans: procedure greaterthanfive(a 1,,a n : integers)
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationElementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.
Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole
More informationCardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.
Section 2.5 Cardinality (another) Definition: The cardinality of a set A is equal to the cardinality of a set B, denoted A = B, if and only if there is a bijection from A to B. If there is an injection
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More information8 Primes and Modular Arithmetic
8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,
More informationMath 3000 Section 003 Intro to Abstract Math Homework 2
Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these
More informationThe last three chapters introduced three major proof techniques: direct,
CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements
More informationBasic Proof Techniques
Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document
More information1) Testing of general knowledge 25%. Each right question counts 1. Each wrong counts 0.5. Empty
1 Exam 2 The exam consists of four parts: 1) Testing of general knowledge 25%. Each right question counts 1. Each wrong counts 0.5. Empty counts zero. See below note about Task 1. 2) Planning 20%. All
More informationExamination paper for MA0301 Elementær diskret matematikk
Department of Mathematical Sciences Examination paper for MA0301 Elementær diskret matematikk Academic contact during examination: Iris Marjan Smit a, Sverre Olaf Smalø b Phone: a 9285 0781, b 7359 1750
More informationThis chapter is all about cardinality of sets. At first this looks like a
CHAPTER Cardinality of Sets This chapter is all about cardinality of sets At first this looks like a very simple concept To find the cardinality of a set, just count its elements If A = { a, b, c, d },
More informationLecture 16 : Relations and Functions DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column
More informationWRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
More informationLecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved
Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior
More informationSolutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1
Solutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1 Prof S Bringsjord 0317161200NY Contents I Problems 1 II Solutions 3 Solution to Q1 3 Solutions to Q3 4 Solutions to Q4.(a) (i) 4 Solution to Q4.(a)........................................
More informationComputing exponents modulo a number: Repeated squaring
Computing exponents modulo a number: Repeated squaring How do you compute (1415) 13 mod 2537 = 2182 using just a calculator? Or how do you check that 2 340 mod 341 = 1? You can do this using the method
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More information8 Divisibility and prime numbers
8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express
More informationHomework until Test #2
MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More information( ) which must be a vector
MATH 37 Linear Transformations from Rn to Rm Dr. Neal, WKU Let T : R n R m be a function which maps vectors from R n to R m. Then T is called a linear transformation if the following two properties are
More informationSolutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014
Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014 3.4: 1. If m is any integer, then m(m + 1) = m 2 + m is the product of m and its successor. That it to say, m 2 + m is the
More informationLikewise, we have contradictions: formulas that can only be false, e.g. (p p).
CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula
More informationName: Section Registered In:
Name: Section Registered In: Math 125 Exam 3 Version 1 April 24, 2006 60 total points possible 1. (5pts) Use Cramer s Rule to solve 3x + 4y = 30 x 2y = 8. Be sure to show enough detail that shows you are
More informationWOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology
First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology Final Examination Spring Session 2008 WUCT121
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationRules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05
Rules of Inference Today s Menu Rules of Inference Quantifiers: Universal and Existential Nesting of Quantifiers Applications Old Example Re-Revisited Our Old Example: Suppose we have: All human beings
More information1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]
1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not
More informationCHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
More informationWOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology
First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology Mid-Session Test Summer Session 008-00
More informationCHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.
CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:
More informationBeyond Propositional Logic Lukasiewicz s System
Beyond Propositional Logic Lukasiewicz s System Consider the following set of truth tables: 1 0 0 1 # # 1 0 # 1 1 0 # 0 0 0 0 # # 0 # 1 0 # 1 1 1 1 0 1 0 # # 1 # # 1 0 # 1 1 0 # 0 1 1 1 # 1 # 1 Brandon
More informationMath 55: Discrete Mathematics
Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What
More informationClock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter 4 described a mathematical system
CHAPTER Number Theory FIGURE FIGURE FIGURE Plus hours Plus hours Plus hours + = + = + = FIGURE. Clock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter described a mathematical
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationDiscrete Mathematics Problems
Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................
More informationChapter 11 Number Theory
Chapter 11 Number Theory Number theory is one of the oldest branches of mathematics. For many years people who studied number theory delighted in its pure nature because there were few practical applications
More informationMathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
More information8 Square matrices continued: Determinants
8 Square matrices continued: Determinants 8. Introduction Determinants give us important information about square matrices, and, as we ll soon see, are essential for the computation of eigenvalues. You
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More informationLecture 13 - Basic Number Theory.
Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted
More informationDISCRETE MATH: LECTURE 3
DISCRETE MATH: LECTURE 3 DR. DANIEL FREEMAN 1. Chapter 2.2 Conditional Statements If p and q are statement variables, the conditional of q by p is If p then q or p implies q and is denoted p q. It is false
More informationSample Induction Proofs
Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More information= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationAnswer Key for California State Standards: Algebra I
Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.
More information6.080/6.089 GITCS Feb 12, 2008. Lecture 3
6.8/6.89 GITCS Feb 2, 28 Lecturer: Scott Aaronson Lecture 3 Scribe: Adam Rogal Administrivia. Scribe notes The purpose of scribe notes is to transcribe our lectures. Although I have formal notes of my
More informationQuotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
More informationPractice with Proofs
Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using
More informationSection 4.2: The Division Algorithm and Greatest Common Divisors
Section 4.2: The Division Algorithm and Greatest Common Divisors The Division Algorithm The Division Algorithm is merely long division restated as an equation. For example, the division 29 r. 20 32 948
More informationToday s Topics. Primes & Greatest Common Divisors
Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime
More informationNumber Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may
Number Theory Divisibility and Primes Definition. If a and b are integers and there is some integer c such that a = b c, then we say that b divides a or is a factor or divisor of a and write b a. Definition
More informationCubes and Cube Roots
CUBES AND CUBE ROOTS 109 Cubes and Cube Roots CHAPTER 7 7.1 Introduction This is a story about one of India s great mathematical geniuses, S. Ramanujan. Once another famous mathematician Prof. G.H. Hardy
More informationTheorem3.1.1 Thedivisionalgorithm;theorem2.2.1insection2.2 If m, n Z and n is a positive
Chapter 3 Number Theory 159 3.1 Prime Numbers Prime numbers serve as the basic building blocs in the multiplicative structure of the integers. As you may recall, an integer n greater than one is prime
More informationYou know from calculus that functions play a fundamental role in mathematics.
CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.
More informationGROUPS ACTING ON A SET
GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for
More informationDigitalCommons@University of Nebraska - Lincoln
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-1-007 Pythagorean Triples Diane Swartzlander University
More informationn k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...
6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence
More informationFactoring Polynomials
Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent
More informationH/wk 13, Solutions to selected problems
H/wk 13, Solutions to selected problems Ch. 4.1, Problem 5 (a) Find the number of roots of x x in Z 4, Z Z, any integral domain, Z 6. (b) Find a commutative ring in which x x has infinitely many roots.
More information4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:
4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets
More information3. Logical Reasoning in Mathematics
3. Logical Reasoning in Mathematics Many state standards emphasize the importance of reasoning. We agree disciplined mathematical reasoning is crucial to understanding and to properly using mathematics.
More informationMathematical Induction. Lecture 10-11
Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach
More informationArkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More information15 Prime and Composite Numbers
15 Prime and Composite Numbers Divides, Divisors, Factors, Multiples In section 13, we considered the division algorithm: If a and b are whole numbers with b 0 then there exist unique numbers q and r such
More informationProperties of Real Numbers
16 Chapter P Prerequisites P.2 Properties of Real Numbers What you should learn: Identify and use the basic properties of real numbers Develop and use additional properties of real numbers Why you should
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More information4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION
4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION STEVEN HEILMAN Contents 1. Review 1 2. Diagonal Matrices 1 3. Eigenvectors and Eigenvalues 2 4. Characteristic Polynomial 4 5. Diagonalizability 6 6. Appendix:
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationPUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.
PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
More informationMath 319 Problem Set #3 Solution 21 February 2002
Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod
More informationWorking with whole numbers
1 CHAPTER 1 Working with whole numbers In this chapter you will revise earlier work on: addition and subtraction without a calculator multiplication and division without a calculator using positive and
More information26 Integers: Multiplication, Division, and Order
26 Integers: Multiplication, Division, and Order Integer multiplication and division are extensions of whole number multiplication and division. In multiplying and dividing integers, the one new issue
More informationChapter 7 - Roots, Radicals, and Complex Numbers
Math 233 - Spring 2009 Chapter 7 - Roots, Radicals, and Complex Numbers 7.1 Roots and Radicals 7.1.1 Notation and Terminology In the expression x the is called the radical sign. The expression under the
More informationMatrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws.
Matrix Algebra A. Doerr Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Some Basic Matrix Laws Assume the orders of the matrices are such that
More informationChapter 1. Use the following to answer questions 1-5: In the questions below determine whether the proposition is TRUE or FALSE
Use the following to answer questions 1-5: Chapter 1 In the questions below determine whether the proposition is TRUE or FALSE 1. 1 + 1 = 3 if and only if 2 + 2 = 3. 2. If it is raining, then it is raining.
More informationMATH 289 PROBLEM SET 4: NUMBER THEORY
MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides
More informationMACM 101 Discrete Mathematics I
MACM 101 Discrete Mathematics I Exercises on Combinatorics, Probability, Languages and Integers. Due: Tuesday, November 2th (at the beginning of the class) Reminder: the work you submit must be your own.
More informationSECTION 10-2 Mathematical Induction
73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms
More informationNumber Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures
Number Theory Hungarian Style Cameron Byerley s interpretation of Csaba Szabó s lectures August 20, 2005 2 0.1 introduction Number theory is a beautiful subject and even cooler when you learn about it
More informationLinear Algebra I. Ronald van Luijk, 2012
Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.
More informationSolution to Exercise 2.2. Both m and n are divisible by d, som = dk and n = dk. Thus m ± n = dk ± dk = d(k ± k ),som + n and m n are divisible by d.
[Chap. ] Pythagorean Triples 6 (b) The table suggests that in every primitive Pythagorean triple, exactly one of a, b,orc is a multiple of 5. To verify this, we use the Pythagorean Triples Theorem to write
More informationJust the Factors, Ma am
1 Introduction Just the Factors, Ma am The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive
More informationReal Roots of Univariate Polynomials with Real Coefficients
Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials
More informationMATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform
MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish
More informationMath 55: Discrete Mathematics
Math 55: Discrete Mathematics UC Berkeley, Spring 2012 Homework # 9, due Wednesday, April 11 8.1.5 How many ways are there to pay a bill of 17 pesos using a currency with coins of values of 1 peso, 2 pesos,
More informationNumber Theory: A Mathemythical Approach. Student Resources. Printed Version
Number Theory: A Mathemythical Approach Student Resources Printed Version ii Contents 1 Appendix 1 2 Hints to Problems 3 Chapter 1 Hints......................................... 3 Chapter 2 Hints.........................................
More informationDegrees that are not degrees of categoricity
Degrees that are not degrees of categoricity Bernard A. Anderson Department of Mathematics and Physical Sciences Gordon State College banderson@gordonstate.edu www.gordonstate.edu/faculty/banderson Barbara
More information