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 17:24] – 170.210.248.4 | contenidosexcluyentes:algo1 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1 | ||
---|---|---|---|
Línea 8: | Línea 8: | ||
==== Teórico ==== | ==== Teórico ==== | ||
- | La materia tiene un [[http://http:// | + | La materia tiene un [[http:// |
Todos los contenidos del apunte se dan menos el capitulo 16 (Conjuntos y Listas). Esto incluye: | Todos los contenidos del apunte se dan menos el capitulo 16 (Conjuntos y Listas). Esto incluye: | ||
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://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.1127150640.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)