| | | Module CA : Catégories, applications l'informatique |
Ce cours fait partie du parcours FTI : Fondements et Théories de l'Informatique. Il s'adresse à tout étudiant ayant le niveau d'une maitrise d'informatique ou de mathématiques ; aucune connaissance préalable n'est requise.
On traitera des sémantiques des langages de programmation, du point de vue des catégories et des diagrammes plutôt que du point de vue de la logique traditionnelle. Les catégories ont été introduites dans les années 1940 et elles sont utilisées depuis les années 1960 comme une alternative à la logique. Elles fournissent un cadre formel pour décrire de nombreux problèmes liés aux sémantiques des langages de programmation. De plus, l'aspect diagrammatique des catégories permet de visualiser les problèmes étudiés.
On introduira quelques notions fondamentales de la théorie des catégories et on montrera qu'elles corrrespondent à des notions de base en informatique. Ensuite on verra comment prolonger cette approche pour tenir compte d'effets de bord dans les langages de programmation.
Ce cours pourrait déboucher, entre autres, sur une étude des sémantiques des langages de modélisation diagrammatique, comme UML.
| | | Module CA : Catégories, applications l'informatique |