LEADER 02530 am 2200589 n 450 001 9910360256103321 005 20191210 010 $a2-7226-0529-5 024 7 $a10.4000/books.cdf.7671 035 $a(CKB)4100000009952504 035 $a(FrMaCLE)OB-cdf-7671 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/51949 035 $a(PPN)241685362 035 $a(EXLCZ)994100000009952504 100 $a20191210j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aLe logiciel, entre l?esprit et la matière $eLeçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018 /$fXavier Leroy 210 $aParis $cCollège de France$d2019 311 $a2-213-71241-7 330 $aUn 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. 517 $alogiciel, entre l?esprit et la matière 606 $aMultidisciplinary 606 $ainformatique 606 $asciences numériques 606 $amathématiques 606 $aprogrammation 606 $alangage de programmation 606 $alogiciel 610 $asciences numériques 610 $amathématiques 610 $aprogrammation 610 $alangage de programmation 610 $ainformatique 610 $alogiciel 615 4$aMultidisciplinary 615 4$ainformatique 615 4$asciences numériques 615 4$amathématiques 615 4$aprogrammation 615 4$alangage de programmation 615 4$alogiciel 700 $aLeroy$b Xavier$0911815 701 $aLeroy$b Xavier$0911815 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910360256103321 996 $aLe logiciel, entre l?esprit et la matière$93389780 997 $aUNINA