6.042 Lecture 10 -- More Induction
14:32:20	Logic of induction
14:35:32	Proving a conditional
14:39:52	Nested conditionals
14:44:10	Peano's postulates
15:00:00	Notation
15:07:18	Addition 
15:14:30	Demo: Josephus problem
15:24:26	Recurrence equation
15:40:00	Induction proof
15:54:06	End of lecture