
Équilibre entre vie professionnelle et vie personnelle
Les points forts de la formation
Formation 100% à distance, à votre rythme, pas de visio
Contenu de la formation
Spécification logique et validation des programmes séquentiels
Programmation Fonctionnelle : des concepts aux applications web Programmation avancée Génie logiciel
Conduite d’un projet informatique
Durée et rythme de la formation
120 h
Objectif de la formation
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 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 œuvre des tests élémentaires et des invariants de boucle. Expliquer et documenter la mise en œuvre 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.
Certification
Actions de formation dispensées aux créateurs et repreneurs d’entreprise
Niveau de sortie : Sans niveau spécifique
Prix de la formation
Prix de la formation 2 160,00 €
Envoyez nous un sms au +33756812787 ou téléphonez nous au +33988423261