TY  - BOOK
AU  - Xavier Leroy
AB  - 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.
DO  - 10.4000/books.cdf.7671
ID  - OAPEN ID: 42805
KW  - sciences numériques
KW  - mathématiques
KW  - programmation
KW  - langage de programmation
KW  - informatique
KW  - logiciel
L1  - http://books.openedition.org/cdf/7671
LA  - French
LK  - https://directory.doabooks.org/handle/20.500.12854/51949
PB  - Collège de France
PY  - 2019
SN  - 9782722605299
TI  - Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018null
ER  - 
