Double negation

Science formelle
Logique
Logique classique
Calcul des propositions

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (26)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 3

Prédicat Logique : Équivalences logiques et Quantificateurs

Couvre les équivalences logiques, les quantificateurs et les lois de De Morgan dans la logique des prédicats.

Nombres et booléens

Introduit des nombres et des booléens en Python, couvrant les types numériques, les opérations arithmétiques, les opérations logiques et les comparaisons.

Logique propositionnelle : connexions logiques de base

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

Logique des prédicats : domaines et quantificateurs

Explore la logique des prédicats, en se concentrant sur les domaines, les quantificateurs et les idées surprenantes sur les domaines vides.

Algèbre linéaire : propriétés et propositions

Explore le lien entre les propriétés et les variables, y compris les contraires et les propositions.

Techniques de démonstration : exemples

Couvre les techniques de preuve, y compris la preuve directe, la contradiction, les cas et le contre-exemple.

Systèmes d'experts: Chainage vers l'arrière

Explore les systèmes experts, l'enchaînement rétrograde et l'incertitude grâce à une logique floue dans les applications pratiques.

Règles d'inférence dans la logique propositionnelle

Couvre les règles d'inférence dans la logique propositionnelle et les sophismes logiques communs.

La logique des prédicats : les équivalences, les négations et les lois de De Morgan

Explore la distribution des quantificateurs, des équivalences logiques et des négations dans la logique des prédicats.

Preuves : méthodes directes et indirectes

Couvre des exemples de preuves directes et indirectes en mathématiques.