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.
Editeur : Collège de France
Publication : 10 décembre 2019
Intérieur : Noir & blanc
Support(s) : Livre numérique eBook [PDF + ePub + Mobi/Kindle + WEB]
Contenu(s) : PDF, ePub, Mobi/Kindle, WEB
Protection(s) : Marquage social (PDF), Marquage social (ePub), Marquage social (Mobi/Kindle), DRM (WEB)
Taille(s) : 576 ko (PDF), 1,8 Mo (ePub), 3,4 Mo (Mobi/Kindle), 1 octet (WEB)
Langue(s) : Français
Code(s) CLIL : 3643, 3193
EAN13 Livre numérique eBook [PDF + ePub + Mobi/Kindle + WEB] : 9782722605299
EAN13 (papier) : 9782213712413
24,99 € 19,99 €
5,99 € 2,99 €