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!
 

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

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

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

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

Informatique théorique et Théorie de la complexité (informatique théorique) ont 15 choses en commun (em Unionpédia): Alan Turing, Automate cellulaire, Circuit booléen, Classe de complexité, Informatique, Lambda-calcul, Langage formel, Leonid Levin, Machine de Turing, Mathématiques, NP (complexité), P (complexité), Stephen Cook, Théorie de l'information, Théorie de la calculabilité.

Alan Turing

Alan Turing vers 1938. Alan Mathison Turing, né le à Londres et mort le à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique.

Alan Turing et Informatique théorique · Alan Turing et Théorie de la complexité (informatique théorique) · Voir plus »

Automate cellulaire

À gauche, une règle locale simple: une cellule passe d'un état (i) au suivant (i+1) dans le cycle d'états dès que i+1 est présent dans au moins 3 des 8 cellules voisines. À droite, le résultat (complexe) de l'application répétée de cette règle sur une grille de cellules. Ce type d'automates cellulaires a été découvert par D. Griffeath. Un automate cellulaire consiste en une grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps.

Automate cellulaire et Informatique théorique · Automate cellulaire et Théorie de la complexité (informatique théorique) · Voir plus »

Circuit booléen

Exemple circuit booléen à deux entrées et une sortie. Le circuit contient 3 portes logique. En théorie de la complexité, un circuit booléen est un modèle de calcul constitué de portes logiques (fonctions logiques) reliées entre elles.

Circuit booléen et Informatique théorique · Circuit booléen et Théorie de la complexité (informatique théorique) · Voir plus »

Classe de complexité

En informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource.

Classe de complexité et Informatique théorique · Classe de complexité et Théorie de la complexité (informatique théorique) · Voir plus »

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 Informatique théorique · Informatique et Théorie de la complexité (informatique théorique) · Voir plus »

Lambda-calcul

Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.

Informatique théorique et Lambda-calcul · Lambda-calcul et Théorie de la complexité (informatique théorique) · Voir plus »

Langage formel

Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.

Informatique théorique et Langage formel · Langage formel et Théorie de la complexité (informatique théorique) · Voir plus »

Leonid Levin

Leonid Anatolievich Levin (Леонид Анатольевич Левин, né le à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain.

Informatique théorique et Leonid Levin · Leonid Levin 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.

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

Mathématiques

Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.

Informatique théorique et Mathématiques · Mathématiques et Théorie de la complexité (informatique théorique) · Voir plus »

NP (complexité)

La classe NP est une classe très importante de la théorie de la complexité.

Informatique théorique et NP (complexité) · NP (complexité) et Théorie de la complexité (informatique théorique) · Voir plus »

P (complexité)

La classe P, aussi noté parfois PTIME ou DTIME(nO(1)), est une classe très importante de la théorie de la complexité, un domaine de l'informatique théorique et des mathématiques.

Informatique théorique et P (complexité) · P (complexité) 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é.

Informatique théorique et Stephen Cook · Stephen 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.

Informatique théorique 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.

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

Informatique théorique a 122 relations, tout en Théorie de la complexité (informatique théorique) a 72. Comme ils ont en commun 15, l'indice de Jaccard est 7.73% = 15 / (122 + 72).

Références

Cet article montre la relation entre Informatique théorique 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! »