Résumé

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.

Caractéristiques

Editeur : Collège de France

Auteur(s) : Xavier Leroy

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

Ouvrages dans la même collection

--:-- / --:--