Mathématiques informatique

Deux cycles de conférences sont proposés dans la thématique
« Mathématiques informatique »
 

 
Turing et sa machine

Proposé par Aurélien Alvarez, professeur, Ecole normale supérieure de Lyon

Qu’est-ce qu’un calcul ? Qu’est-ce qu’un algorithme ? En 1936, Alan Turing a apporté une réponse à ces questions en définissant ce que l’on appelle aujourd'hui une machine de Turing, c’est-à-dire un modèle mathématique abstrait qui donne un sens précis à la notion intuitive et ancestrale de calcul et qui est particulièrement adapté sur le plan théorique pour aborder des questions de calculabilité et de complexité. Peut-on imaginer construire, uniquement avec des briques Lego, une « machine de Turing » bien réelle et « voir » ainsi un calcul ? C’est le challenge que nous avons relevé à la Maison des Mathématiques et de l’Informatique et dont nous discuterons dans ce cycle. 
 

Les lundis, 14h -> 16h

• 29sept.
  Une machine de Turing en Lego
• 06oct.
  Calcul et algorithme
• 13oct.
  Un peu de physique autour de cette machine

Mathématiques et Informatique : différents regards sur le son

Le but de ce cycle est d'explorer le son à travers une approche multidisciplinaire, mettant en lumière comment différentes disciplines scientifiques appréhendent ce phénomène. En mathématiques, le son est modélisé comme une fonction, permettant des analyses complexes grâce à des outils comme les transformations de Fourier. En informatique, il est traité comme un signal numérique, essentiel pour des applications telles que la compression audio et la synthèse sonore. De plus, les techniques d'Intelligence Artificielle ouvrent de nouvelles perspectives pour le traitement du son. Enfin, les neurosciences étudient comment le son est perçu et traité par le cerveau, offrant un aperçu des mécanismes neuronaux de l'audition. Chaque conférence apportera un éclairage différent sur ce sujet.

Les lundis, 16h -> 18h

• 12janv.
  Etude de la communication acoustique chez les animaux : la bioacoustique
• 19janv.
  Synthétiser et traiter le son par ordinateur : histoire de l'informatique musicale et sonore des années 1950 à nos jours
• 26janv.
  Comment voir le son ?
• 02févr.
  Intelligence Artificielle et créativité en musique