Ressource en auto-formation : Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)

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 ...
cours / présentation - Création : 15-03-2012
Par : Olivier BOURNEZ
Partagez !

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

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation
Niveau : master, doctorat
Durée d'exécution : 1 heure 12 minutes
Contenu : vidéo
Document : video/mp4
Poids : 694.67 Mo
Droits d'auteur : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs.

Description de la ressource en auto-formation

Résumé

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 les modèles digitaux, dès qu'ils sont suffisamment puissants, sont équivalents. On peut aussi considérer des modèles analogiques ou avec des aspects analogiques. À vrai dire, chaque époque a ses systèmes de calculs et ses questions de calculabilité: au 19e siècle, l'essor des communications a mené à se poser des questions sur la possibilité de calculer certains mouvements. Au début du 20e siècle, l'apparition de dispositifs informatiques mécaniques pour résoudre des problèmes d'ingénierie a mené à se poser des questions sur la possibilité de calculer mécaniquement certaines fonctions. Au 21e siècle, l'essor des télécommunications fait que certains systèmes distribués actuels se décrivent et se programment aussi avec des aspects analogiques: par exemple, la grande taille de certains systèmes fait que leur description naturelle devient une description statistique et thermodynamique. Chacun de ces systèmes se programme. Chacun de ces systèmes n’est pas clairement couvert par la calculabilité et la complexité classique moderne, qui parle de modèles comme les machines de Turing. Certains de ces systèmes ont toutefois une théorie très riche, avec des notions par exemple d'universalité, différentes, mais tout aussi utiles que celles de la calculabilité moderne. L'objectif de cet exposé sera d'introduire quelques un de ces modèles, et de présenter ce que l'on sait sur leur puissance de calculs.

"Domaine(s)" et indice(s) Dewey

  • Computer Science (004)

Domaine(s)

Intervenants, édition et diffusion

Intervenants

Fournisseur(s) de contenus : INRIA (Institut national de recherche en informatique et automatique), UNS, CNRS - Centre National de la Recherche Scientifique

Édition

  • Région PACA
  • INRIA (Institut national de recherche en informatique et automatique)

Diffusion

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

Partagez !

AUTEUR(S)

  • Olivier BOURNEZ

DIFFUSION

Cette ressource en auto-formation vous est proposée par :
Canal-U - accédez au site internet
Sur les réseaux sociaux :

ÉDITION

Région PACA

INRIA (Institut national de recherche en informatique et automatique)

EN SAVOIR PLUS

  • Identifiant de la fiche
    9004
  • Identifiant OAI-PMH
    oai:canal-u.fr:9004
  • Schéma de la métadonnée
  • Entrepôt d'origine
    Canal-U
  • Publication
    15-03-2012

Ressources en auto-formation sur les mêmes thèmes

Présentation de la ressource en auto-formation Quelques rudiments de calculabilité et de complexité cours / présentation
Quelques rudiments de calculabilité et de complexité
Auteur(s) : GASTIN Paul
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 ...
Présentation de la ressource en auto-formation Algorithmes, mode d’emploi cours / présentation, démonstration
16/01/2009
Algorithmes, mode d’emploi
Auteur(s) : Viéville Thierry
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.