Expose des notions générales de logique mathématique : la consistance des modèles, la comptabilité des données avec deux formalismes fondamentaux : la logique des propositions et la logique des prédicats (calcul booléen...).