& informatique
'
, .
ere nuntenque
L'informatique est un système
de représentation de l'information.
L'algèbre booléenne et l'algorithmique
sont les outils qui permettent de numériser ( « mettre sous forme de
nombres»), représenter et manipuler
l'information. La logique formelle
comme la sémantique cherchent
à préciser ce qui peut être formalisé
et expliqué à un ordinateur. La théorie
du signal permet de faire circuler
des données d'un ordinateur à l'autre.
La cryptologie vise à étudier la sécurité
de ces données qui transitent.
La vérification des programmes
s'appuie sur la logique mathématique.
De fait, la démonstration automatique,
l'expérimentation et la simulation
numérique quittent le domaine du rêve
pour devenir réalité. Ainsi, l'outil
informatique envahit notre quotidien,
de la biologie à la finance en passant
par l'ingénierie, et bouscule notre vision
du monde en soulevant des questions
(scientifiques ou éthiques) qui n'avaient
jamais été envisagées.
Sans les mathématiques, aucun
de ces progrès ne serait possible !
Prix: 19,80 €
EDITIONS.
POLE