Informatique théorique equivalence

3

Quand peut-on dire que deux programmes sont différents?

Q1. Quand peut-on dire que deux programmes (écrits dans certains langages de programmation comme C ++) sont différents? Le premier extrême est de dire que deux programmes sont équivalents s'ils sont identiques. L'autre extrême est de dire que deux programmes sont équivalents s'ils calculent la même fonction (ou montrent le …

15 pl.programming-languages semantics equivalence

1

Relier l'univalence d'une théorie des catéogries au concept de squelette

Disons que je travaille dans la théorie des types d'homotopie et que mes seuls objets d'étude sont des catégories conventionnelles. Equivalences ici sont donnés par foncteurs et G : C ⟶ D qui fournissent des équivalences de catégories C ≃ D . Il existe des isomorphismes naturels α : n …

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

2

Isomorphisme graphique avec relation d'équivalence sur l'ensemble de sommets

Un graphique coloré peut être décrit comme un tuple (G,c)(G,c)(G,c) où GGG est un graphique et c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} est la coloration. On dit que deux graphes colorés (G,c)(G,c)(G,c) et (H,d)(H,d)(H,d) sont isomorphes s'il existe un isomorphisme π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) tel que la coloration est respectée, …

9 terminology graph-isomorphism equivalence

Questions marquées «equivalence»