Formation Coq pour l'industrie
Public admis
- Salarié en Poste
- Demandeur d'emploi
- Entreprise
- Etudiant
Financements
Eligible CPF Votre OPCO Financement personnel
Objectifs de la formation
À l'issue de cette formation Coq vous aurez acquis les connaissances et les compétences nécessaires pour :
- Installer Coq
- Programmer en Coq
- Structurer un développement Coq
- Faire des preuves en Coq
- Extraire des programmes
- Produire du matériel certifiable
| Tarif |
Contacter l'organisme |
| Durée | 3 jours (21h) |
| Modes |
|
| Sessions | |
| Lieux | Partout en France |
| Tarif |
Contacter l'organisme |
| Durée | 3 jours (21h) |
| Modes |
|
| Sessions | |
| Lieux | Partout en France |
Description
L'assistant de preuve Coq est un outil de développement formel utilisé dans le cadre académique mais également industriel pour modéliser ou vérifier des programmes.
Cette formation Coq, de trois jours, orientée vers l'industrie, permet d'initier les apprenants au langage et son écosystème ainsi qu'au développement et à la preuve de programme en utilisant des techniques simples.
Programme
Introduction
Présentation de CoqDomaines d'application
Écosystème
Installation et premiers pas
Le langage fonctionnel
Le calcul des constructionsDéfinitions et commandes
Arguments implicites
Sections
Modules
Notations
DocumentationTravaux pratiquesDécouverte de la bibliothèque standard, écriture de programmes simples et leur évaluation
Le langage de preuves
Définition des propriétésTactiques de base
Tactiques évoluées
Le langage Ltac
L'isomorphisme de Curry-HowardTravaux pratiquesSpécification et preuve des programmes précédemment écrits
Cas pratiques
Un mini langageUne politique de contrôle d'accès
Prérequis
Public
Ces formations pourraient vous intéresser
Objectifs de la formation
À l'issue de cette formation 6G, vous aurez acquis les connaissances nécessaires pour :
- Comprendre les opportunités qu'offre la 6G
- Contribuer activement au développement et à l'implémentation de la 6G
- Connaître les applications et les services concernés par la 6G
- Comprendre les défis et les enjeux soulevés par la 6G
| Tarif |
A partir de 890,00 € |
| Durée |
1j / 7h |
| Modes |
|
Objectifs de la formation
- Connaître les microorganismes spécifiques aux produits laitiers
- Maîtriser les méthodes de détection et d'analyse microbiologique
- Identifier les risques microbiologiques et appliquer les méthodes de prévention associées
| Tarif |
A partir de 1 160,00 € |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
- Comprendre les enjeux de l'industrie 4.0.
- Voir des applications transposables à son entreprise.
- Évaluer sa maturité et les principes d'action à retenir.
| Tarif |
A partir de 885,00 € |
| Durée |
1 jour ( 7 heures) |
| Modes |
|
Objectifs de la formation
- Identifier les concepts fondamentaux et les technologies qui sous-tendent l'intelligence artificielle
- Analyser des études de cas d'intégration de l'IA dans l'industrie pour comprendre les défis, les solutions et les résultats
- Utiliser des outils et des techniques d'IA dans des scénarios pratiques liés à l'industrie
- Évaluer les considérations éthiques, la conformité réglementaire et les questions de confidentialité des données associées à la mise en œuvre de l'IA dans l'industrie
- Créer un plan stratégique pour l'adoption des technologies d'IA dans un environnement industriel
| Tarif |
A partir de 2 700,00 € |
| Durée |
3 jours |
| Modes |
|
Objectifs de la formation
- Évaluation des compétences acquises via un questionnaire en ligne intégrant des mises en situation. (Pour passer le certificat voir "Certificat".)
| Tarif |
A partir de 5 275,00 € |
| Durée |
10 jours (70 heures) |
| Modes |
|
Objectifs de la formation
A l'issue de cette formation, vous serez capable de :
- Décrire l'écosystème de l'IoT industriel (IIoT) et de l'industrie 4.0
- Lister les différents cas d'usage de l'industrie 4.0 et ces modèles économiques
- Expliquer les différentes technologies mises en jeu
- Interpréter la mise en oeuvre d'un projet.
| Tarif |
A partir de 760,00 € |
| Durée |
1j / 7h |
| Modes |
|
Objectifs de la formation
A l'issue de cette formation, vous serez capable de :
- Identifier et décrire les impacts et les enjeux de la transformation digitale
- Présenter la terminologie de l'univers digital
- Distinguer les stratégies des géants du numérique et des start-up
- Lister les nouveaux métiers liés aux nouvelles technologies du digital
- Mieux reconnaître les récentes technologies disruptives
- Mettre en oeuvre les méthodologies nécessaires pour permettre à votre organisation d'utiliser au mieux les opportunités de cette transformation digitale
- Transmettre la culture digitale au sein de votre organisation et auprès de vos collègues.
| Tarif |
A partir de 620,00 € |
| Durée |
1j / 7h |
| Modes |
|
Objectifs de la formation
Cette formation Conception de DataWarehouse, vous permettra d'acquérir les connaissances et compétences nécessaires pour :
- Déployer et gérer un projet de création complète d'un DataWarehouse afin d'améliorer la prise de décisions
- Appliquer la modélisation dimensionnelle à vos processus métier afin de mieux évaluer les données
- Analyser les données pour garantir la qualité des données source
- Extraire, transformer et charger des données opérationnelles.
| Tarif |
Contacter l'organisme |
| Durée |
3j / 21h |
| Modes |
|
Objectifs de la formation
- Connaître les bases de la métrologie appliquée à l'industrie agroalimentaire et son cadre réglementaire
- Identifier, choisir et utiliser les instruments de mesure
- Mettre en oeuvre un plan de contrôle qualité
| Tarif |
A partir de 1 160,00 € |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
A l'issue de cette formation, vous serez capable de :
- Gérer et organiser un projet audiovisuel en tenant compte des contraintes techniques, financières et légales.
| Tarif |
A partir de 3 100,00 € |
| Durée |
5j / 35h |
| Modes |
|
