Licence mention informatique Methodes et outils du genie logiciel
Cnam Loire-Atlantique
Non finançable CPF
Salarié en poste / Demandeur d'emploi / Entreprise
En ligne
Présentiel
Public admis
Salarié en poste
Demandeur d'emploi
Entreprise
Etudiant
Prix
Nous contacter
Durée
Nous contacter
Niveau visé
Niveau BAC + 5
Localité
En ligne
Vous pouvez suivre cette formation depuis chez vous ou depuis n’importe quel endroit à distance.
En présentiel
Découvrez les localités disponibles pour suivre cette formation en présentiel.
Objectifs
Non renseigné
Programme
• 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.
• 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.
Envie d’en savoir plus sur cette formation ?
Documentez-vous sur la formation
Ces formations peuvent vous intéresser
Les formations les plus recherchées
Lyon
Toulouse
Marseille
Montpellier
Paris
Bordeaux
Dijon
Mâcon
Nantes
Rennes
Informatique CPF
Informatique en Ligne
Administrateur systeme
Administrateur systeme CPF
Administrateur systeme en Ligne
Technicien informatique
Technicien support informatique
Consultant en informatique
Spark
Devops
Programmation
Technicien reseaux
Administrateur reseau
Hadoop
Growth hacking
Administrateur systeme Paris
Consultant en informatique Paris
Devops Paris
Spark Paris
Technicien informatique Paris
Technicien support informatique Paris
Technicien support informatique Évry-Courcouronnes
Technicien informatique Nanterre
Spark Évry-Courcouronnes
Devops Évry-Courcouronnes