Résoudre des problèmes complexes en mobilisant les concepts fondamentaux de l’informatique
Description
- Appliquer des approches raisonnées de résolution de problèmes complexes par décompositions et/ou approximations successives et mettre en œuvre des méthodes d’analyse pour concevoir des applications et algorithmes à partir d’un cahier des charges
- Manipuler aisément plusieurs paradigmes algorithmiques (approches impérative, fonctionnelle, objet et multitâche).
- Choisir, sur des critères objectifs, les structures de données et construire les algorithmes les mieux adaptés à un problème donné.
- Identifier les concepts fondamentaux de complexité, calculabilité, décidabilité, vérification : apprécier la complexité et les limites de validité d’une solution.
- Caractériser les outils logiques et algébriques fondamentaux (théorie des langages et de la compilation, logique et raisonnement, ordres, induction) et leurs implications dans la programmation et la modélisation.
- Construire et rédiger une démonstration mathématique synthétique et rigoureuse
Public
Bac+2 informatique
- Nombre d’ECTS
- 4
- Code répertoire
- RNCP40116BC06
- Date de début de validité