PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
ciclos
3 artículos con esta etiqueta.
01 oct 2026
2026-09-01 ProgAv - Verificación de condicionales y ciclos por inducción
clase
programacion-avanzada
verificacion-formal
logica-de-hoare
induccion
invariantes
ciclos
26 sept 2026
Función variante
concepto
programacion
logica-de-hoare
terminacion
ciclos
26 sept 2026
Inducción matemática aplicada a ciclos
concepto
programacion
verificacion-formal
induccion
ciclos