Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Relation algebra
Science formelle
Logique
Logique classique
Calcul des prédicats
Graph Chatbot
Séances de cours associées (12)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 2 sur 2
Suivant
Extraction d'information et inférence des connaissances
Explore l'extraction de l'information, l'inférence des connaissances, l'induction taxonomique et la désambigation des entités.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la syntaxe logique de premier ordre, la sémantique et la résolution pour les propriétés de preuve.
