Razonamiento Coinductivo

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un método para definir y razonar sobre estructuras o comportamientos potencialmente infinitos o circulares, caracterizándolos como puntos fijos máximos de operadores y probando propiedades mediante hipótesis coinductivas como bisimulaciones y observaciones.