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
Collection : Leçons inaugurales
Publication : 10 décembre 2019
Edition : 1ère édition
Intérieur : Noir & blanc
Support(s) : Text (eye-readable) [PDF + ePub + Mobipocket + WEB]
Contenu(s) : PDF, ePub, Mobipocket, WEB
Protection(s) : Marquage social (PDF), Marquage social (ePub), Marquage social (Mobipocket), DRM (WEB)
Taille(s) : 1,1 ko (PDF), 120 ko (ePub), 330 ko (Mobipocket), 1 octet (WEB)
Langue(s) : Français
Code(s) CLIL : 3193, 3643
EAN13 Text (eye-readable) [PDF + ePub + Mobipocket + WEB] : 9782722605299
EAN13 (papier) : 9782213712413
7,99 €
6,99 €
6,99 €
6,99 €
6,99 €
7,99 €