Séance de cours
Logique propositionnelle : connexions logiques de base
Séances de cours associées (42)
Logique propositionnelle : Formes normales
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.
Logique propositionnelle : Quiz Réponses
Couvre les réponses à un quiz sur la logique propositionnelle, en soulignant l'importance de la clarté dans les énoncés logiques.
Équivalences logiques : les lois de De Morgan et leurs implications
Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.
Arguments valides
Explique comment déterminer et construire des arguments valides dans la logique propositionnelle.
Logique proposée : Règles d'inférence
Couvre l'interprétation de la logique de proposition et des règles d'inférence pour l'implication, la conjonction et la double négation.
Arguments valides : Comprendre la logique propositionnelle
Explique comment les prémisses impliquent des conclusions utilisant des règles d'inférence et des tables de vérité dans la logique propositionnelle.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la syntaxe logique de premier ordre, la sémantique et la résolution pour les propriétés de preuve.
Systèmes séquentiels: MicrocontrôleursMOOC: Comprendre les Microcontrôleurs
Explore les systèmes séquentiels, les machines d'état, les solutions de microcontrôleur, les systèmes logiques et les applications pratiques dans les projets du monde réel.
Comprendre les microcontrôleurs : systèmes combinatoiresMOOC: Comprendre les Microcontrôleurs
Introduit les bases des systèmes mixtes dans les microcontrôleurs, couvrant les systèmes logiques et les tables de vérité.
Introduction à l'élimination des quantificateurs pour l'arithmétique de Presbourg
Introduit une méthodologie de vérification formelle et l'arithmétique de Presburger pour la vérification de programme et le raisonnement automatisé.