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 5 (el contenido era: «<pre lang="isabelle"> chapter ‹R5: Recorridos de árboles› theory R5_Recorridos_de_arboles imports Main begin text ‹------------------------------------------------------------------ Ejercicio 1. Definir el tipo de datos arbol para representar los árboles binarios que tiene información en los nodos y en las hojas. Por ejemplo, el árbol e / \ / \ c g / \ / \ a d f h se representa por "N e (N…»)