0209-notes

0209-notes - CPSC 121 Lecture 15 February 9, 2009 Menu...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CPSC 121 Lecture 15 February 9, 2009 Menu February 9, 2009 Topics: Proof Techniques (contd) Summary of Learning Goals (Epp Chapter 3) (More) Examples (contd) Reading: Today: Epp 3.1, Theorem 3.4.1 (page 157), Representation of Integers (pages 159163), Epp 3.6, and 3.7 Next: Epp 12.2 (pages 745747), Designing a Finite Automaton (pages 752754, skipping part b of the examples) Reminders: Look for on-line Quizzes 8 & 9 Marked Assignment 1 available in tutorials Assignment 2 due Friday, February 13 (by 17:00) Midterm exam Tuesday, February 24 (evening) Proof Techniques (contd) To illustrate proof techniques, many of our sample theorems have been drawn from elementary number theory. Here are the basic definitions to use when asked to prove results involving integers that are even, odd or prime. An integer n is even if and only if n equals twice some integer. An integer is odd if an only if n equals twice some integer plus 1 . Formally... Definition: Even and Odd Let n Z be an integer. Then n is even iff k Z such that n = 2 k n is odd iff k Z such that n = 2 k + 1 An integer n is prime if and only if n > 1 and for all positive integers r and s , if n = r s then r = 1 or s = 1 . An integer n is composite if and only if n > 1 and n = r s for positive integers r and s with r 6 = 1 and s 6 = 1 ....
View Full Document

Page1 / 3

0209-notes - CPSC 121 Lecture 15 February 9, 2009 Menu...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online