Lazi

Organisation de la partie recherche

Présentation

Cette partie présente la recherche sur Lazi passée, présente et prévue. La recherche comprend ici :

  • L'organisation des tâches , que ce soit de recherche ou de production (les deux sont souvent interdépendants).
  • Des études : cherche à répondre à une question, que ce soit en recherche pure ou pour la production.
  • Des théorèmes.

Pour ne pas être perdu, il est capital de garder une bonne vision globale de toutes ces entités. C'est pourquoi elles sont structurées suivant la relation de dépendance. Par exemple si la nécessiter de prouver un théorème apparaît pour la première fois lors de la réalisation d'une étude, alors le théorème sera une sous-page de l'étude.
Une chose plus évidente est l'importance d'un bon découpage, tel que:

  • chaque théorème a sa propre page
  • découper pour ne pas faire des pages trop grosses

Remarquons que les définitions se trouvent ailleurs, dans le lexique.

Comme la recherche est structurée par la relation de dépendance, l'entré du document est la roadmap de la tâche correspondant au projet entier.

Il existe une habitude de bonne pratique pour chaque type de page:

  • organisation des tâches (voir un exemple) : sous-titres:
    • Description:
    • Sous-tâches: une sous-tâche par ligne avec :
      • son titre,
      • son statut (fait, à faire, en cours), le statut "en cours" est surligné si le travail actuel est sur la sous-tâche
      • la date de fin associée (prévisionnelle ou effective)
  • étude (voir un exemple) : sous-titres :
    • Contexte : Donne le contexte à la question à laquelle on s'intéresse.
    • Question : La question à laquelle l'étude doit répondre.
    • Étude : L'étude elle même. S'il y a plusieurs essais, les numérotés et mettre le dernier essai en haut de la liste des essais, comme ceci : Étude 4 , Étude 3 (abandonnée), , Étude 2 (abandonnée), Étude 1 (abandonnée).
    • Réponse : La réponse à la question, si ce n'est pas possible un résumer et si ce n'est pas possible renvoyer vers l'étude.
  • théorème (voir un exemple) : sous-titres :
    • Contexte: Explique le contexte du théorème comme :
      • pourquoi on en a besoin,
      • où il se situe parmi les autres théorèmes
    • Définitions locales : Quand l'énoncé du théorème a besoin de définitions locales pour être exprimé.
    • Énoncé : Quand le théorème est de la forme ∀ x1,...,xn; P(x1,...,xn) ⇒ Q(x1,...,xn), son sépare en 3 parties : variables, conditions, conclusion
    • Preuve : la preuve du théorème.
    • Recherche d'une preuve : Bien que temporellement avant la preuve, on place la recherche après pour avoir une lecture rapide du théorème. Généralement on cré des sous-parties "Essai 1", "Essai 2" etc, mais dans l'ordre inverse, de manière à présenter les essais les plus réussis en premier.