• Aide
  • Eurêkoi Eurêkoi

Article

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

dans Collège de France

Auteur(s) : Abiteboul, Serge

  • Éditeur(s)
  • Date
    • 2015-10-29T01:00:00Z
  • Notes
    • Pour obtenir de l’information, nous pouvons interroger un système de gestion de bases de données.Pour ce faire, nous nous exprimons dans un langage informatique simple, peut-être graphique, peut-être même dans notre langue naturelle. Le système traduit cette demande dans un langage formel. Par cela, nous entendons une syntaxe qui permet au système de préciser la demande de l’utilisateur, et une sémantique formelle qui donne un sens exact à cette syntaxe. La logique mathématique offre un tel ...
  • Langues
    • Français
  • Droits
    • info:eu-repo/semantics/openAccess .
    • All rights reserved
  • Résultat de :