PRESENTATION

  • Le mot du directeur
  • Organigramme
  • Annuaire
  • Contacts & Accés
  • Intranet

RECHERCHE

  • Géométrie & Images
  • Modèles et Algorithmes Déterministes
  • Données & Aléatoire :Théorie & Applications

PRODUCTION

  • Séminaires & Colloquiums
  • Soutenances de thèses
  • Faits Marquants
  • Publications
  • Logiciels
  • Galerie

EMPLOIS & FORMATIONS

  • Formation à la Recherche
  • Offres d'Emplois
  • UFR-IMA
  • ENSIMAG

LIENS

  • Platforme LJK Forge
  • INRIA Rhône-Alpes
  • Maimosine
  • AMIES
  • LSI
  • Persyval-lab

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.

 

Mentions légales - contact: Webmaster