Systèmes logiques

Logique propositionnelle

• Introduction à la logique propositionnelle cours tp
• Modélisation cours tp
• SAT Solvers cours tp
• Systèmes de preuves pour la logique propositionnelle cours, tp

Logique du premier ordre

• Introduction à la logique du premier ordre, cours tp
• Théories et modèles, cours tp
• Système de preuve, cours tp, correction tp (manuscrite)
• Base de données, cours
• Prolog, cours tp
• Révision, résumé tp

Correction des contrôles continus

• Sujet cc1
• Sujet cc2