Concept
Diagramme de décision binaire
Séances de cours associées (11)
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.
Algèbre booléenne : propriétés et optimisation
Explore les propriétés de l'algèbre booléenne et les techniques d'optimisation en utilisant les diagrammes de Karnaugh et les théorèmes de De Morgan.
Algèbre booléenne : propriétés et théorèmes
Couvre les propriétés et les théorèmes de l'algèbre booléenne dans les systèmes logiques.
Optimiser les fonctions logiques
Couvre l'optimisation des fonctions logiques en utilisant des diagrammes de Karnaugh et en traitant des fonctions définies incomplètes.
Théorie ergonomique: Chaos
Explore des éléments de la théorie ergonomique, des transformations, des ensembles invariants et des exposants Lyapunov pour des cartes à une dimension.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la syntaxe logique de premier ordre, la sémantique, la skolémisation, la résolution et les transformations de formes normales.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la logique de premier ordre, les preuves de résolution, les fonctions Skolem et la vérification de la satisfaction en mathématiques et la vérification de programme.
Planification automatisée : modélisation et contraintes
Explore la planification automatisée, les contraintes et les applications dans divers domaines, en mettant l'accent sur les défis et l'efficacité de la résolution des problèmes de planification.