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
Catégorie
Logique
Science formelle
Logique
Séances de cours associées (27)
Graph Chatbot
Précédent
Page 3 sur 3
Suivant
Preuves : Équivalence logique et règles d'inférence
Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.
Théorème des mathématiques Prover
Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.
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.
Logique propositionnelle : bases et applications
Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.
La logique des prédicats : les équivalences, les négations et les lois de De Morgan
Explore la distribution des quantificateurs, des équivalences logiques et des négations dans la logique des prédicats.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.
Coq: Introduction
Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
