Mathématique et Informatique - Inria
1. Contexte historique. L'informatique a des racines qui remontent aux ... la
notion de système axiomatique pour la géométrie élémentaire, et Aristote abstrait
du discours la ... Le volume en croissance régulière des données à traiter (par ex
., les ... avant-guerre l'algèbre universelle), la théorie de la démonstration (avec
son ...