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é
C
calculabilité
16
ressources en auto-formation :
calculabilité
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
2
1
2
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
16
résultats
page 1
sur 2
Résultats de
1 à 10
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
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.
histoire de l'informatique
Alan Turing
calcul
calculabilité
philosophie des sciences
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
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.
calculabilité
puissance de calcul
raisonnement par récurrence
parallélisation
abstraction
recherche en informatique
fuscia
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 ...
complexité algorithmique
calculabilité
NP-complet
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
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 ...
fuscia
conférence
STIC
arithmétique des ordinateurs
opération arithmétique
implantation sur machine
algorithme
calculabilité
virgule flottante
fiabilité
précision
cohérence
division
arrondi correct
dépassement de capacité
multiprécision
numération
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 ...
philosophie des mathématiques
théorie mathématique
intuitionnisme
théorème de Gödel
théorie des ensembles
théorie des groupes
calculabilité
formalisation mathématique
théorème d’incomplétude
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...
algorithme
complexité algorithmique
calculabilité
indécidabilité
optimisation
algorithme d'approximation
fuscia
1
2