Programmation avancée Recherche opérationnelle et aide à la décision

- Appliquer des approches raisonnées de résolution de problèmes complexes par décompositions et/ou approximations successives et mettre en oeuvre des méthodes d analyse pour concevoir des applications et algorithmes à partir d un cahier des charges partiellement donné. - Se servir aisément de plusieurs styles/paradigmes algorithmiques et de programmation (approches impérative, fonctionnelle, objet et multitâche) ainsi que plusieurs langages de programmation. - Concevoir le traitement informatisé d informations de différentes natures, telles que des données, des images et des textes. - Caractériser le rôle des tests et des preuves de correction dans le développement des logiciels et mettre en oeuvre des tests élémentaires et des invariants de boucle. - Expliquer et documenter la mise en oeuvre d une solution technique. - Concevoir, implémenter et exploiter des bases de données. - 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. - Utiliser un logiciel de calcul formel ou scientifique.

Valider et obtenir le Bloc de compétence N°RNCP24514BC03