2 résultats : modèle de calcul

Recherche en cours

Par mots-clef = modèle de calcul

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

2 résultats

page 1 sur 1

résultats 1 à 2

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

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