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:56 26 jul 2021 Jalonso discusión contribs. borró la página Relación 10 (el contenido era: «<source lang="isabelle"> chapter ‹R10: Verificación de la ordenación por mezcla› theory R10_Verificacion_de_la_ordenacion_por_mezcla imports Main begin text ‹En esta relación de ejercicios se define el algoritmo de ordenación de listas por mezcla y se demuestra que es correcto.› section ‹Ordenación de listas› text ‹----------------------------------------------------------------- Ejercicio 1. Definir la función menor :: int ⇒ int list…»)