Sciences des données : de la logique du premier ordre à la ToileSerge Abiteboul est directeur de recherche à INRIA, Saclay, et membre du laboratoire LSV de l’ENS Cachan.Leçon inauguraleL’informatique a révolutionné nos vies. Si la vision classique des ordinateurs est celle de machines à calculer, ils servent à présent surtout à gérer des données. Le cours abordera des aspects fondamentaux de la gestion de données, y compris de ses liens profonds avec la logique mathématique et la théorie de ...