5 résultats : thèse de Church

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
5 résultats
page 1 sur 1
résultats 1 à 5
UNIT
À la découverte des automates cellulaires
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
 En savoir plus
 Description complète
À la découverte des automates cellulaires
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Qu’est-ce qu’un algorithme ?
Description : Un algorithme n’est pas seulement du ressort des mathématiques. Très simplement, c’est une méthode, pour trier des objets, situer des villes sur une carte, multiplier deux nombres, chercher un mot dans le dictionnaire…
Mots clés : instruction, thèse de Church, performance, structure de données, fuscia
Date : 20-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
 En savoir plus
 Description complète
Qu’est-ce qu’un algorithme ?
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Alan Turing : du calculable à l’indécidable
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
 En savoir plus
 Description complète
Alan Turing : du calculable à l’indécidable
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Le calcul, une notion difficile à attraper
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
 En savoir plus
 Description complète
Le calcul, une notion difficile à attraper
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Algorithmes, mode d’emploi
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
 En savoir plus
 Description complète
Algorithmes, mode d’emploi
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé