Preguntas etiquetadas con equivalence

Q1. ¿Cuándo podemos decir que dos programas (escritos en algún lenguaje de programación como C ++) son diferentes? El primer extremo es decir que dos programas son equivalentes si son idénticos. El otro extremo es decir que dos programas son equivalentes si calculan la misma función (o muestran el mismo …

15 pl.programming-languages  semantics  equivalence 

Digamos que trabajo en la teoría del tipo de homotopía y mis únicos objetos de estudio son categorías convencionales. Las equivalencias aquí son dadas por los functores y que proporcionan equivalencias de las categorías . Existen isomorfismos naturales y para que este functor y functor "inverso" se transforman en unidad …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

Un gráfico coloreado se puede describir como tupla donde es un gráfico y es el color. Se dice que dos gráficos coloreados y son isomórficos si existe un isomorfismo modo que se obedece el color, es decir, para todos .G c : V ( G ) → N ( G …

9 terminology  graph-isomorphism  equivalence