Todos los registros públicos

Vista combinada de todos los registros de Razonamiento automático (2019-20). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 13:57 26 jul 2021 Jalonso discusión contribs. borró la página Relación 2 (el contenido era: «<source lang="isabelle"> chapter ‹R2: Razonamiento sobre programas en Isabelle/HOL› theory R2_Razonamiento_sobre_programas imports Main begin declare names_short text ‹--------------------------------------------------------------- Ejercicio 1.1. Definir la función sumaImpares :: nat ⇒ nat tal que (sumaImpares n) es la suma de los n primeros números impares. Por ejemplo, sumaImpares 5 = 25 -------------------------------------------…»)