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 3 (el contenido era: «<source lang=isabelle> chapter ‹R3: Razonamiento estructurado sobre programas› theory R3_Razonamiento_estructurado_sobre_programas imports Main begin 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 ------------------------------------------------------------…»)