Rechercher une ressource pédagogique : calculabilité

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

14 résultats
section 1 sur 2
résultats 1 à 10
UNIT
UNIT
19.02.2004
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.
  • calculabilité
  • thèse de Church
  • machine de Turing
  • problème de la décision
  • fuscia
UNIT
UNIT
21.12.2012
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
UNIT
UNIT
27.11.2008
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.
  • algorithme
  • machine de Turing
  • calculabilité
  • thèse de Church
  • complexité
  • fuscia
UNIT
UNIT
15.01.2009
La pensée informatique
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
UNIT
UNIT
24.05.2019
La théorie de la complexité algorithmique pour calculer efficacement
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
UNIT
UNIT
10.04.2008
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é.
  • calculabilité
  • machine de Turing
  • fonction
  • algorithme
  • thèse de Church
  • histoire de l'informatique
  • fuscia
UNIT
UNIT
05.02.2004
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
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
Canal-U
Canal-U
22.02.2006
Les théorèmes de Gödel : fin d’un espoir ?
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
UNIT
UNIT
01.09.2011
Non, les ordinateurs ne seront jamais tout-puissants !
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
UNIT
UNIT
01.09.2011
Théorie des langages
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 : ...
  • théorie des langages
  • langage formel
  • compilation
  • langage de programmation
  • automate fini
  • grammaire syntagmatique
  • analyseur
  • calculabilité