10 ressources en auto-formation : machine de turing

FILTRES

10 résultats
page 1 sur 1
Résultats de 1 à 10
Présentation de la ressource en auto-formation À la découverte des automates cellulaires cours / présentation, démonstration
16/04/2007
À la découverte des automates cellulaires
Auteur(s) : Fatès Nazim
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.
Présentation de la ressource en auto-formation Alan Turing : du calculable à l’indécidable cours / présentation, démonstration
19/02/2004
Alan Turing : du calculable à l’indécidable
Auteur(s) : Ganascia Jean-Gabriel
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.
Présentation de la ressource en auto-formation Alan Turing : du concept à la machine cours / présentation, démonstration
09/10/2012
Alan Turing : du concept à la machine
Auteur(s) : Krakowiak Sacha
Description : Alan Turing a contribué à l’informatique sur un plan conceptuel puis en participant concrètement à la réalisation des premiers ordinateurs.
Présentation de la ressource en auto-formation Algorithmes, mode d’emploi cours / présentation, démonstration
16/01/2009
Algorithmes, mode d’emploi
Auteur(s) : Viéville Thierry
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.
Présentation de la ressource en auto-formation Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern) cours / présentation
15/03/2012
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
Auteur(s) : BOURNEZ Olivier
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 ...
Présentation de la ressource en auto-formation En toute logique : une origine de l’ordinateur cours / présentation, démonstration
10/02/2006
En toute logique : une origine de l’ordinateur
Auteur(s) : Prost Frédéric
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 ?
Présentation de la ressource en auto-formation Le calcul, une notion difficile à attraper cours / présentation, démonstration
23/01/2009
Le calcul, une notion difficile à attraper
Auteur(s) : Giavitto Jean-Louis
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é.
Présentation de la ressource en auto-formation Machine de Turing cours / présentation, démonstration
29/01/2009
Machine de Turing
Auteur(s) : Ben Abdallah Hamdi
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.
Présentation de la ressource en auto-formation Sous le signe du calcul cours / présentation, démonstration
10/09/2012
Sous le signe du calcul
Auteur(s) : Giavitto Jean-Louis, Rechenmann François
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...
Présentation de la ressource en auto-formation Machine de Turing cours / présentation, démonstration
Machine de Turing
Auteur(s) : Ben Abdallah Hamdi
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 ...