Specification en calcul formel (3 ECTS, D. Duval)

(Calculs alternatifs)


Les problèmes de spécification en informatique prennent un aspect particulier en calcul formel :
d'une part les problèmes sont mieux posés grâce aux concepts mathématiques,
mais d'autre part les structures de données sont plus complexes.
Dans ce cours on étudie des méthodes de spécification graphiques reposant sur de l'algèbre,
qui sont particulièrement bien adaptées au calcul formel.
- Contenu :
  Rappels : graphes, relations d'ordre, monoïdes, groupes. Introduction aux catégories.
  Exemples variés de constructions catégoriques avec leurs aspects mathématique et informatique.
- Contrôle :
  Un petit mémoire personnel détaillant un point d'un article de recherche
  et un contrôle écrit traditionnel.
- Prérequis :
  Aucun.



Specification in computer algebra

Specification issues in computer science take a special form when dealing with computer algebra:
on one side the problems are stated more precisely, using the underlying mathematical concepts,
but on the other side the data structures are more complex.
These lectures focus on graphical specification methods which rely on abstract algebra
and which are well suited to computer algebra.
- Content:
  Graphs, orderings, monoids, groups. Introduction to categories.
  Many examples of categorical constructions with both aspects: mathematics et computation.
- Examination:
  A personal document studying some feature in a research paper
  and a traditional exam.
- Prerequisites:
  None.