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
Séance de cours
Introduction à la résolution SMT
Graph Chatbot
Séances de cours associées (28)
Précédent
Page 3 sur 3
Suivant
Coq: Introduction
Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Logique des prédicats : bases et applications
Couvre les bases et les applications de la logique des prédicats, y compris les quantificateurs, les prédicats et les fonctions propositionnelles.
Logique des prédicats : domaines et quantificateurs
Explore la logique des prédicats, en se concentrant sur les domaines, les quantificateurs et les idées surprenantes sur les domaines vides.
Logique propositionnelle : bases et applications
Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.
Propositions et preuves
Explore les propositions, les preuves et la contradiction dans la théorie mathématique, en mettant l'accent sur les règles logiques et les méthodes de preuve.
Calcul des propositions
Couvre le calcul des propositions dans la logique de prédicat en mettant l'accent sur les connectifs logiques.
Logique propositionnelle : Formes normales
Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.
Predicate Logic : Quantificateur universel et existentiel
Explique les variables, les prédicats, les fonctions propositionnelles et les quantificateurs dans la logique des prédicats.
