PFH: La semana en Exercitium (2 de septiembre de 2022)
Esta semana he publicado en Exercitium las soluciones de los siguientes problemas:
A continuación se muestran las soluciones.
Read More “PFH: La semana en Exercitium (2 de septiembre de 2022)”
DAO: La semana en Calculemus (28 de agosto de 2022)
Esta semana he publicado en Calculemus las demostraciones con Lean de las siguientes propiedades:
- 1. Si a, b, c ∈ ℝ, entonces (a * b) * c = b * (a * c)
- 2. Si a, b, c, d, e, f ∈ ℝ tales que a * b = c * d y e = f entonces, a * (b * e) = c * (d * f)
- 3. Si a, b ∈ ℝ, entonces (a + b) * (a + b) = a * a + 2 * (a * b) + b * b
- 4. Si a, b, c, d ∈ ℝ , entonces (a + b) * (c + d) = a * c + a * d + b * c + b * d
- 5. Si a, b ∈ ℝ, entonces (a + b) * (a – b) = a^2 – b^2
A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (28 de agosto de 2022)”
PFH: La semana en Exercitium (26 de agosto de 2022)
Esta semana he publicado en Exercitium las soluciones de los siguientes problemas:
- 1. Interior de una lista
- 2. Elementos finales
- 3. Segmento de una lista
- 4. Primeros y últimos elementos
- 5. Elemento mediano
A continuación se muestran las soluciones.
Read More “PFH: La semana en Exercitium (26 de agosto de 2022)”
PFH: La semana en Exercitium (19 de agosto de 2022)
Esta semana he publicado en Exercitium las soluciones de los siguientes problemas:
- 1. Máximo de tres números
- 2. El primero al final
- 3. Los primeros al final
- 4. Rango de una lista
- 5. Reconocimiento de palíndromos
A continuación se muestran las soluciones.
Read More “PFH: La semana en Exercitium (19 de agosto de 2022)”
PFH: La semana en Exercitium (12 de agosto de 2022)
Esta semana he publicado en Exercitium las soluciones de los siguientes problemas:
- 1. Media aritmética de tres números
- 2. Suma de monedas
- 3. Volumen de la esfera
- 4. Área de la corona circular
- 5. Último dígito
A continuación se muestran las soluciones.
Read More “PFH: La semana en Exercitium (12 de agosto de 2022)”