Mathématiques
et informatique
La Société informatique de France
Le Prix Bernard-Novelli
Les perspectives de l'informatique au XXIe siècle
Informatique, popularisation et médiation
Intelligence artificielle et philosophie
DOSSIER mathématiques pour l'informatique
L'informatique n'existerait pas sans les mathématiques. Les procédures qu'elle utilise, les algorithmes et
les structures de langage qui permettent la programmation, la vérification de programme s'appuient sur
des théories mathématiques dont certaines ont été
créées spécialement dans ce dessein. Système binaire,
algèbre de Boole, notion de complexité ont apporté à
l'informatique le support théorique qui en fait une
science à part entière.
La préhistoire de l'informatique
Babbage et le premier ordinateur potentiel
Le programme de Lady Ada King
Les messages qui se corrigent tout seuls
Alonzo Church, Alan Turing et la calculabilité
Algèbre de Boole
Langages et récursivité
Langages rationnels et automates finis
Complexité de Kolmogorov
et profondeur logique de Bennett
Comment éliminer les spams
En bref
Notes de lecture
(suite du sommaire au verso)
Hors série n° 52. Mathématiques & inf