Logique

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (28)

Connectez-vous pour filtrer par séance de cours

Logique propositionnelle : connexions logiques de base

Couvre les propositions, les connecteurs logiques, les tables de vérité et le langage logique propositionnel.

Championnat international des jeux mathématiques et logiques

Introduit le Championnat international des jeux mathématiques et logiques, un événement amusant et stimulant pour les participants âgés de 8 à 88 ans.

Équivalences logiques : construire, prouver et appliquer

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

Calcul séquentiel: bases et applications

Couvre les bases et les applications du calcul séquentiel en logique et théorie des preuves, y compris l'élimination des coupes et l'analyse des preuves pratiques.

Logique: Techniques de preuve

Explore les techniques de preuve en logique, démontrant comment prouver ou réfuter des propositions en utilisant des négations et des hypothèses.

Maths Puzzle: La famille de l'ours et le miel

Présente un puzzle mathématique impliquant une famille d'ours et la consommation de miel.

Preuves et logiques : Introduction

Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.

Logique propositionnelle : Formes normales

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

Page 2 sur 2