16 résultats : calculabilité

Recherche en cours

Par mots-clef = calculabilité

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

16 résultats

page 1 sur 2

résultats 1 à 10

Une révolution permanente

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é.

Mots clés : histoire de l'informatique, ordinateur, théorie de la calculabilité, théorie de la complexité, loi de Moore, sciences du numérique, fuscia

Date : 31-01-2011

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Une révolution permanente

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : calculabilité, complexité, informatique théorique, modèle de calcul analogique, machine de turing

Date : 15-03-2012

Droits : Droits réservés à l'éditeur et aux auteurs.

Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)

Ajouter à mon panier

Accéder aux documents

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...

Mots clés : algorithme, complexité algorithmique, calculabilité, indécidabilité, optimisation, algorithme d'approximation, fuscia

Date : 01-09-2011

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Non, les ordinateurs ne seront jamais tout-puissants !

Ajouter à mon panier

Accéder au document

Théorie algorithmique de l'information

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 ...

Mots clés : invariance, calcul informatique, théorie complexité, théorie de l'information, complexité algorithmique, complexité Kolmogorov, La théorie de la calculabilité

Date : 05-06-2013

Droits : Droits réservés à l'éditeur et aux auteurs.

Théorie algorithmique de l'information

Ajouter à mon panier

Accéder aux documents

Un calcul révolutionnaire

Description : Extraire la racine 1789-ème d’un nombre de 7000 chiffres : un exploit « révolutionnaire » ? Cela mérite réflexion...

Mots clés : jeu, fausse difficulté, calculabilité, cryptographie, fuscia

Date : 11-01-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Un calcul révolutionnaire

Ajouter à mon panier

Accéder au document

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.

Mots clés : calculabilité, thèse de Church, machine de Turing, problème de la décision, fuscia

Date : 19-02-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Alan Turing : du calculable à l’indécidable

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : diagonalisation, codage, science informatique, calculabilité, programme, complexité, modèle de calcul, réduction

Date : 02-06-2010

Droits : Droits réservés à l'éditeur et aux auteurs.

Quelques rudiments de calculabilité et de complexité

Ajouter à mon panier

Accéder aux documents

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é.

Mots clés : calculabilité, machine de Turing, fonction, algorithme, thèse de Church, histoire de l'informatique, fuscia

Date : 10-04-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Le calcul, une notion difficile à attraper

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : complexité algorithmique, calculabilité, NP-complet

Date : 24-05-2019

Droits : Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La théorie de la complexité algorithmique pour calculer efficacement

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : 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

Date : 05-02-2004

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)

Ajouter à mon panier

Accéder au document

Rebondir