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
Branching quantifier
Science formelle
Logique
Logique classique
Calcul des prédicats
Graph Chatbot
Séances de cours associées (31)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 1 sur 4
Suivant
Le rôle des Symmetries
Déplacez-vous dans des symétries en physique, couvrant la théorie de groupe, la perturbation, et la quantification.
Logique principale : quantificateurs, FNC, DNF
Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.
Moteurs d'inférence : Clauses de résolution et de corne
Couvre les moteurs d'inférence basés sur la résolution, les clauses Horn, le filtrage et l'unification de l'intelligence artificielle.
Analyse des risques en gestion de projet
Explore l'analyse des risques dans la gestion de projet, couvrant l'identification, la prévention, la quantification et la gestion Lean.
La logique des prédicats : quantificateurs et équivalences
Explore la logique des prédicats, couvrant les quantificateurs, les équivalences et les traductions du langage naturel.
Predicate Logic : Quantificateur universel et existentiel
Introduit la logique de prédicat et explique comment déterminer les valeurs de vérité à l'aide de quantificateurs.
Ensembles et opérations: Introduction aux mathématiques
Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.
Predicate Logic : Quantificateur universel et existentiel
Explique les variables, les prédicats, les fonctions propositionnelles et les quantificateurs dans la logique des prédicats.
Magnétostatique : champ magnétique et force
Couvre les champs magnétiques, la loi d'Ampère et les dipôles magnétiques avec des exemples et des illustrations.
NMF guidé par la physique pour l'analyse des données STEM/EDXS
Explore NMF guidé par la physique pour l'analyse de données STEM/EDXS, couvrant les défis, l'optimisation, les contraintes et les avantages de la modélisation.
