Les sciences s’invitent - Conférence n°1 : "Logique ou comment faire raisonner la machine : application à la simulation biologique" publié le 17/09/2019 - mis à jour le 22/10/2023
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 | XLIM -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 | 2 |
| Niveau élèves | Lycée |
| 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.