Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Leonid Levin et Théorie de la complexité (informatique théorique)

Raccourcis: Différences, Similitudes, Jaccard similarité Coefficient, Références.

Différence entre Leonid Levin et Théorie de la complexité (informatique théorique)

Leonid Levin vs. Théorie de la complexité (informatique théorique)

Leonid Anatolievich Levin (Леонид Анатольевич Левин, né le à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée…) requis par un algorithme pour résoudre un problème algorithmique.

Similitudes entre Leonid Levin et Théorie de la complexité (informatique théorique)

Leonid Levin et Théorie de la complexité (informatique théorique) ont 7 choses en commun (em Unionpédia): Informatique, Machine de Turing, Problèmes du prix du millénaire, Stephen Cook, Théorème de Cook, Théorie de l'information, Théorie de la calculabilité.

Informatique

bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.

Informatique et Leonid Levin · Informatique et Théorie de la complexité (informatique théorique) · 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.

Leonid Levin et Machine de Turing · Machine de Turing et Théorie de la complexité (informatique théorique) · Voir plus »

Problèmes du prix du millénaire

Les problèmes du prix du millénaire sont un ensemble de sept défis mathématiques réputés insurmontables, posés par l'Institut de mathématiques Clay en.

Leonid Levin et Problèmes du prix du millénaire · Problèmes du prix du millénaire et Théorie de la complexité (informatique théorique) · Voir plus »

Stephen Cook

Stephen Arthur Cook (né en 1939 à Buffalo dans l'État de New York) est un informaticien et mathématicien américano-canadien, qui a apporté plusieurs contributions majeures à la théorie de la complexité.

Leonid Levin et Stephen Cook · Stephen Cook et Théorie de la complexité (informatique théorique) · Voir plus »

Théorème de Cook

En informatique théorique, plus précisément en théorie de la complexité, le théorème de Cook aussi appelé théorème de Cook-Levin est le théorème qui affirme que le problème SAT, c'est-à-dire le problème de satisfaisabilité d'une formule de la logique propositionnelle, est NP-complet.

Leonid Levin et Théorème de Cook · Théorème de Cook et Théorie de la complexité (informatique théorique) · Voir plus »

Théorie de l'information

La théorie de l'information, sans précision, est le nom usuel désignant la théorie de l'information de Shannon, qui est une théorie utilisant les probabilités pour quantifier le contenu moyen en information d'un ensemble de messages, dont le codage informatique satisfait une distribution statistique que l'on pense connaître.

Leonid Levin et Théorie de l'information · Théorie de l'information et Théorie de la complexité (informatique théorique) · 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.

Leonid Levin et Théorie de la calculabilité · Théorie de la calculabilité et Théorie de la complexité (informatique théorique) · Voir plus »

La liste ci-dessus répond aux questions suivantes

Comparaison entre Leonid Levin et Théorie de la complexité (informatique théorique)

Leonid Levin a 30 relations, tout en Théorie de la complexité (informatique théorique) a 72. Comme ils ont en commun 7, l'indice de Jaccard est 6.86% = 7 / (30 + 72).

Références

Cet article montre la relation entre Leonid Levin et Théorie de la complexité (informatique théorique). Pour accéder à chaque article à partir de laquelle l'information a été extraite, s'il vous plaît visitez:

Hey! Nous sommes sur Facebook maintenant! »