Hola.
Para el tema de inducción y recursión tienen disponible en la sección general Lenguajes, Pruebas y Funciones (12_MAR_2014).
Además de explicar los temas de inducción y recursión, hace un breve repaso explicativo de otros conceptos "previos" que son necesarios para llevar el curso.
Para todos los demás temas del curso, tienen en la misma sección el Libro del curso (Logic and Structure - Dirk van Dalen) (pueden descargarlo entero o por capítulos, trabajamos los capítulos del 2 al 4).
Ambos textos son muy recomendables, y obviamente más explicativos que las diapositivas, que son simplemente un punteo/resumen de los conceptos trabajados.
Saludos
Romina