Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu’il exécute. Cette extraordinaire plasticité a permis à l’ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l’incroyable et souvent effrayante complexité du logiciel ? Comment éviter les « bugs » de programmation et résister aux attaques ? Comment établir qu’un logiciel est digne de confiance ? À ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.
Multidisciplinary --- informatique --- sciences numériques --- mathématiques --- programmation --- langage de programmation --- logiciel
Choose an application
Les algorithmes existent depuis que l’humain essaie de calculer. Au Moyen Âge, leur exécution est déléguée à des machines. En 1936, Alan Turing propose une machine universelle, exécutant tous les algorithmes possibles et imaginables, et donne ainsi naissance à l’ordinateur et à l’informatique. L’invention des réseaux, à partir des années 1960, a permis d’aller encore plus loin avec l’informatique répartie, connectant des ordinateurs dans de grands réseaux comme Internet et des processeurs dans de petits réseaux à l’intérieur de chacun des ordinateurs. L’objectif était de créer une super-machine, indestructible et ultra-rapide. Mais la recherche de ces « super-pouvoirs » a entraîné la perte de l’universalité. L’algorithmique répartie étudie les conditions permettant de retrouver l’universalité de Turing, ou des formes d’universalités restreintes réalisables.
Multidisciplinary --- informatique --- sciences numériques --- informatique répartie --- algorithmique --- algorithmes --- Internet --- réseaux --- universalité --- ordinateur --- asynchronisme --- calcul distribué --- calculabilité
Listing 1 - 2 of 2 |
Sort by
|