Accueil UnitésProgrammation fonctionnelle en Kotlin
NFP101

U.E Programmation fonctionnelle en Java

nombre d’heures
51
Modalités 100% à distance
Crédits ects
6

Où se
former?

1 Centre d’enseignement en Nouvelle-Aquitaine

Quand se former ?

Rentrée
Permanente !
voir toutes les dates

Votre projet professionnel commence ici !

Formez-vous avec

Dites-nous tout sur votre projet !

Choisissez une session de formation

Centres de formation :
Modalités d’enseignement : 100% à distance Mixte : à distance + cours en salle Présentiel
Centres de formation Prochaines sessions Modalités Informations
Session 2021/2022
Centres de formation Prochaines sessions Modalités Informations
Nouvelle-Aquitaine Février 2022
Juin 2022

2nd semestre
NFP101-2021-2-FN-NA

Pas d'information disponible

Session 2022/2023
Centres de formation Prochaines sessions Modalités Informations
Nouvelle-Aquitaine Février 2023
Juin 2023

2nd semestre
NFP101-2022-2-FN-NA

Pas d'information disponible

Voir ma liste de formation
Prérequis :

Avoir une expérience de la programmation orientée objets ou avoir le niveau des unités d'enseignement VARI (NFP135 et NFP136).

Objectifs :

L'objectif de ce cours est d'étudier les mécanismes des langages orientés objets (encapsulation, héritage, redéfinition, liaison tardive, ...) lorsqu'ils sont sont combinés avec le style de la programmation fonctionnelle. L'accent est mis sur la sûreté de l'exécution et en particulier, sur ce que doit apporter le typage statique pour assurer la correction de l'exécution.

Compétences visées :

Maîtrise de la combinaison des styles de programmation objet et fonctionnels. Compréhension du rôle et du fonctionnement du typage statique pour garantir certaines propriétés de sûreté.

Nous contacter

Les séances prendront la forme de "leçons" : les concepts seront présentés en cours puis illustrés directement à travers des exemples et des exercices de programmation.
Le langage utilisé pour illustrer ces concepts sera Java, Scala ou un langage moderne équivalent.
L'accent sera mis en particulier sur les avantages du typage statique et de la combinaison des styles de programmation objet et fonctionnels pour garantir des propriétés essentielles de sûreté.
Une application majeure des techniques étudiées sera l'implantation d'algorithmes massivement parallèles dans le style classique Map-Reduce.
Ce cours se termine par une initiation à l'utilisation de méthodes formelles pour aller au-dela du typage et prouver complètement la correction d'un programme objet-fonctionnel.

Modalités de validation :

Examen écrit.

Nous contacter

Agenda

Choisissez une session de formation

Centres de formation
Modalités d’enseignement : 100% à distance Mixte : à distance + cours en salle Présentiel
  • Session 2020/2021

    Pas d'Unité d'Enseignement pour cette session

  • Session 2021/2022

  • Session 2022/2023

Présentation

Prérequis :

Avoir une expérience de la programmation orientée objets ou avoir le niveau des unités d'enseignement VARI (NFP135 et NFP136).

Objectifs :

L'objectif de ce cours est d'étudier les mécanismes des langages orientés objets (encapsulation, héritage, redéfinition, liaison tardive, ...) lorsqu'ils sont sont combinés avec le style de la programmation fonctionnelle. L'accent est mis sur la sûreté de l'exécution et en particulier, sur ce que doit apporter le typage statique pour assurer la correction de l'exécution.

Compétences visées :

Maîtrise de la combinaison des styles de programmation objet et fonctionnels. Compréhension du rôle et du fonctionnement du typage statique pour garantir certaines propriétés de sûreté.

Nous contacter

Les séances prendront la forme de "leçons" : les concepts seront présentés en cours puis illustrés directement à travers des exemples et des exercices de programmation.
Le langage utilisé pour illustrer ces concepts sera Java, Scala ou un langage moderne équivalent.
L'accent sera mis en particulier sur les avantages du typage statique et de la combinaison des styles de programmation objet et fonctionnels pour garantir des propriétés essentielles de sûreté.
Une application majeure des techniques étudiées sera l'implantation d'algorithmes massivement parallèles dans le style classique Map-Reduce.
Ce cours se termine par une initiation à l'utilisation de méthodes formelles pour aller au-dela du typage et prouver complètement la correction d'un programme objet-fonctionnel.

Modalités de validation :

Examen écrit.

Nous contacter
Tarif indicatif
1 020

Mobilisez les financements auxquels vous avez droit !

Votre entreprise

finance

1 020

Vous payez

0

Pôle Emploi



finance

510

Vous payez

0

Votre CPF

Compte Personnel de Formation

finance

1 020

Vous payez

0

Le Conseil Régional

finance

Vous payez

156 (1)

AG2R (2)
La Mondiale

finance
700

/module (4 modules maximum/an)

Vous payez

0
(1) -20% pour les demandeurs d'emploi (2) Dispositif réservé aux adhérents demandeurs d'emploi

Besoin de plus d’information sur les dispositifs de financement ?

Demandez l’aide
d’un conseiller
Cnam Nouvelle-Aquitaine

Valorisez votre formation avec un diplôme !

CPN8402A-1
Titre RNCP Niveau 6 (ex niveau II) Concepteur en architecture...
CYC9101A
Diplôme d'ingénieur Spécialité informatique parcours Architecture...
Appuyer sur Entrée pour chercher ou la touche ESC pour fermer
    top