|
Licence |
Sciences, Technologie, Santé
|
|
Mentions : |
Statut dans la mention |
Parcours |
Statut dans le parcours |
||||
|
Informatique |
Optionnel |
|
|
||||
|
Intitulé : STS.INFO.3.6 : Informatique Théorique II
|
Semestre : 3
|
||||||
|
Volume horaire par
étudiant : 48 |
CM : 20 |
TD : 28 |
TP : |
||||
|
ECTS : 5 |
Coefficient : 1 |
||||||
Description rapide : Quelques
pistes supplémentaires pour être sûr que l'on va
bien calculer le résultat attendu.
Objectif : Familiariser les étudiants avec les concepts associés aux relations et aux lois algébriques
Pré-requis : Les connaissances abordées en STS.INFO.2.5
Programme :
Systèmes relationnels
Relations d'ordre
Relations d'équivalence
Treillis
Points fixes
Structures Algébriques
Groupes finis
Algèbre modulaire
Étude algébrique des treillis
Méthode de récurence : Fonctions génératrices
Séries et polynômes formels
Séries rationnelles
Manipulations formelles
Fonctions génératrices
Applications
Bibliographie :
N. H. Xuong, Mathématiques discrètes et informatiques, Masson.
Faculté
de Mathématique et d’Informatique