Archives mensuelles : juin 2016

Une machine qui raisonne ?

Une conférence sur les mathématiques logiques au lycée Jean  Monnet

Avec un peu de décalage, voici l’excellent article au sujet de la conférence d’Agnès Arnould, il a été écrit conjointement par quatre élèves de première S1 à partir des comptes rendus de l’ensemble des élèves de la classe.

“Logique ou comment faire raisonner la machine :
application à la biologie”

C’est le mardi 26 janvier 2016 que des élèves du lycée Jean Monnet ont assisté à une conférence portée sur les mathématiques logiques.
Mme Agnès Arnould, une enseignante chercheuse à l’université de Poitiers, était chargée de faire partager les connaissances qu’elle avait sur le sujet.
La mise en condition fut compliquée au départ pour les lycéens qui avaient, au préalable, très peu entendu parler des “mathématiques logiques”, “tables de vérités” ou encore “biochimie”.

logique du Chat source : lewebpedagogique.com

Certaines choses étaient complexes à comprendre” disent certains élèves, tandis que d’autres ont trouvé l’intervention “intéressante” mais néanmoins “compliquée”.

Agnès Arnould a longtemps travaillé sur une thèse qui n’a malheureusement pas pu aboutir.
Pour que ses explications ne paraissent pas totalement étrangères à son public, l’enseignante illustrait ses propos avec des anecdotes sur l’histoire d’Alan Turing ou bien encore avec la modélisation du fonctionnement d’un ascenseur.
Bien que cette conférence ne fut pas assimilée par l’ensemble de son auditoire, elle a su stimuler le sens observateur et la curiosité des étudiants. Et qui sait, pourquoi pas orienter les projets professionnels futurs de certains élèves !

 Thiaré F., Solenne H., Louis V.,  Julie M.