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
Format : Document HTML
Auteur : Fatès Nazim
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
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
Format : Document HTML
Auteur : Flajolet Philippe, Parizot Étienne
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
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
Format : Document HTML
Auteur : Ganascia Jean-Gabriel
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
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
Format : Document HTML
Auteur : Giavitto Jean-Louis
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
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
Format : Document HTML
Auteur : Viéville Thierry
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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