• Home
• Source
• Print

Théorie des modèles

Sujets abordés

• Interprétation, modèle ;
• Théorie des modèles du calcul des propositions (tables de vérité) ;
• Théorie des modèles du calcul des prédicats.

Sources

• Arnold - Guessarian, Sections 5.2 – 5.3 ;
• David - Nour - Raffalli, Sections 2.1 – 2.4.