Vai al contenuto principale della pagina
Autore: | Leroy Xavier |
Titolo: | 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 |
Pubblicazione: | Paris, : Collège de France, 2019 |
Soggetto topico: | Multidisciplinary |
informatique | |
sciences numériques | |
mathématiques | |
programmation | |
langage de programmation | |
logiciel | |
Soggetto non controllato: | sciences numériques |
mathématiques | |
programmation | |
langage de programmation | |
informatique | |
logiciel | |
Altri autori: | LeroyXavier |
Sommario/riassunto: | 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. |
Altri titoli varianti: | logiciel, entre l’esprit et la matière |
Titolo autorizzato: | Le logiciel, entre l’esprit et la matière |
ISBN: | 2-7226-0529-5 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Francese |
Record Nr.: | 9910360256103321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |