MAIN0401 - Logique et programmation logique

Retour au parcours Retour à la liste des EC

  • Équipe pédagogique

    • Responsables

    • BOISSON Jean-Charles
      Département : Informatique (UFR SEN)

    • Intervenants

    • BOISSON Jean-Charles
      Département : Informatique (UFR SEN)

  • Volume horaire

  • Nature CMTDTP Total
    Durée 10h10h10h30h

  • Modalités de contrôle des connaissances (MCC)

  • Type : CT (contrôle terminal)

    Nature Durée 1ère session 2ème session
    ITP1h40 %40 %
    EET n°12h60 %
    EET n°22h60 %

  • Objectifs

  • Maîtrise des concepts de la logique

  • Programme

    • Logique des propositions : tables de vérité, axiomes, modus ponens 
    • Logique des prédicats 
    • Programmation logique avec un langage tel que Prolog 
    • Fondements algorithmiques de la programmation logique : 
    • Algorithmes d'unification et principe de résolution