Sciences des données : de la Logique du premier ordre à la Toile

L'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. Ce 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 la complexité. Le Web, que l'on peut voir comme une gigantesque base de données distribuées sera aussi étudié avec ses facettes les plus passionnantes telles que son échelle ou les défis du calcul distribué et du Web sémantique.