Ingeniería de software, Crisis del software, Ciclo del software - [Detalles]
Ciclo del software – Explicación de las etapas del ciclo de software.
Correctez en programas recursivos, Técnica del invariante de ciclo - [Detalles]
Técnica del invariante de ciclo - Diseño y demostración de un algoritmo iterativo mediante la técnica del invariante de ciclo.
Arquitectura de Von Neumman y el ciclo de acarreo; - [Detalles]
2.1 Arquitectura de Von Neumman y el ciclo de acarreo - ¿Qué es la arquitectura de Von Neumman? ¿Para qué sirve? y ¿Cómo funciona? Breve presentación de quién fue Neumann y sus contribuciones a la Ciencia y a las Ciencias de la Computación.
Álgebra Moderna I: Permutaciones y Grupo Simétrico - [Detalles]
En primera instancia tenemos que definir lo que es una permutación de un conjunto X. Posteriormente podremos construir el concepto de Grupo Simétrico y la definición de un r-ciclo.
Arquitectura de Von Neumman y el ciclo de acarreo; Lenguaje de máquina, ensamblador y diagramas de flujo - [Detalles]
2.2 Lenguaje de máquina, ensamblador y diagramas de flujo - Continuación de la arquitectura además de conceptos como lenguaje de máquina, lenguaje ensamblador y diagramas de flujo, que serán útiles toda la carrera.
Caminos, paseos y trayectorias - [Detalles]
Definimos camino, paseo y trayectoria, así como camino cerrado, circuito y ciclo. Probamos que todo u-v camino contiene una u-v trayectoria.
Teoría de Gráficas - Cuestionario 1 - [Detalles]
Antes de contestar este cuestionario se recomienda ver los videos 1, 2 y 3 del curso. Los conceptos que requieres saber son: ¿Qué es una gráfica? ¿Qué significa que dos gráficas sean isomorfas? Orden y Tamaño de una gráfica. Algunas familias especiales: gráfica completa K_n; ciclo C_n; trayectoria P_n; estrella S_n. Conceptos no totalmente formales: Gráfica conexa, árboles, gráficas planares. La gráfica complemento. La gráfica complemento de una gráfica dada. Operaciones: union disjunta; suma de Zykov; quitar un vértice o una arista. Subgráficas, subgráficas inducidas, y subgráficas generadoras.
Correctez en programas recursivos, Correctez de un algoritmo iterativo - [Detalles]
Correctez de un algoritmo iterativo - Seguimiento de la técnica del invariante del ciclo y demostración de correctez en un algoritmo iterativo.