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

• Autore: Leroy Xavier
• 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