Catalogue des formations

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

• Licence Informatique

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, Valence
Langue(s) : Français