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, ValenceLangue(s) : Français
En bref
Période : Semestre 2Crédits : 6
Volume horaire
- TP : 15h
- CM : 15h
- TD : 30h
Contact(s)
Responsable pédagogiqueGestionnaire de scolarité
Alexandre BOITET
Evelyne Zorzettig Lemoine

Etudiants internationaux
Ouvert aux étudiants en échange
Crédits : 6.0
Crédits : 6.0