Data Sciences: From First-Order Logic to the Web
Comment les bases de données et la logique formelle façonnent-elles notre accès à l'information ? Data Sciences: From First-Order Logic to the Web explore les liens profonds entre logique mathématique.
Relational database management systems, using as foundations a formal language, first-order logic, serve as mediators between individuals and machines. With the increase in the volume of data disseminated on the Web, a "collective intelligence" is currently emerging, shaped by large search engines whose monopoly raises ethical and political questions. One of the main challenges for the coming years is the development of technologies that will make it possible to find, evaluate, validate, verify and rank information, and thus to build tomorrow's "Web of knowledge".
Lire plus
Lire moins
Serge Abiteboul
**Serge Abiteboul**, né en 1953 à Paris, est un informaticien français de renom, spécialiste des bases de données et de la gestion de l'information. Chercheur à l'**INRIA** depuis 1982 et professeur au **Collège de France**, il a marqué le domaine par ses travaux en logique formelle, théorie des bases de données et gestion des données sur le Web. Membre de l'**Académie des sciences**, il a également été distingué par plusieurs prix internationaux pour ses contributions scientifiques.
shield_question Foire aux questions
Ce livre offre une analyse unique des fondements théoriques des bases de données et de leur rôle central dans la gestion de l'information à l'ère numérique. Il explique comment la logique du premier ordre et les systèmes relationnels permettent de structurer et d'interroger les données, tout en soulevant des questions cruciales sur l'éthique et la gouvernance du Web.
L'ouvrage traite de la logique formelle, des systèmes de gestion de bases de données relationnelles, de l'optimisation des requêtes, et de l'impact des moteurs de recherche sur la formation d'une intelligence collective. Il aborde aussi les défis posés par la masse croissante de données et les enjeux politiques et éthiques liés à leur contrôle.
Ce livre s'adresse aux étudiants, chercheurs et professionnels en informatique, en sciences des données ou en philosophie des sciences. Il intéressera aussi toute personne souhaitant comprendre les mécanismes techniques et sociaux qui sous-tendent la révolution numérique et l'évolution du Web.
Vous pourrez interroger le smartbook sur des concepts clés comme la logique du premier ordre, l'optimisation des requêtes SQL, les modèles de données relationnelles, ou encore les implications éthiques de la collecte et du traitement des données. Posez-lui aussi des questions sur les exemples concrets présentés dans l'ouvrage ou sur les liens entre théorie et applications pratiques.
tag Mots-clés
data sciences
logique du premier ordre
bases de données relationnelles
systèmes de gestion de bases de données
intelligence collective
web sémantique
logique mathématique
optimisation des requêtes
théorie des bases de données
informatique théorique
serge abiteboul
collège de france
inria
big data
éthique des données
moteurs de recherche
complexité algorithmique
sémantique formelle
langages de requête
science des données
numérique et société
théorie de la complexité
modélisation des données
web de connaissances
Comment lire ce smartbook ?
Sur les applis MySmartBook
(avec discussion)
(avec discussion)
Sur mon ordinateur
(sans discussion)
(sans discussion)
Avis des lecteurs
Connexion
Soyez le premier à donner votre avis !
