Outils théoriques et pratiques pour l'informatique
CONSERVATOIRE NATIONAL DES ARTS ET METIERS DE PROVENCE ALPES COTE D4AZUR
Objectifs 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
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"
Programme
"Outils mathématiques pour Informatique
Paradigmes de programmation"
Résultats attendus
Valider et obtenir le Bloc de compétence N°RNCP40116BC06
Les points forts
C
La certification
LICENCE Informatique (fiche nationale)
- TypeTitre RNCP
- Niveau de sortieBAC+3 ou 4 : licence, master 1, maîtrise (NIVEAU 6)
- Spécialité (NSF)Informatique, traitement de l'information, réseaux de transmission
- DomaineInformatique - Systèmes d’information et numérique
- Métier viséTechnicien / Technicienne de maintenance en informatique
RNCP 40116 RS -1 CertifInfo 118290