PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
logica-de-hoare
18 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-08-25 ProgAv - Ternas de Hoare y demostración formal
clase
programacion-avanzada
verificacion-formal
logica-de-hoare
ternas-de-hoare
27 sept 2026
2026-08-27 ProgAv - Composición, invariantes y condicionales de Hoare
clase
programacion-avanzada
verificacion-formal
logica-de-hoare
invariantes
condicionales
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
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
27 sept 2026
Formulario de Lógica de Hoare - Q1
programacion-avanzada
logica-de-hoare
formulario
q1
27 sept 2026
Guía paso a paso - Lógica de Hoare
programacion-avanzada
logica-de-hoare
guia-estudio
paso-a-paso
26 sept 2026
Corrección parcial y corrección total
concepto
programacion
correccion
terminacion
logica-de-hoare
26 sept 2026
Fortaleza lógica de una aserción
concepto
logica
aserciones
logica-de-hoare
26 sept 2026
Función variante
concepto
programacion
logica-de-hoare
terminacion
ciclos
26 sept 2026
Invariante de programa
concepto
programacion
logica-de-hoare
invariantes
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