PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
correccion
6 artículos con esta etiqueta.
26 sept 2026
Corrección parcial y corrección total
concepto
programacion
correccion
terminacion
logica-de-hoare
26 sept 2026
Invariante de ciclo
concepto
algoritmos
correccion
26 sept 2026
Terminación de un algoritmo
concepto
algoritmos
correccion
26 sept 2026
Validez de un algoritmo
concepto
algoritmos
correccion
26 sept 2026
Verificación formal de programas
concepto
programacion
verificacion-formal
correccion
26 sept 2026
2026-09-01 ADA - Induccion_algoritmos
clase
algoritmos
induccion
invariantes
correccion