1 ressource : BOURNEZ OLIVIER

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
Canal-U
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.