INFO0502 - Logique et programmation logique

Retour aux MCC Retour à la liste des EC
  • Équipe pédagogique

    • Responsables

    • BOISSON Jean-Charles (Responsable)
      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)

  • Epreuves Nature ITPDSTEET Total
    Durée 1h1h301h30
    Cas général 1ère session 4060 100%
    2nd session 4060 100%
    Dispense contrôle continu 1ère session 4060 100%
    2nd session 4060 100%
  • Modalités de contrôle des connaissances (MCC)

  • Cas général

  • Nature Durée 1ère session 2ème session
    ITP 1h 40% 40%
    DST 1h30 60% 0%
    EET 1h30 0% 60%
  • Dispense contrôle continu

  • Nature Durée 1ère session 2ème session
    ITP 1h 40% 40%
    DST 1h30 60% 0%
    EET 1h30 0% 60%
  • Objectifs

  • - Maîtrise des concepts de la logique
  • Compétences spécifiques visées

  • - Programmation en Prolog
  • Compétences générales visées

  • - Modélisation d'un problème en termes logiques
    - Résolution de problèmes logiques
  • Connaissances requises

  • 2ème année de Licence Informatique
  • Programme

  • - Logique des propositions : tables de vérité, axiomes, modus ponens
    - Logique des prédicats
    - Programmation logique
    - Fondements algorithmiques de la programmation logique :
    o Algorithmes d'unification et principe de résolution

    Outil(s)/logiciel(s)/langage(s) utilisé(s) : langage Prolog