Séminaire LJK-Modèles et Algorithmes Déterministes: CASYS
-
Le Jeudi 29 Juin 2006 à 9h45 en Salle 1 - Tour IRMA
-
Séminaire de
-
Dessiner des raisonnements
-
Résumé:
-
on verra sur des exemples simples comment certains raisonnements correspondent à des constructions appelées "pushouts" (ou "sommes amalgamées"), et peuvent être dessinés.
-