Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
M
machine de turing
10
ressources en auto-formation :
machine de turing
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
10
résultats
page 1
sur 1
Résultats de
1 à 10
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.
machine de Turing
thèse de Church
jeu de la vie
règle de majorité
compteur de parité
fuscia
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.
calculabilité
thèse de Church
machine de Turing
problème de la décision
fuscia
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.
Histoire de l'Informatique
Alan Turing
calcul automatique
machine de Turing
ordinateur
fuscia
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.
algorithme
machine de Turing
calculabilité
thèse de Church
complexité
fuscia
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 ...
calculabilité
complexité
informatique théorique
modèle de calcul analogique
machine de turing
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 ?
ordinateur
logique mathématique
théorie des ensembles
machine de Turing
problème de la décision
histoire de l'informatique
fuscia
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é.
calculabilité
machine de Turing
fonction
algorithme
thèse de Church
histoire de l'informatique
fuscia
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.
algorithme
codage binaire
programme informatique
opération numérique
machine de Turing
fuscia
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...
Histoire de l'Informatique
Alan Turing
calcul automatique
machine de Turing
ordinateur
fuscia
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 ...
machine de Turing
algorithme
calcul binaire
procédure mécanique
programme
mémoire mécanique
applet
1