Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Calcul des propositions

Séances de cours associées (30)

Logique propositionnelle : résumé de la semaine 1

Présente la logique propositionnelle, les connexions logiques, les implications et les équivalences, avec des exemples et des faits sur la tautologie et la contradiction.

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 : Questions organisationnelles

Couvre les questions organisationnelles de l'instructeur et souligne l'importance du visionnage vidéo, des exercices et de l'interaction Discord.

Sans titre

Logique propositionnelle : Formes et applications normales

Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.

Équivalences logiques : construire, prouver et appliquer

Couvre le processus de montrer des équivalences logiques à travers des exemples et introduit les lois de De Morgan.

Sans titre

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.

Mathématiques discrètes: Logique & Structures Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la logique de proposition, les tables de vérité et les stratégies de résolution de problèmes en mathématiques discrètes.

Théorème des mathématiques Prover Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.