3ª Hora Mathematics for computer science

https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/video-lectures/lecture-2-induction/

En esta hora he acabado de visualizar y tomar apuntes del segundo
vídeo del tema, en donde he estudiado las pruebas lógicas por
inducción en cuatro casos diferentes. Para la suma de gauss, para
demostrar que (n^3-n) es múltiplo de 3, para demostrar que en
cualquier grupo de n caballos todos tienen el mismo color, y para
rellenar un área 2^n * 2^n con placas en forma de L 2*2 dejando
siempre un bloque libre. A parte, para acabar de completar la hora, he
hecho algunos ejercicios propuestos en el open curse.