Data science : from First-Order Logic to the Web

Computers have revolutionized our lives. While the classic view of computers is that of calculating machines, they are now mainly used to manage data. This lecture will cover fundamental aspects of data management, including its profound links with mathematical logic and complexity theory. The Web, which can be seen as a gigantic distributed database, will also be studied, along with its most exciting facets, such as its scale and the challenges of distributed computing and the semantic Web.