Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 29 Janvier 2008

Cinquante ans de problèmes de spectre en logique

par Malika More (LAIC, Clermont)

En logique, le spectre d'une propriété est l'ensemble des nombres d'éléments des objets finis qui possèdent cette propriété. Depuis les années 1950, la notion de spectre a été étudiée selon plusieurs approches successives. Dans cet exposé, destiné aux non-spécialistes, je présenterai un tour d'horizon des questions principales et des résultats les plus importants du domaine, en insistant sur les liens avec des questions d'informatique fondamentale moderne.

Page web
GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr