[Educasup] Lettre d'information des Archives Henri-Poincaré(février 2020)

[Pierre Edouard Bour]

Chères et chers collègues,

La lettre d'information des Archives Henri-Poincaré pour février 2020 
est en ligne à :
http://poincare.univ-lorraine.fr/fr/la-lettre-dinformation-des-archives-poincare-fevrier-2020

Bonne lecture,

Pierre Edouard Bour

Ps. Toutes nos excuses pour les éventuels doublons














--
https://www.vidal-rosset.net/mailing_list_educasupphilo.html

[Educasup] [Codes Sources] Combinatoir e analytique (Mich�le Soria, 5 mars 2020)

[Baptiste Mélès]

Séminaire « Codes sources »

L'objectif du séminaire Codes sources est de présenter la pensée
informatique là où elle s'exprime le plus concrètement : dans les textes
que sont les codes sources.


Séance du jeudi 5 mars 2020 (14h-16h) :

Michèle SORIA (Sorbonne Université, LIP6) :

  « Combinatoire Analytique : énumération, statistiques et génération
  aléatoire »


Résumé :

  La Combinatoire Analytique, développée par Philippe Flajolet et son
  école à partir des années 1980, est une théorie dont l’objectif est de
  quantifier les propriétés de structures discrètes variées, telles que
  mots, permutations, arbres, graphes… L’approche est celle d’un calcul
  sur les structures, fondé sur les propriétés algébriques et
  analytiques des séries génératrices de dénombrement.

  On étudie des structures qui peuvent être spécifiées récursivement en
  fonction d’opérations combinatoires telles que Union, Produit,
  Séquence, Ensemble, Cycle. La phrase-clé de la Combinatoire Analytique
  est « If you can specify, you can analyse » : à partir des
  spécifications, on développe une chaîne de traitement systématique,
  voire automatique, qui donne les lois asymptotiques générales
  gouvernant les séquences de dénombrement et le comportement des
  paramètres.

  La première étape consiste à transcrire les spécifications en termes
  d’opérations algébriques sur les séries génératrices de dénombrement
  des structures. Dans l’étape suivante, les séries génératrices sont
  interprétées comme des fonctions analytiques, dont les singularités
  sont déterminantes pour les estimations asymptotiques. Cette vision
  par l’analyse complexe permet d’étudier les propriétés statistiques
  des structures de grande taille, et de montrer des phénomène
  d’universalité : de nombreuses propriétés des structures combinatoires
  dépendent de traits globaux de leur définition, et non de détails.

  Cet exposé présente un panorama de résultats de Combinatoire
  Analytique, ainsi que quelques algorithmes efficaces pour
  l’énumération et la génération aléatoire. Il est illustré de nombreux
  exemples et accompagné de traitements automatiques avec les modules
  COMBSTRUCT et GFUN de MAPLE.


Lieu :

  Salle 15-16/101 de l'IRILL (rotonde 15, 1er étage)
  4 place Jussieu, 75005 Paris
  métro Jussieu (lignes 7 et 10)




Prochaines séances du séminaire Codes sources :

- 12 mars 2020 : Roberto DI COSMO (Inria, PPS, Université
  Paris-Diderot) : « Towards software as a first class citizen in the
  scholarly world »

- 30 avril 2020 : Viviane PONS (Université Paris-Sud, GALaC) : 
  « Le notebook Jupyter : un outil pour l'enseignement »

- 14 mai 2020 : Valeria GIARDINO (CNRS, Institut Jean-Nicod, ENS
  Paris) : « Diagrammes et autres outils cognitifs : quelle place dans
  la pratique mathématique ? »

- 4 juin 2020 : Agathe KELLER (CNRS, SPHERE, Université Paris-Diderot) :
  « Des textes d’algorithmes concis, quelques exemples tirés de sūtras
  d’Āryabhaṭa (né en 476) et de son commentaire par Bhāskara (629) »


Sauf mention contraire, toutes les séances ont lieu de 14 heures à
16 heures au LIP6.





/* ***
   * À propos du séminaire Codes sources *
   *** */

À celui seul qui prend la peine de les lire effectivement, les codes
sources révèlent leur richesse. On y découvre que l'élégance d'un
algorithme réside parfois hors de sa complexité, dans l'usage virtuose
des idiomes du langage de programmation ou dans la connaissance fine de
la machine à laquelle il est destiné. Bien souvent des codes sources
comportent davantage de lignes de commentaires que de code. Tous ces
trésors de pensée informatique fondent à la compilation comme neige au
soleil — preuve qu'un programme n'est pas seulement écrit pour être
compilé.

Le but du séminaire est de décrire ces œuvres de l'esprit comme des
textes à part entière. Nous espérons ainsi contribuer à la constitution
d'une culture générale en programmation. En informatique comme en
littérature, cela suppose la familiarisation progressive avec un corpus
de grands textes.

À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé
en informatique, en histoire ou en philosophie — présente, en moins
d'une heure, un code source de son choix : un fragment de système
d'exploitation, de pilote, de compilateur, de bibliothèque... Le code
peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans
quelque langage que ce soit. Le commentaire peut être algorithmique,
stylistique, historique ou philosophique, et porter sur tous les aspects
du code, commenta

[Educasup] Publication : revue Philosophique hors-série 2020 ( PUFC)

[Michaël Crevoisier]

*Annonce de parution*
Presses universitaires de Franche-Comté
Rencontre autour de Bruno Bachimont
La technologie nous fait-elle savoir et penser autrement ?
Michaël CREVOISIER – Fabien FERRI – Carole WIDMAIER (dir.)
[image: Rencontre autour de Bruno Bachimont]

*2020* - ISBN : *978-2-84867-718-7*

*118* pages - *15x21 cm*

10,00 € *8,00 €*

Revue : *Philosophique*

Responsable de la revue : *Louis Ucciani*

Diffuseur : *FMSH-Diffusion*
Télécharger le sommaire

*Résumé :*

Les nouvelles technologies présentent un intérêt majeur, tant du point de
vue de l'histoire des techniques, des transformations sociales et
politiques que leurs usages impliquent, que pour la réflexion philosophique
elle-même, car elles interrogent les conditions de possibilité de
l’exercice de la raison. La diversité des questionnements des jeunes
chercheurs réunis autour de Bruno Bachimont dans ce numéro témoigne de la
fécondité de la pluralité des modes d’interrogation philosophiques sur ce
sujet. Ces articles sont les actes des Ateliers doctoraux "Philosophie et
sciences" tenus les 4 et 5 octobre 2017 à Besançon, organisés par le
laboratoire Logiques de l’agir de l’université de Franche-Comté.


Revue publiée avec le soutien des Annales littéraires.

*Pour précommander l'ouvrage :*

Prix spécial de souscription jusqu'au *13 mars 2020*
Site des PUFC
(Paiement
par CB ou chèque)
Consulter le site : http://pufc.univ-fcomte.fr
Contact : presses-...@univ-fcomte.fr
Se désabonner 
- Mentions
légales 

-

--
https://www.vidal-rosset.net/mailing_list_educasupphilo.html