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 infrastructures de la cité. Q...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autore principale: Xavier Leroy
Natura: Online
Lingua:francese
Pubblicazione: Collège de France 2021
Soggetti:
Accesso online:42805
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1869525040819601408
author Xavier Leroy
author_browse Xavier Leroy
author_facet Xavier Leroy
author_sort Xavier Leroy
collection Directory of Open Access Books
description 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.
format Online
id doab-20.500.12854ir-51949
institution Directory of Open Access Books
language fre
publishDate 2021
publishDateRange 2021
publishDateSort 2021
publisher Collège de France
publisherStr Collège de France
record_format ojs
spelling doab-20.500.12854ir-519492023-12-20T18:40:49Z Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018 Xavier Leroy QA75.5-76.95 sciences numériques mathématiques programmation langage de programmation informatique logiciel bic Book Industry Communication::U Computing & information technology::UY Computer science 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. 2021-02-11T18:00:20Z 2021-02-11T18:00:20Z 2019-12-12 11:49:48 2019 book 42805 9782722605299 https://directory.doabooks.org/handle/20.500.12854/51949 fre image/png http://books.openedition.org/cdf/7671 Collège de France 10.4000/books.cdf.7671 10.4000/books.cdf.7671 1aaf812f-8953-49d7-becb-c2b3d34938a7 9782722605299 open access
spellingShingle QA75.5-76.95
sciences numériques
mathématiques
programmation
langage de programmation
informatique
logiciel
bic Book Industry Communication::U Computing & information technology::UY Computer science
Xavier Leroy
Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
title Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
title_full Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
title_fullStr Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
title_full_unstemmed Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
title_short Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018
title_sort le logiciel entre l esprit et la matiere lecon inaugurale prononcee au college de france le jeudi 15 novembre 2018
topic QA75.5-76.95
sciences numériques
mathématiques
programmation
langage de programmation
informatique
logiciel
bic Book Industry Communication::U Computing & information technology::UY Computer science
topic_facet QA75.5-76.95
sciences numériques
mathématiques
programmation
langage de programmation
informatique
logiciel
bic Book Industry Communication::U Computing & information technology::UY Computer science
url 42805
work_keys_str_mv AT xavierleroy lelogicielentrelespritetlamatiereleconinauguraleprononceeaucollegedefrancelejeudi15novembre2018