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
- Déterminer la composition active et passive de la communauté
- Mettre en œuvre la théorie des récompenses
| Tarif |
A partir de 1 061,00 € |
| Durée |
1 jour |
| Modes |
|
Formation Les Organismes de Placement Collectif en Valeurs Mobilières (OPCVM)
Proposé par LEFEBVRE DALLOZ COMPETENCESObjectifs de la formation
- Définir les contraintes juridique et règlementaire des OPCVM
- Décrire les modalités de fonctionnement des OPCVM
- Discerner les différentes techniques de gestion de portefeuilles d'investissement au sein des OPCVM
| Tarif |
A partir de 1 834,00 € |
| Durée |
2 jours |
| 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
- 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 |
|
Formation Tout savoir sur la nouvelle convention collective de la métallurgie
Proposé par LEFEBVRE DALLOZ COMPETENCESObjectifs de la formation
- Analyser les nouvelles dispositions conventionnelles
- Programmer les actions à mener afin d'appliquer la convention
- Identifier les risques attachés à la nouvelle classification
- Accompagner les salariés dans la compréhension du nouveau système de cotation des emplois
| Tarif |
A partir de 1 792,00 € |
| Durée |
2 jours |
| 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
À l'issue de cette formation Designing Cisco Data Center Infrastructure vous aurez acquis les connaissances et les compétences nécessaires pour :
- Faire des choix de conception pour optimiser les performances de l'infrastructure du centre de données, la virtualisation, la sécurité et l'automatisation
- Maîtriser les connaissances pratiques et théoriques nécessaires pour concevoir un centre de données évolutif, fiable et intelligent basé sur les technologies Cisco
- Se qualifier pour des postes de niveau professionnel dans le domaine très demandé des environnements de centres de données d'entreprise
- Décrire les options et les protocoles de transfert de la couche 2 et de la couche 3 utilisés dans un centre de données
- Décrire les options de conception des racks, les modèles de trafic et l'accès, l'agrégation et le noyau de la couche de commutation du centre de données
- Décrire la technologie Cisco Overlay Transport Virtualization (OTV) qui est utilisée pour interconnecter les centres de données
- Décrire le protocole de séparation Locator/ID
- Concevoir une solution qui utilise le réseau local extensible virtuel (VXLAN) pour le transfert du trafic
- Décrire les options de redondance matérielle ; comment virtualiser le réseau, les fonctions de calcul et de stockage ; et la mise en réseau virtuelle dans le centre de données
- Décrire les solutions qui utilisent des extensions de fabric et comparer Cisco Adapter Fabric Extender (FEX) avec la virtualisation entrée/sortie à racine unique (SR-IOV : single root input/output virtualization)
- Décrire les menaces et les solutions de sécurité dans le centre de données
- Décrire les technologies avancées de sécurité des centres de données et les best practices
- Décrire la gestion et l'orchestration des appareils dans le centre de données
- Décrire les options de stockage pour la fonction de calcul et les différents niveaux de RAID (Redundant Array of Independent Disks) du point de vue de la haute disponibilité et des performances
- Décrire les concepts, les topologies, l'architecture et les termes de l'industrie Fibre Channel
- Décrire Fibre Channel over Ethernet (FCoE)
- Décrire les options de sécurité dans le réseau de stockage
- Décrire les options de gestion et d'automatisation de l'infrastructure de réseau de stockage
- Décrire les serveurs UCS Cisco et les cas d'utilisation pour diverses plateformes UCS Cisco
- Expliquer les options de connectivité pour les interconnexions en tissu pour les connexions vers le sud et vers le nord
- Décrire la solution hyperconvergente et les systèmes intégrés
- Décrire les paramètres de l'ensemble du système pour la mise en place d'un domaine UCS Cisco
- Décrire le contrôle d'accès basé sur les rôles (RBAC : role-based access control) et l'intégration avec les serveurs d'annuaire pour contrôler les droits d'accès sur Cisco UCS Manager
- Décrire les pools qui peuvent être utilisés dans les profils de service ou les modèles de profils de service sur Cisco UCS Manager
- Décrire les différentes politiques dans le profil de service
- Décrire les politiques d'interface Ethernet et Fibre Channel et les technologies réseau supplémentaires
- Décrire les avantages des modèles et la différence entre les modèles initiaux et les modèles mis à jour
- Décrire les outils d'automatisation des centres de données
| Tarif |
A partir de 4 140,00 € |
| Durée |
5j / 35h |
| Modes |
|
Objectifs de la formation
- Identifier les enjeux d'une démarche Low Cost dans le contexte économique actuel
- Concevoir une stratégie Low Cost adaptée à son marché
- Gérer les étapes de la mise en oeuvre au sein de l'entreprise
- Prévenir les risques liés à l'image de marque, à l'organisation de l'activité Low Cost
| Tarif |
A partir de 1 390,00 € |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
- Déchiffrer les techniques de gestion alternative utilisées pour produire de la performance absolue
- Différencier les primes de risque pour mieux les monétiser
- Lier typologie de risque et rentabilité par type de stratégie
| Tarif |
A partir de 1 834,00 € |
| Durée |
2 jours |
| Modes |
|
Formation Tout savoir sur la Convention Collective de la banque
Proposé par LEFEBVRE DALLOZ COMPETENCESObjectifs de la formation
- Analyser les dispositions conventionnelles
- Identifier les particularités de la Convention Collective de la banque
- Identifier les risques contentieux liés à ce secteur d'activité
| Tarif |
A partir de 1 792,00 € |
| Durée |
2 jours |
| Modes |
|
