Accueil : Délégation Académique à l'Action Culturelle

article Les sciences s’invitent - Conférence n°2 : "Logique ou comment faire raisonner la machine : application à la simulation biologique"     -    publié le 17/12/2007    mis à jour le 02/10/2009

opération "les sciences s’invitent"

• la conférence : Logique ou comment faire raisonner la machine : application à la simulation biologique

La logique permet de définir mathématiquement le raisonnement humain. En informatique, elle permet notamment de décrire le comportement d’un logiciel et de prouver ses « bonnes » propriétés.
Pour utiliser ces techniques en simulation nous les adaptons pour : décrire les comportements possibles des objets et prouver des propriétés générales (pour toute évolution).

• l’intervenant :

Nom ARNOULD Agnès
Structure Université de Poitiers fonction Maître de conférences, Enseignement et recherche
Domaine Informatique, génie logiciel, méthodes formelles, application à la modélisation géométrique à base topologique Laboratoire SIC -SP2MI – Bd Marie et Pierre Curie – BP 30179 - 86962 Futuroscope-Chasseneuil Cedex

• la démarche et le public :

la démarche 1- quelques éléments de logique, de preuve automatique, ex. du métro automatique,

2- transposition aux objets géométriques, résultats actuels et attendus en biologie,

3- naissance et vie de d’un projet scientifique (idée, collaboration pluri-disciplinaire, encadrement de thèse, financement...).
Nombre d’interventions par an à fixer
Niveau élèves Tous
Secteur géographique concerné Tous

si vous êtes intéressés, indiquez dans le formulaire suivant :

  • votre nom et la matière enseignée,
  • l’adresse complète de l’établissement,
  • la (les) section(s) et le nombre d’élèves prévu pour cette conférence.
  • la plage horaire ou de dates envisagée.
Contact
Accessibilité
Mentions légales
RSS
Académie de Poitiers, Rectorat, 22 rue Guillaume VII le Troubadour BP 625 86022 Poitiers Cedex