PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
induccion
7 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
27 sept 2026
2026-09-03 ProgAv - Función 91 de McCarthy, inducción modificada y función de Ackermann
clase
programacion-avanzada
recursion
induccion
verificacion-formal
logica-de-hoare
26 sept 2026
Función 91 de McCarthy
concepto
programacion
recursion
induccion
verificacion-formal
26 sept 2026
Función de Ackermann
concepto
programacion
recursion
induccion
verificacion-formal
26 sept 2026
Inducción matemática aplicada a ciclos
concepto
programacion
verificacion-formal
induccion
ciclos
26 sept 2026
Principio de inducción matemática modificado
concepto
programacion
induccion
recursion
verificacion-formal
26 sept 2026
2026-09-01 ADA - Induccion_algoritmos
clase
algoritmos
induccion
invariantes
correccion