Skip to topic | Skip to bottom
Home
Linfo
Linfo.PlansDétaillésr1.10 - 19 May 2005 - 21:09 - NdeyeMarieTouretopic end

Start of topic | Skip to actions

Plans Détaillés

Plan du rapport écrit

  • Introduction
    • Définition d'une ressource
    • Introduction à la concurrence et ses outils
      • Les philosophes
      • Le problème des Trains Boliviens et Péruviens
    • Résolution des problèmes
      • sémaphores
      • moniteurs

  • La logique linéaire
    • Introduction à la logique
    • La Logique Propositionnelle
      • Présentation des séquents
      • Présentation des règles
        • affaiblissement
        • réduction
        • introduction
        • contraction
      • Discussion sur le rôle que joue la logique en concurrence (limites)
        • affaiblissement
        • réduction
      • Finesse d'une autre logique (intuitions)
        • la conjonction transformé en 2 symboles (le "et" et le "par") : exemples
        • la disjonction transformé en 2 symboles (le "ou" et le "avec") : exemples
    • Vers la logique linéaire
      • Histoire de la logique linéaire
        • Hilbert : notion de démonstration
        • Hauptsak : traduction de la logique classique dans la logique intuitionniste
        • Lewis Carroll : théorème de déduction des séquents
      • Tentatives de formalisations de la logique propositionnelle vers la logique linéaire
        • Exemple des croissants et des pains au chocolat : formalisation et présentation des symboles
    • Logique Linéaire, une logique de ressources?
      • Présentation des connecteurs : exemple des menus
      • Présentation des éléments duals : la négation
      • Récapitulatif des différents connecteurs

  • Mise en oeuvre de la logique linéaire
    • Notion d'équilibre
      • affaiblissement
      • réduction
    • Formalisation
      • Règles d'introduction
      • Axiomes et réseaux de preuves
    • Illustration avec les philosophes
    • Réseaux de preuves et Logique Linéaire

  • Autres Applications de la Logique Linéaire
    • Linguistique
    • Programmation logique
    • Lien entre la notion d'équilibre et la chimie
    • Théorie des jeux

  • Conclusion

Plan rapport oral

    • Généralités
      • Logique linéaire
        • Histoire (1 transparent)
        • Syntaxe
          • Connecteurs (1 transparent)
          • Grammaire (1 transparent)
      • Notion de ressources (sémantique)
        • Notion de ressources (intuition)(1 transparent)
        • Connecteurs et quelques métaphores qui les représentent(8 transparents ?)

    • Exemples d'applications
      • Présentation de l'outil
        • Réseau de preuves
      • Philosophes
        • Formalisation
        • Preuve

-- NdeyeMarieToure - 07 Apr 2005
to top

I Attachment sort Action Size Date Who Comment
corrige1.ps manage 137.4 K 07 Apr 2005 - 14:21 BenychouSabrina trains Boliviens et Peruviens

You are here: Linfo > JournauxDeBord > GestionDesRessources > PlansDétaillés

to top

Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding WIKIDeptinfo? Send feedback