contenidosexcluyentes:algo1
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
| contenidosexcluyentes:algo1 [2005/09/19 14:24] – 170.210.248.4 | contenidosexcluyentes:algo1 [2025/11/15 13:47] (actual) – editor externo 127.0.0.1 | ||
|---|---|---|---|
| Línea 17: | Línea 17: | ||
| * Derivación a la Dijkstra (búsqueda de invariantes). | * Derivación a la Dijkstra (búsqueda de invariantes). | ||
| * Derivación a partir de funciones recursivas finales. | * Derivación a partir de funciones recursivas finales. | ||
| - | |||
| ==== Laboratorio ==== | ==== Laboratorio ==== | ||
| Línea 23: | Línea 22: | ||
| === Linux === | === Linux === | ||
| - | Todo lo escrito en el [[http:// | + | Todo lo escrito en el [[http:// |
| === Programación Funcional === | === Programación Funcional === | ||
| Línea 34: | Línea 33: | ||
| * Definiciones locales. | * Definiciones locales. | ||
| * Tipos aritméticos, | * Tipos aritméticos, | ||
| - | * creacion | + | * Creacion |
| * Definición de operadores. | * Definición de operadores. | ||
| + | === Programación Imperativa === | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
contenidosexcluyentes/algo1.1127150685.txt.gz · Última modificación: (editor externo)
