Choisir 1 cours de programmation et 1 cours de modélisation.
Objectifs
¿ 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.
Résultat
En validant le bloc de compétences BC03, vous obtenez une composante de la Licence (L3) Informatique générale.
