UE Modélisation des structures informatiques: aspects formels - INF202 -

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

• 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.