16 ressources en auto-formation : calculabilité

FILTRES

16 résultats
page 2 sur 2
Résultats de 11 à 16
Présentation de la ressource en auto-formation Théorie algorithmique de l'information cours / présentation
05/06/2013
Théorie algorithmique de l'information
Auteur(s) : DELAHAYE Jean-Paul
Description : Qu'est-ce que l'information et comment la mesurer ? qu'est-ce que la complexité et comment la mesurer ? En 2013, les travaux d'application sur la mesure de la complexité continuent car on est encore loin d'avoir tout compris. Les solutions proposées jusqu'à présent sont trop simplifiées ou trop ...
Présentation de la ressource en auto-formation Théorie des langages cours / présentation, exercice
01/09/2011
Théorie des langages
Auteur(s) : Yvon François, Demaille Akim
Description : Ce cours vise à définir de façon rigoureuse ce que sont les langages, à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage, ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : ...
Présentation de la ressource en auto-formation Un calcul révolutionnaire cours / présentation, démonstration
25/01/2008
Un calcul révolutionnaire
Auteur(s) : Delahaye Jean-Paul
Description : Extraire la racine 1789-ème d’un nombre de 7000 chiffres : un exploit « révolutionnaire » ? Cela mérite réflexion...
Présentation de la ressource en auto-formation Une révolution permanente cours / présentation, démonstration
22/02/2011
Une révolution permanente
Auteur(s) : Berry Gérard
Description : Née au milieu du vingtième siècle avec les premiers calculateurs électroniques, l’informatique n’a cessé de se développer, touchant tous les secteurs d’activité.
Présentation de la ressource en auto-formation Variabilité, limite, stabilité en informatique cours / présentation, démonstration
07/09/2007
Variabilité, limite, stabilité en informatique
Auteur(s) : Ridoux Olivier
Description : Variabilité, limite, stabilité : en informatique, il y a plusieurs façons de donner du sens à ces termes, que l’on considère les technologies, la programmation, ou la théorie du calcul. Quelques pistes de réflexion...
Présentation de la ressource en auto-formation Quelques rudiments de calculabilité et de complexité cours / présentation
Quelques rudiments de calculabilité et de complexité
Auteur(s) : GASTIN Paul
Description : Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en définissant les notions et en donnant des jalons historiques de Hilbert à Gödel et Turing sur les ...