Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018

Von:

Xavier Leroy [VerfasserIn]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Französisch Verlag: [Erscheinungsort nicht ermittelbar] : Collège de France, 2019Beschreibung: 1 Online-RessourceISBN:

9782722605299

Schlagwörter:

Online-Ressourcen:

Volltext frei verfügbar

Zusammenfassung: 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 logicielPPN: PPN: 1778489567Package identifier: Produktsigel: ZDB-94-OAB

Exemplare ( 0 )
Titelinformationen ( 3 )

Dieser Titel hat keine Exemplare

Open Access. Unrestricted online access star

French