Projets

Ne copiez pas ! Nous utilisons le logiciel MOSS qui détecte les plagiats

Projet 1 à réaliser en C - relation d'ordre et optimisation d'exécution

Projet 2 à réaliser en Ocaml - traducteur d'arbres de preuve en langue naturelle

  • objectif du PROJET

    Traduire automatiquement les arbres de preuve sous forme de preuve textuelle en langue naturelle
  • Des exemples d'arbre de preuve et leur traduction en langue extraits des exercices de TD :
    • la série2 résolue automatiquement en 0.1 seconde par le prouveur
  • Description précise du projet : consignes à suivre, types et fonctions prédéfinies
  • main du PROJET2: projet.ml
Responsables de l'UE : Cristian Éné & Michaël PÉRIN