Questions marquées «metric-spaces»

Théorèmes de point fixe pour les espaces métriques constructifs?

Le théorème du point fixe de Banach dit que si nous avons un espace métrique complet non vide , alors toute fonction uniformément contractive a un point fixe unique . Cependant, la preuve de ce théorème nécessite l'axiome de choix - nous devons choisir un élément arbitraire a \ dans …

15 reference-request lo.logic pl.programming-languages denotational-semantics metric-spaces

Calculer le polytope de dimension la plus basse à partir d'un ensemble donné de vecteurs de signe

Etant donné un ensemble d'hyperplans déterminé par les vecteurs normaux , ses types de cellules (ou vecteurs de signe) sont tous des vecteurs t ∈ { + , - } m pour lesquels il existe un vecteur v ∈ R d de sorte que ⟨ v , h i ⟩ …

11 co.combinatorics cg.comp-geom computational-geometry metric-spaces

La sémantique métrique d'Escardó pour les délais d'expiration PCF + est-elle entièrement abstraite?

Dans son document d'atelier de 1999 "Un modèle métrique du PCF" , Martín Escardó a montré qu'il est possible de donner une interprétation simple du PCF dans la catégorie des espaces ultramétriques complets et des cartes non expansives. Il a montré que ce modèle était adéquat et qu'il pouvait modéliser …

11 pl.programming-languages denotational-semantics metric-spaces

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.