Accès plus rapide que le navigateur!
43 relations: Alan Turing, Algorithmique, Alphabet, École normale supérieure de Lyon, Éditions Cépaduès, Benedict Cumberbatch, Bernard Chazelle, Bibliothèque nationale de France, Calculatrice mécanique, Christos Papadimitriou, Dover Publications, Emil Post, Ensemble fini, Expérience de pensée, Fonction constructible, Fonction récursive, Imitation Game, Informatique théorique, Jean Largeault, Jean-Yves Girard, Langage récursif, Le Monde, Lego, Machine de Blum-Shub-Smale, Machine de Turing alternante, Machine de Turing non déterministe, Machine de Turing probabiliste, Machine de Turing symétrique, Magenta (couleur), Oracle (machine de Turing), Ordinateur, Out of memory, Prentice Hall, Problème de la décision, Récursivement énumérable, Simulation informatique, Stephen Cole Kleene, Symbole, Thèse de Church, Théorie de la calculabilité, Théorie de la complexité (informatique théorique), Turing-complet, Vuibert.
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.
Nouveau!!: Machine de Turing et Alan Turing · Voir plus »
Algorithmique
Organigramme de programmation représentant l'algorithme d'Euclide. Lalgorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un problème algorithmique.
Nouveau!!: Machine de Turing et Algorithmique · Voir plus »
Alphabet
Lettres de l'alphabet phénicien. Un alphabet (de alpha et bêta, les deux premières lettres de l’alphabet grec) est un système d'écriture constitué d'un ensemble de symboles dont chacun représente, par exemple, un des phonèmes d’une langue.
Nouveau!!: Machine de Turing et Alphabet · Voir plus »
École normale supérieure de Lyon
L'École normale supérieure de Lyon (ou ENS de Lyon) est une grande école scientifique et littéraire française, l'une des quatre écoles normales supérieures.
Nouveau!!: Machine de Turing et École normale supérieure de Lyon · Voir plus »
Éditions Cépaduès
Cépaduès est une maison d'édition située à Toulouse dont l'activité principale est la production et la diffusion de livres et didacticiels scientifiques et techniques.
Nouveau!!: Machine de Turing et Éditions Cépaduès · Voir plus »
Benedict Cumberbatch
Benedict Cumberbatch, né le à Hammersmith (Londres), est un acteur et producteur britannique.
Nouveau!!: Machine de Turing et Benedict Cumberbatch · Voir plus »
Bernard Chazelle
Bernard Chazelle, né le à Clamart, est un mathématicien et informaticien franco-américain, professeur à l'université de Princeton.
Nouveau!!: Machine de Turing et Bernard Chazelle · Voir plus »
Bibliothèque nationale de France
La Bibliothèque nationale de France (BnF), ainsi dénommée depuis 1994, est la bibliothèque nationale de la République française, inaugurée sous cette nouvelle appellation le par le président de la République, François Mitterrand.
Nouveau!!: Machine de Turing et Bibliothèque nationale de France · Voir plus »
Calculatrice mécanique
Exemple de calculatrice mécanique: la ''Divisumma 24'' d'Olivetti, datant de 1964. Le capot est retiré afin de faire ressortir le mécanisme de la machine. Les moteurs électriques sont à l’arrière Une calculatrice mécanique, appelée selon l'époque machine à calculer ou machine arithmétique, est une machine conçue pour simplifier et fiabiliser des opérations de calculs, et dont le fonctionnement est principalement mécanique.
Nouveau!!: Machine de Turing et Calculatrice mécanique · Voir plus »
Christos Papadimitriou
Christos Harilaos Papadimitriou (en Χρήστος Χαρίλαος Παπαδημητρίου), né le à Athènes, est un professeur et chercheur en informatique grec.
Nouveau!!: Machine de Turing et Christos Papadimitriou · Voir plus »
Dover Publications
Dover Publications est une maison d'édition américaine fondée en 1941 par Hayward Cirker et sa femme, Blanche.
Nouveau!!: Machine de Turing et Dover Publications · Voir plus »
Emil Post
Emil Leon Post (né le à Augustów et mort le à New York) est un mathématicien américain né sur le territoire de l'actuelle Pologne dans une famille juive.
Nouveau!!: Machine de Turing et Emil Post · Voir plus »
Ensemble fini
En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier.
Nouveau!!: Machine de Turing et Ensemble fini · Voir plus »
Expérience de pensée
Une expérience de pensée, expérience par la pensée, expérience mentale ou expérience en imagination, est une méthode qui permet de résoudre un problème en utilisant la seule puissance de l'imagination humaine.
Nouveau!!: Machine de Turing et Expérience de pensée · Voir plus »
Fonction constructible
En théorie de la complexité, une fonction constructible en temps est une fonction f des entiers naturels vers les entiers naturels, avec la propriété que f(n) peut être calculée à partir de n par une machine de Turing qui se termine en un temps du même ordre de grandeur que f(n).
Nouveau!!: Machine de Turing et Fonction constructible · 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.
Nouveau!!: Machine de Turing et Fonction récursive · Voir plus »
Imitation Game
Imitation Game ou Le Jeu de l'Imitation au Québec (The Imitation Game) est un film biographique américain réalisé par Morten Tyldum, sorti en 2014.
Nouveau!!: Machine de Turing et Imitation Game · 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 Turing et Informatique théorique · Voir plus »
Jean Largeault
Jean Largeault (né le au Mans et mort le à Créteil) est un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste.
Nouveau!!: Machine de Turing et Jean Largeault · Voir plus »
Jean-Yves Girard
Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS (émérite) au département de logique de la programmation de l'institut de mathématiques de Luminy (devenu l'Institut de Mathématiques de Marseille depuis le). Il a reçu la médaille d'argent du CNRS en 1983.
Nouveau!!: Machine de Turing et Jean-Yves Girard · Voir plus »
Langage récursif
En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable.
Nouveau!!: Machine de Turing et Langage récursif · Voir plus »
Le Monde
Le Monde est un journal français fondé par Hubert Beuve-Méry en 1944.
Nouveau!!: Machine de Turing et Le Monde · Voir plus »
Lego
Lego, stylisé en LEGO, est une gamme de jouets de construction fabriqués par le groupe danois The Lego Group.
Nouveau!!: Machine de Turing et Lego · Voir plus »
Machine de Blum-Shub-Smale
Une machine de Blum-Shub-Smale (ou machine BSS ou) est un modèle de calcul utilisé en informatique théorique.
Nouveau!!: Machine de Turing et Machine de Blum-Shub-Smale · Voir plus »
Machine de Turing alternante
En informatique théorique, et notamment en théorie de la complexité, les machines de Turing alternantes sont une généralisation des machines de Turing non déterministes.
Nouveau!!: Machine de Turing et Machine de Turing alternante · Voir plus »
Machine de Turing non déterministe
Une machine de Turing non déterministe est similaire à une machine de Turing habituelle, qui, elle, est déterministe, mais s'en différencie dans le fait qu'étant non déterministe elle peut avoir plusieurs transitions activables, pour un état donné.
Nouveau!!: Machine de Turing et Machine de Turing non déterministe · Voir plus »
Machine de Turing probabiliste
En théorie de la complexité, une machine de Turing probabiliste (ou randomisée) est une machine de Turing qui peut utiliser du hasard.
Nouveau!!: Machine de Turing et Machine de Turing probabiliste · Voir plus »
Machine de Turing symétrique
En informatique théorique, une machine de Turing symétrique est une machine de Turing dont le graphe des configurations est non-orienté, c'est-à-dire qu'il est possible de passer d'une configuration A à une configuration B, si et seulement si l'opération inverse est possible.
Nouveau!!: Machine de Turing et Machine de Turing symétrique · Voir plus »
Magenta (couleur)
Échantillons de magenta. Le magenta est une couleur obtenue à l'origine par un colorant de synthèse d'aniline rouge violacé inventé en 1858, appelé fuchsine ou roséine.
Nouveau!!: Machine de Turing et Magenta (couleur) · Voir plus »
Oracle (machine de Turing)
Une machine de Turing avec oracle peut faire appel à une boîte noire (oracle). En théorie de la complexité ou de la calculabilité, les machines de Turing avec oracle sont une variante des machines de Turing disposant d'une boîte noire, un oracle, capable de résoudre un problème de décision en une seule opération élémentaire.
Nouveau!!: Machine de Turing et Oracle (machine de Turing) · Voir plus »
Ordinateur
Un ordinateur est un système de traitement de l'information programmable tel que défini par Alan Turing et qui fonctionne par la lecture séquentielle d'un ensemble d'instructions, organisées en programmes, qui lui font exécuter des opérations logiques et arithmétiques.
Nouveau!!: Machine de Turing et Ordinateur · Voir plus »
Out of memory
Copie d'écran d'un message Out of memory sur le système exécutant Linux Mint 9 (noyau 2.6.32) (OOM) (angl. mémoire insuffisante) est un état souvent indésirable du fonctionnement de l'ordinateur où aucune mémoire supplémentaire ne peut être allouée pour son utilisation par des programmes ou par le système d'exploitation.
Nouveau!!: Machine de Turing et Out of memory · Voir plus »
Prentice Hall
Prentice Hall est un éditeur majeur d'ouvrages universitaires et scolaires.
Nouveau!!: Machine de Turing et Prentice Hall · Voir plus »
Problème de la décision
En logique mathématique, on appelle problème de la décision ou, sous son nom d'origine en allemand, Entscheidungsproblem, le fait de déterminer de façon mécanique (par un algorithme) si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à-dire s'il se dérive dans un système de déduction sans autres axiomes que ceux de l'égalité (exemples: système à la Hilbert, calcul des séquents, déduction naturelle).
Nouveau!!: Machine de Turing et Problème de la décision · Voir plus »
Récursivement énumérable
En théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si.
Nouveau!!: Machine de Turing et Récursivement énumérable · Voir plus »
Simulation informatique
typhon Mawar produite par le Modèle météorologique Weather Research and Forecasting La simulation informatique ou numérique est l'exécution d'un programme informatique sur un ordinateur ou réseau en vue de simuler un phénomène physique réel et complexe (par exemple: la chute et les rebonds d’un corps sur un support mou, la résistance d’une plateforme pétrolière à la houle, la fatigue d’un matériau sous sollicitation vibratoire, l'usure d’un roulement à billes…).
Nouveau!!: Machine de Turing et Simulation informatique · Voir plus »
Stephen Cole Kleene
Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.
Nouveau!!: Machine de Turing et Stephen Cole Kleene · Voir plus »
Symbole
Un symbole peut être un objet, une image, un mot écrit, un son voire un être vivant, ou une marque particulière qui représente quelque chose d'autre par association, ressemblance ou convention.
Nouveau!!: Machine de Turing et Symbole · Voir plus »
Thèse de Church
La thèse de Church est une thèse concernant la définition de la notion de calculabilité.
Nouveau!!: Machine de Turing et Thèse de Church · 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 Turing et Théorie de la calculabilité · Voir plus »
Théorie de la complexité (informatique théorique)
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.
Nouveau!!: Machine de Turing et Théorie de la complexité (informatique théorique) · Voir plus »
Turing-complet
En informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing.
Nouveau!!: Machine de Turing et Turing-complet · Voir plus »
Vuibert
Vuibert, maison d’édition du groupe Albin Michel, publie par an dans des domaines riches et variés: management, gestion, efficacité professionnelle, préparation aux concours et aux examens, médecine et soins infirmiers mais aussi culture et société, histoire, sciences et nature, bien-être et santé….
Nouveau!!: Machine de Turing et Vuibert · Voir plus »
