Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
calculabilité
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
17
résultats
section 1
sur 2
résultats
1 à 12
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.
Date
:
19-02-2004
Description complète
Alan Turing : du calculable à l?indécidable
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
21-12-2012
Description complète
Alan Turing, itinéraire d?un précurseur
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
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.
Date
:
27-11-2008
Description complète
Algorithmes, mode d?emploi
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
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 ...
Date
:
15-03-2012
Description complète
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Introduction à la calculabilité
Description
:
Qu'est-ce que le calcul en Informatique ? Dans la première partie on s'intéresse à l'aspect épistémologique : comment s'est-on interessé au problème de la calculabilité en informatique ? on abordera ensuite les bases de la calculabilité : qu'est-ce qu'un système de programmation ? quelles sont les ...
Date
:
05-06-2013
Description complète
Introduction à la calculabilité
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
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.
Date
:
15-01-2009
Description complète
La pensée informatique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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 ...
Date
:
24-05-2019
Description complète
La théorie de la complexité algorithmique pour calculer efficacement
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
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é.
Date
:
10-04-2008
Description complète
Le calcul, une notion difficile à attraper
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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 rapid ...
Date
:
05-02-2004
Description complète
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
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 leur ...
Date
:
22-02-2006
Description complète
Les théorèmes de Gödel : fin d?un espoir ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
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...
Date
:
01-09-2011
Description complète
Non, les ordinateurs ne seront jamais tout-puissants !
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
Quelques rudiments de calculabilité et de complexité
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 g ...
Date
:
02-06-2010
Description complète
Quelques rudiments de calculabilité et de complexité
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Afficher section
2
sur 2