10 résultats : machine de Turing

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
10 résultats
page 1 sur 1
résultats 1 à 10
UNIT
Description : Essayons de montrer concrètement comment marche une machine abstraite ! Nous vous proposons de tester sur une applet le fonctionnement d’une machine de Turing.
Mots clés : algorithme, codage binaire, programme informatique, opération numérique, machine de Turing, fuscia
Date : 08-01-2009
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Dans les années 30, Alan Turing a inventé une machine abstraite et expliquer la notion de « procédure mécanique » : on parle d'algorithme. Cette machine est la plus élémentaire possible destinée à faire agir des mécanismes de calcul, numériques ou symboliques, comme le font notamment les ordinat ...
Mots clés : machine de Turing, algorithme, calcul binaire, procédure mécanique, programme, mémoire mécanique, applet
Date : 29-01-2009
Droits : Ce document est publié sous licence Creative Commons Paternité - Pas d'Utilisation Commerciale - Pas de Modification 2.0 http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Canal-U
Description : Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses variantes physique, ou effective) stipule que tous ...
Mots clés : calculabilité, complexité, informatique théorique, modèle de calcul analogique, machine de turing
Date : 15-03-2012
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Description : Explorer les relations mathématiques entre les phénomènes observés chez des êtres vivants et des machines, c’est là l’une des possibilités offertes par les automates cellulaires.
Mots clés : machine de Turing, thèse de Church, jeu de la vie, règle de majorité, compteur de parité, fuscia
Date : 02-04-2007
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Peut-on tout calculer ? Toute propriété mathématique est-elle décidable ? Ces questions ont passionné les mathématiciens bien avant les premiers ordinateurs.
Mots clés : calculabilité, thèse de Church, machine de Turing, problème de la décision, fuscia
Date : 19-02-2004
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Alan Turing a non seulement défini l’objet d’étude de l’informatique, le calcul, mais aussi révolutionné notre rapport aux machines...
Mots clés : Histoire de l'Informatique, Alan Turing, calcul automatique, machine de Turing, ordinateur, fuscia
Date : 27-07-2012
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Il faut attendre le vingtième siècle pour que l’on puisse répondre clairement à la question de savoir ce qu’est un calcul et donc ce qu’est un calculateur et ce qui peut être calculé.
Mots clés : calculabilité, machine de Turing, fonction, algorithme, thèse de Church, histoire de l'informatique, fuscia
Date : 10-04-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Alan Turing a contribué à l’informatique sur un plan conceptuel puis en participant concrètement à la réalisation des premiers ordinateurs.
Mots clés : Histoire de l'Informatique, Alan Turing, calcul automatique, machine de Turing, ordinateur, fuscia
Date : 27-07-2012
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : L’ordinateur résout toutes sortes de problèmes n’ayant aucun lien apparent entre eux. Comment, à travers les siècles, s’est développé le principe à partir duquel a pu être imaginée une telle machine universelle ?
Mots clés : ordinateur, logique mathématique, théorie des ensembles, machine de Turing, problème de la décision, histoire de l'informatique, fuscia
Date : 06-02-2006
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Les algorithmes permettent de mécaniser calculs et traitements. Ils sont à la base du moindre programme où se combinent leurs ingrédients. Leur étude révèle les potentiels et les limites de l’informatique.
Mots clés : algorithme, machine de Turing, calculabilité, thèse de Church, complexité, fuscia
Date : 27-11-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode