Subscribe to the OCW Newsletter

Help| Contact Us

FIND COURSES
Topic

MIT Course Number

Department
New Courses

Most Visited Courses

OCW Scholar Courses

Audio/Video Lectures

Online Textbooks

Supplemental Resources

OCW Highlights for High School

MITx & Related OCW Courses

MIT Open Learning Library
Energy

Entrepreneurship

Environment

Introductory Programming

Life Sciences

Transportation
繁體字 / Traditional Chinese

Türkçe / Turkish

(비디오)한국 / Korean
For Educators
- Chalk Radio Podcast
- OCW Educator Portal
- Instructor Insights by Department
- Residential Digital Innovations
- OCW Highlights for High School
- Additional Resources
Give Now
About

Home » Courses » Electrical Engineering and Computer Science » Mathematics for Computer Science » Unit 1: Proofs » 1.8 Induction

1.8 Induction

Course Home
Syllabus
Readings
Lecture Slides
In-Class Questions
Assignments
Exams
Unit 1: Proofs
Unit 2: Structures
Unit 3: Counting
Unit 4: Probability
Resource Index
Download Course Materials

<Mapping Lemma: Sizes of Domains and Codomains
1.8.1Induction: Video
1.8.2Bogus Induction: Video
1.8.3Same Colored Horses
1.8.4Strong Induction: Video
1.8.5Unstacking Game Score
1.8.6WOP vs Induction: Video [optional]
1.8.7Strong vs Ordinary Induction vs WOP [optional]
1.8.8Induction by n+3
1.8.9Induction Rules
1.8.10Postage by Induction
1.8.11A Bogus Induction
>Bogus Induction: Video

Induction

> Download from iTunes U (MP4 - 31MB)

> Download from Internet Archive (MP4 - 31MB)

> Download English-US transcript (PDF)

> Download English-US caption (SRT)

BackMapping Lemma: Sizes of Domains and Codomains
ContinueBogus Induction: Video

Find Courses

Find by Topic
Find by Course Number
Find by Department
New Courses
Most Visited Courses
OCW Scholar Courses
Audio/Video Courses
Online Textbooks
Instructor Insights
Supplemental Resources
MITx & Related OCW Courses
MIT Open Learning Library
Translated Courses

For Educators

Chalk Radio Podcast
OCW Educator Portal
Instructor Insights by Department
Residential Digital Innovations
OCW Highlights for High School
Additional Resources

Give Now

Make a Donation
Why Give?
Our Supporters
Other Ways to Contribute
Become a Corporate Sponsor

About

About OpenCourseWare
Site Statistics
OCW Stories
Newsletter
Open Matters Blog

Tools

Help & FAQs
Contact Us
Accessibility
Site Map
Privacy & Terms of Use
RSS Feeds

Our Corporate Supporters

About MIT OpenCourseWare

MIT OpenCourseWare is an online publication of materials from over 2,500 MIT courses, freely sharing knowledge with learners and educators around the world. Learn more »

© 2001–2025
Massachusetts Institute of Technology

Your use of the MIT OpenCourseWare site and materials is subject to our Creative Commons License and other terms of use.