16 ressources en auto-formation : calculabilité

FILTRES

16 résultats
page 1 sur 2
Résultats de 1 à 10
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, itinéraire d’un précurseur cours / présentation, démonstration
15/02/2013
Alan Turing, itinéraire d’un précurseur
Description : Retracer le parcours scientifique d’Alan Turing c’est explorer en mathématiques, surprendre en physique et recommencer en biologie… C’est suivre un cheminement intellectuel qui témoigne d’une grande liberté d’esprit.
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 La pensée informatique cours / présentation, démonstration
29/05/2009
La pensée informatique
Auteur(s) : Wing Jeannette
Description : Peut-on définir un mode de pensée spécifique à l’informatique ? La pensée informatique est présentée ici comme un ensemble d’attitudes et de connaissances universellement applicables.
Présentation de la ressource en auto-formation La théorie de la complexité algorithmique pour calculer efficacement cours / présentation, démonstration
22/05/2015
La théorie de la complexité algorithmique pour calculer efficacement
Auteur(s) : Lagarde Guillaume
Description : Planifier son trajet en voiture, trouver une bonne stratégie au jeu du go, trier ses chaussettes, résoudre un sudoku, optimiser une chaîne de production… Notre quotidien est jonché de problèmes à résoudre ; certains semblent faciles, d’autres beaucoup moins. La théorie de la complexité algorithmique ...
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 Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern) cours / présentation
02/06/2009
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
Auteur(s) : Muller Jean-Michel
Description : Je vais essayer d'illustrer par quelques exemples les progrès accomplis ces dernières années dans le domaine de l'arithmétique virgule flottante. Longtemps l'arithmétique flottante n'a été qu'une collection de recettes de cuisine: on avait le choix entre utiliser cette arithmétique, et obtenir r ...
Présentation de la ressource en auto-formation Les théorèmes de Gödel : fin d’un espoir ? cours / présentation
22/02/2006
Les théorèmes de Gödel : fin d’un espoir ?
Auteur(s) : DESHOUILLERS Jean-Marc
Description : En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et ...
Présentation de la ressource en auto-formation Non, les ordinateurs ne seront jamais tout-puissants ! cours / présentation, démonstration
17/07/2012
Non, les ordinateurs ne seront jamais tout-puissants !
Auteur(s) : Brihaye Thomas, Bruyère Véronique, Mélot Hadrien
Description : Contrairement à une certaine croyance populaire, les ordinateurs et l’informatique en général ne permettent pas de résoudre tous les problèmes...