Accès plus rapide que le navigateur!
10 relations: Hypercalcul, Informatique théorique, Lenore Blum, Machine de Turing, Michael Shub, Nombre réel, Problème NP-complet, Problème P ≟ NP, Stephen Smale, Théorie de la calculabilité.
Hypercalcul
Le terme hypercalcul désigne les différentes méthodes proposées pour le calcul de fonctions non-Turing-calculables.
Nouveau!!: Machine de Blum-Shub-Smale et Hypercalcul · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Machine de Blum-Shub-Smale et Informatique théorique · Voir plus »
Lenore Blum
Lenore Blum, née le à New York, est une mathématicienne américaine, dont les recherches portent entre autres sur la théorie des modèles, les corps différentiels et la complexité de calcul avec des nombres réels (machine BSS), se spécialisant dans la concorde de domaines qui ne semblent pas préalablement liés.
Nouveau!!: Machine de Blum-Shub-Smale et Lenore Blum · Voir plus »
Machine de Turing
En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Nouveau!!: Machine de Blum-Shub-Smale et Machine de Turing · Voir plus »
Michael Shub
Michael Ira Shub (connu également comme Mike Shub), né le à Brooklyn, est un mathématicien américain.
Nouveau!!: Machine de Blum-Shub-Smale et Michael Shub · Voir plus »
Nombre réel
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entièreCette partie entière par troncature, désignant les chiffres « à gauche de la virgule » ne correspond pas forcément à la partie entière par défaut: dans le cas d’un nombre réel négatif comme, la partie entière par défaut vaut.
Nouveau!!: Machine de Blum-Shub-Smale et Nombre réel · Voir plus »
Problème NP-complet
En théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes.
Nouveau!!: Machine de Blum-Shub-Smale et Problème NP-complet · Voir plus »
Problème P ≟ NP
Représentation visuelle des deux configurations possibles. Le problème est une conjecture en mathématiques, et plus précisément en informatique théorique, considérée par de nombreux chercheurs comme une des plus importantes conjectures du domaine, et même des mathématiques en général.
Nouveau!!: Machine de Blum-Shub-Smale et Problème P ≟ NP · Voir plus »
Stephen Smale
Stephen Smale (né le à Flint dans le Michigan) est un mathématicien américain, lauréat de la médaille Fields en 1966, récompensé pour ses remarquables travaux en topologie différentielle.
Nouveau!!: Machine de Blum-Shub-Smale et Stephen Smale · Voir plus »
Théorie de la calculabilité
La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique.
Nouveau!!: Machine de Blum-Shub-Smale et Théorie de la calculabilité · Voir plus »
