Partie I
Introduction
Définitions et Concepts
Présentation du Langage du premier ordre
Les expressions du langage
les systèmes complets de connecteurs
Champ de Quantificateur
Les variables libres et liées
Fermeture d'une formule
Td et exos résolus
- Enseignant: Adda Boualem
Partie I
Introduction
Le Langage propositionnel
La syntaxe du langage propositionnel
Exemples et exercices résolus
Partie II
Sémantique du langage propositionnel
Exemples et exercices résolus
Exercices et TD
Résumé général
- Enseignant: Adda Boualem