0306-slides

# 0306-slides - CPSC 121 Models of Computation Instructor Bob...

This preview shows pages 1–5. Sign up to view the full content.

CPSC 121: Models of Computation Instructor: Bob Woodham Department of Computer Science University of British Columbia Lecture Notes 2008/2009, Section 203 CPSC 121: Models of Computation

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

View Full Document
Menu March 6, 2009 Topics: Induction Examples (cont’d) Reading: Today: Epp 4.1 (as background) Epp 4.2–4.4 Reminders: Assignment 3 due Friday, March 13 (by 17:00) Midterm, Marked Assignment 2 available in tutorials — solutions posted to Sample Solutions area of the course WebCT site Lab 6 week of March 9–13 READ the WebCT Vista course announcements board CPSC 121: Models of Computation
Principle of Mathematical Induction As a rule of inference, we write P ( 1 ) k Z + P ( k ) P ( k + 1 ) n Z + P ( n ) As a tautology, we write [ P ( 1 ) ∧∀ k Z + ( P ( k ) P ( k + 1 ))] → ∀ n Z + P ( n ) CPSC 121: Models of Computation

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

View Full Document
Principle of Strong Mathematical Induction As a rule of inference, we write P ( 1 ) k Z + ( P ( 1 ) P ( 2 ) . . . P
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 7

0306-slides - CPSC 121 Models of Computation Instructor Bob...

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

View Full Document
Ask a homework question - tutors are online