Agenda

Renardes et Lorelei

Lecture de textes en relation avec le sujet du cours (7)

Multirésolutions

Algèbre (I) : applications de l'algèbre linéaire

Ectoplasmes et urnes funéraires

Algèbre (II) : la méthode des polynômes

Manigances et retournements

Les antécédents modernes de la sémiotique (2)
Signes, perception et action : Reid et Condillac ou comment peut-on ne pas être réaliste ?

Comment classer une bibliothèque ?

À la recherche de la bibliothèque perdue : Galien à Paris

Bases orthonormales d'ondelettes

Comment raisonner sur un logiciel ? La naissance des logiques de programmes

Entrées en religion, et sorties de la Voie

Pour une sémiotique réaliste d'inspiration peircienne (1)
Icônes, indices, symboles, objets et interprétants : puiser dans la richesse des signes pour s'ancrer dans le monde

À quoi pensent les catalogues ?

Construction du canon scolaire, construction de la littérature

Espèces naturelles, profil causal et constitution multiple

Parcimonie et compression d'images

Variables et boucles : la logique de Hoare

Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP

Vengeances et conversions

Pour une sémiotique réaliste d'inspiration peircienne (2)
Signifier, asserter, raisonner et agir

Le livre universel, ou l'ordre idéal et fantomatique du monde

Construire, déconstruire une bibliothèque de la littérature mondiale

La fabrique des articulations

Pointeurs et structures de données : la logique de séparation

Preuve auto-active de programmes en SPARK

Théophanies et apothéoses

Pour une sémiotique réaliste d'inspiration peircienne (3)
Tenir compte de la réalité sémantique, épistémique et ontique du vague pour rester au plus près du réel

Théorie de l'archive