PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
recursion
5 artículos con esta etiqueta.
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
Backtracking
concepto
algoritmos
busqueda
recursion
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
Principio de inducción matemática modificado
concepto
programacion
induccion
recursion
verificacion-formal