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

Informatique et Problème de l'arrêt

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

Différence entre Informatique et Problème de l'arrêt

Informatique vs. Problème de l'arrêt

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. L'animation illustre une machine impossible: il n'y a pas de machine qui lit n'importe quel code source d'un programme et dit si son exécution termine ou non. En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique, et d'une entrée, si le programme s'arrête avec cette entrée ou non.

Similitudes entre Informatique et Problème de l'arrêt

Informatique et Problème de l'arrêt ont 7 choses en commun (em Unionpédia): Alan Turing, Décidabilité, Informatique théorique, Machine de Turing, Polynôme, Programme informatique, 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 · Alan Turing et Problème de l'arrêt · Voir plus »

Décidabilité

En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.

Décidabilité et Informatique · Décidabilité et Problème de l'arrêt · 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.

Informatique et Informatique théorique · Informatique théorique et Problème de l'arrêt · 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 et Machine de Turing · Machine de Turing et Problème de l'arrêt · Voir plus »

Polynôme

Courbe représentative d'une fonction cubique. En mathématiques, un polynôme est une expression formée uniquement de produits et de sommes de constantes et d'indéterminées (aussi appelées variables), habituellement notées X, Y, Z, etc.

Informatique et Polynôme · Polynôme et Problème de l'arrêt · Voir plus »

Programme informatique

Un programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur.

Informatique et Programme informatique · Problème de l'arrêt et Programme informatique · 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 et Théorie de la calculabilité · Problème de l'arrêt et Théorie de la calculabilité · Voir plus »

La liste ci-dessus répond aux questions suivantes

Comparaison entre Informatique et Problème de l'arrêt

Informatique a 533 relations, tout en Problème de l'arrêt a 29. Comme ils ont en commun 7, l'indice de Jaccard est 1.25% = 7 / (533 + 29).

Références

Cet article montre la relation entre Informatique et Problème de l'arrêt. 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! »