Logique linéaire
Proposition de stage (niveau master 1)
Sujet:
Il s'agit de comprendre la logique linéaire et ses liens avec les
autres logiques et l'informatique.
Le point de départ pourrait être le cours suivant (en anglais):
http://www.pps.jussieu.fr/~dicosmo/CourseNotes/LinLog/cours1.ps.gz
Une fois les bases de la logique linéaire maitrisés, le mémoire
consisterait à comprendre
comment on utilise la logique lineéaire en informatique.
Encadrement:
Laboratoire d'accueil:
Prérequis:
Matériel:
Table, chaise, papier, stylo-bille, tableau, craie, bibliothèque,
café, terminal, lumière(s).
Cette page est accessible par internet: http://math.unice.fr/~ah/stages/wims.html.