UE Modélisation des structures informatiques : applications

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

Descriptif

Programme résumé :

Raisonnement et outils théoriques pour l'informatique

  • Illustrations sur des objets informatiques de notions mathématiques de bases(logique, relation, dénombrement, structures inductives)
  • Raisonnement, preuve par récurrence (renforcement)
  • Abstraction et modélisation pour la résolution de problèmes
    • modélisation à partir d'un énoncé (éventuellement lacunaire) en langue naturelle
    • application à des problèmes concrets, outils théoriques de modélisation (automate, grammaire, graphes)
  • Etude de problèmes classiques totalement bien spécifiés, et réalisation documentée de leur solution programmée.

 

Compétences visées

  • Familiarisation avec la démonstration de propriétés non évidentes des objets informatiques
    • fondée sur la structure de ces objets
    • faisant intervenir différents niveaux d'abstraction, donc d'expression
  • Compréhension de l'interaction entre les méthodes algorithmiques de traitement des informations et les propriétés structurelles de ces informations.
  • Mise en œuvre et réalisation de solutions programmées, pour des problèmes bien formulés.

Informations complémentaires

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