Skip to topic | Skip to bottom
Home
Linfo
Linfo.Compte-renduDesRéunionsr1.7 - 19 May 2005 - 15:03 - BenychouSabrinatopic end

Start of topic | Skip to actions

1er compte rendu

31 mars 2005

La présentation comportera deux parties:


A] la présentation orale :

1. Une première partie sera consacrée aux généralités c'est-à-dire une présentation simple de la logique linéaire
2. La maîtrise du sujet:
_ on étudiera le problème des philosophes http://deptinfo.unice.fr/~rr/l3systres (cliquer travaux dirigés td1.ps)
_ Les trains Boliviens et Péruviens
La présentation orale se fera à l'aide de transparents.

B] le rapport:

On développera quelques problèmes informatiques bien connus et nous étudierons comment la logique linéaire en donne une lecture, un modèle de résolution et nous donnerons des outils pour le résoudre.
Le rapport sera en trois parties:
1. Présentation de quelques problèmes de concurrence
2. Introduction à la logique linéaire et comment on l'utilise pour la résolution
3. Applications de la logique linéaire

2eme compte rendu

Le 7 avril 2005
Personnes présentes à la réunion du matin 8h30:
nos coordinateurs
Mlle Benychou Sabrina
Mlle Espenel Celine

Nous avons corrigé notre présentation, nous avons trié les principaux documents à utiliser.
Nous avons décidé de créer cette nouvelle page web sous wiki, ce qui nous permettra de travailler à trois sur la même page web.
On a fait l'inventaire des outils d'edition en LateX?, notre choix se portera probablement sur TeXmacs?.
D'ici la semaine prochaine nous aurons le plan détaillé définitif.
Pour le sujet en lui même, nous avons entrevu les réseaux de preuves de la logique linéaire entre autres l'application des règles d'introduction et d'élimination.

Personnes présentes 1h30 :

Benychou Sabrina
Espenel Céline
Ndèye Marie Touré

Création de la page, plan détaillé.

3eme compte rendu


le 8/04
personnes présentes:
Benychou Sabrina
Espenel Céline
Touré Ndèye Marie

rédaction de l'introduction générale

répartition des tâches pour lundi


Céline s'occupe de la partie syntaxique
Marie traitera de l'histoire de la logique linéaire
je m'occupperai du problème des trains

4eme compte rendu

le 11 avril 2005
personnes presentes: notre trinome
nous avons rédigé l'histoire de la logique linéaire
nous avons commencé la partie syntaxique de la logique

5eme compte rendu

le 18 avril
notre trinome était présent nous avons corrigé quelques erreurs du rapport et rassemblé les differentes parties en latex (l'introduction, la syntaxe, la sémantique, le début du problème des trains, et le début des reseaux de preuves)

-- BenychouSabrina - 18 Apr 2005

6eme compte rendu

le 21 avril personnes présentes:
nos coordinateurs
notre trinome
Nous allons revoir notre introduction, l'ancienne version étant plus un résumé, nous allons partir d'illustrations
Au niveau de l'histoire nous parlerons des prédécesseurs de la logique linéaire
Nous ferons des rappels de logique classique
nous avons revu l'organisation du plan et des outils utilisés

-- BenychouSabrina - 21 Apr 2005

7eme compte rendu

le 3 mai personnes présentes: nos coordinateurs et notre trinome Nous allons revoir à nouveau notre introduction, nous allons modifier notre manière d'introduire les connecteurs de la logique nous reverrons également la partie historique ainsi que les prédecesseurs de la logique linéaire -- BenychouSabrina - 03 May 2005

8eme compte rendu

le 19 mai 2005
personnes présentes: nos coordinateurs,notre trinome
Le rapport est très "sec", nous devons le developper davantage, mettre des redondances et des transitions entre les chapitres.
Certains chapitres n'étant toujours pas remplis, seront soit supprimés, soit renomés en particulier le petit historique,le chapitre nommé notion d'equilibre ainsi qu'une partie sur la programmation fonctionnelle.
Nous allons commencer la rédaction de la conclusion.
Nous allons egalement revoir l'ordre de présentation des connecteurs.
-- BenychouSabrina - 19 May 2005
to top

You are here: Linfo > JournauxDeBord > GestionDesRessources > Compte-renduDesRéunions

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