PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
programacion
21 artículos con esta etiqueta.
27 sept 2026
Axioma de asignación de Hoare
concepto
programacion
logica-de-hoare
asignacion
27 sept 2026
Condición de verificación
concepto
programacion
logica-de-hoare
verificacion-formal
27 sept 2026
Precondición más débil
concepto
programacion
logica-de-hoare
verificacion-formal
26 sept 2026
Aserción de programa
concepto
programacion
logica
verificacion-formal
26 sept 2026
Backtracking en Prolog
concepto
programacion
prolog
backtracking
programacion-logica
26 sept 2026
Corrección parcial y corrección total
concepto
programacion
correccion
terminacion
logica-de-hoare
26 sept 2026
Corte (cut) en Prolog
concepto
programacion
prolog
backtracking
programacion-logica
26 sept 2026
Estado de programa
concepto
programacion
semantica
verificacion-formal
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
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
26 sept 2026
Invariante de programa
concepto
programacion
logica-de-hoare
invariantes
26 sept 2026
Negación como falla
concepto
programacion
prolog
logica
programacion-logica
26 sept 2026
Principio de inducción matemática modificado
concepto
programacion
induccion
recursion
verificacion-formal
26 sept 2026
Regla condicional de Hoare
concepto
programacion
logica-de-hoare
condicionales
26 sept 2026
Regla de composición de Hoare
concepto
programacion
logica-de-hoare
verificacion-formal
26 sept 2026
Regla de consecuencia de Hoare
concepto
programacion
logica-de-hoare
inferencia
26 sept 2026
Reglas de conjunción y disyunción de Hoare
concepto
programacion
logica-de-hoare
inferencia
26 sept 2026
Terna de Hoare
concepto
programacion
logica-de-hoare
verificacion-formal
26 sept 2026
Verificación formal de programas
concepto
programacion
verificacion-formal
correccion