explicacion-computable-decidible-y-enumerable-bloque-3-tema-7-7.2.pdf