21127 Lecture Notes - Lecture 5: Domino Tiling, Subset, Natural Number
Document Summary
Homework 1 will be returned on tuesday, in recitation. Homework 2 has been posted, and is due next thursday, in recitation. Let"s summarize some of our work on inductive arguments, explain what we"ve accomplished so far, and think about where we"re going. We should all be comfortable with the idea of an inductive argument. When we want to prove some fact that depends on an integer (usually, just a natural number, even), as well as some previous instance of that fact, we can explain this via an inductive argument. We can explain the rst case (or several cases, if need be), and then use a general variable to express the relationship of some instance of the fact to previous cases. Between these two arguments, as long as they are put together appropriately, we can show that the fact holds true for all of the instances that makes sense .