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!
 

Stephen Cole Kleene et Théorie de la complexité (informatique théorique)

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

Différence entre Stephen Cole Kleene et Théorie de la complexité (informatique théorique)

Stephen Cole Kleene vs. Théorie de la complexité (informatique théorique)

Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien 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 Stephen Cole Kleene et Théorie de la complexité (informatique théorique)

Stephen Cole Kleene et Théorie de la complexité (informatique théorique) ont 7 choses en commun (em Unionpédia): Alan Turing, Fonction récursive, Hiérarchie arithmétique, Informatique, Lambda-calcul, Mathématiques, 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 Stephen Cole Kleene · Alan Turing et Théorie de la complexité (informatique théorique) · Voir plus »

Fonction récursive

En informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini.

Fonction récursive et Stephen Cole Kleene · Fonction récursive et Théorie de la complexité (informatique théorique) · Voir plus »

Hiérarchie arithmétique

Theory of Computation'', Springer 2006.. En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Stephen Cole Kleene, est une hiérarchie des sous-ensembles de l'ensemble N des entiers naturels définissables dans le langage du premier ordre de l'arithmétique de Peano.

Hiérarchie arithmétique et Stephen Cole Kleene · Hiérarchie arithmétique 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 Stephen Cole Kleene · 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.

Lambda-calcul et Stephen Cole Kleene · Lambda-calcul 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.

Mathématiques et Stephen Cole Kleene · Mathématiques 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.

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

Stephen Cole Kleene a 66 relations, tout en Théorie de la complexité (informatique théorique) a 72. Comme ils ont en commun 7, l'indice de Jaccard est 5.07% = 7 / (66 + 72).

Références

Cet article montre la relation entre Stephen Cole Kleene 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! »