UE Modélisation des structures informatiques: aspects formels

Diplômes intégrant cet élément pédagogique :

Descriptif

Programme résumé :

  • Illustrations sur des objets informatiques de notions mathématiques de bases (logique, ensemble, relation, structures inductives)
  • Fondement du raisonnement, preuve, récurrence : preuve formelle en déduction naturelle et rédaction de preuves
  • Abstraction et modélisation pour la résolution de problèmes
    • modélisation à partir d'un énoncé en langue naturelle
    • application à des problèmes concrets, outils théoriques de modélisation
  • itération et récursivité,
  • structures abstraites (arbres, listes, relations binaires)
  • Mise en œuvre sur des programmes impératifs et fonctionnels, ainsi que sur de courts documents alliant texte et schémas, pour la résolution rigoureuse de problèmes très simples

Compétences visées

  • Faire partager aux étudiants la conviction que toute activité visant à la résolution d'un problème non trivial doit s'appuyer sur un raisonnement
  • Leur fournir les moyens de structurer ce raisonnement, de manière à ce qu'ils soient capables d'en valider eux-mêmes la correction
  • Les initier à la pratique de l'abstraction, sur des exemples : qu'ils sachent reconnaître les structures les plus simples, même dans des contextes complexes.

Informations complémentaires

Lieu(x) : Grenoble - Domaine universitaire, Valence - Briffaut
Langue(s) : Français