Systèmes finis exprimés avec des formules

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (29)

Page 3 sur 3

Algèbre booléenne : propriétés et optimisation

Couvre les propriétés de l'algèbre booléenne, les techniques d'optimisation et l'importance des groupes valides dans les cartes de Karnaugh.

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.

Logique formelle: preuves et ensembles

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

Logique propositionnelle : Formes normales

Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.

Sans titre

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Logique propositionnelle : Applications et traductions

Explore les applications de la logique propositionnelle, y compris les traductions et la recherche booléenne pour les requêtes de documents.

Théorème de la courbe de Jordan

Couvre la preuve du théorème de la courbe de Jordan et les propriétés des sphères incorporées.

Logique propositionnelle : connexions logiques de base

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.