Date de mise à jour : 19/07/2023 | Identifiant OffreInfo :
02_201802032763
Organisme responsable :
UNIVERSITE DE BORDEAUX - COLLÈGE SCIENCES ET TECHNOLOGIES
Le parcours Informatique Fondamentale porte en particulier sur l'étude des graphes, de leur algorithmique, et des applications à l'algorithmique distribuée et au routage. On enseigne aussi comment décrire par des moyens logiques des structures combinatoires : mots, arbres, graphes et comment on utilise la logique pour la vérification de programmes. Ces structures et leurs transformations sont mises en oeuvre en bio-informatique et en visualisation.
https://www.u-bordeaux.fr/formation/2017/PRMA_68/informatique
-
Certifiante
Bac + 5 et plus