Le logiciel, entre l'esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
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 infrastructu...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic Book Chapter |
| Published: |
Collège de France
2019
|
| Subjects: | |
| Online Access: | DOAB: download the publication DOAB: description of the publication |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000naaaa2200000uu 4500 | ||
|---|---|---|---|
| 001 | doab_20_500_12854_51949 | ||
| 005 | 20210211 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20210211s2019 xx |||||o ||| 0|fra d | ||
| 020 | |a books.cdf.7671 | ||
| 020 | |a 9782722605299 | ||
| 040 | |a oapen |c oapen | ||
| 024 | 7 | |a 10.4000/books.cdf.7671 |c doi | |
| 041 | 0 | |a fra | |
| 042 | |a dc | ||
| 100 | 1 | |a Xavier Leroy |4 auth | |
| 245 | 1 | 0 | |a Le logiciel, entre l'esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018 |
| 260 | |b Collège de France |c 2019 | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
| 520 | |a 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. | ||
| 540 | |a All rights reserved |4 http://oapen.org/content/about-rights | ||
| 546 | |a French | ||
| 653 | |a sciences numériques | ||
| 653 | |a mathématiques | ||
| 653 | |a programmation | ||
| 653 | |a langage de programmation | ||
| 653 | |a informatique | ||
| 653 | |a logiciel | ||
| 856 | 4 | 0 | |a www.oapen.org |u http://books.openedition.org/cdf/7671 |7 0 |z DOAB: download the publication |
| 856 | 4 | 0 | |a www.oapen.org |u https://directory.doabooks.org/handle/20.500.12854/51949 |7 0 |z DOAB: description of the publication |