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

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

• objectif du PROJET
  Placer au mieux les instructions d'un programme sur un processeur multi-coeurs
  à l'aide d'un algorithme qui construit une relation d'ordre entre instructions
  et qui place sur les coeurs les instructions minimales pour la relation d'ordre
• Description du projet
• Examples d'entrées sorties

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