Paradigmes de programmation (Prog. fonctionnelle) (PRFO411_INFO)
Présentation
Donner, en guise de complément aux paradigmes de la programmation impérative et orientée objet, un panorama des paradigmes de programmation courants avec une approche comparative.
Objectifs
- Bases de lambda-calcul et langages de programmation fonctionnelle (illustrations possibles : OCaml, Haskell, Scala, F#, etc.)
- Concepts de base et programmation en logique (illustration possible : Coq)
Pré-requis
M2103 : Bases de la programmation orientée objet
M3103 : Algorithmique avancée
Volume horaire
- CM : 8.0
- TD : 10.0
- TP : 12.0
Diplômes intégrant ce cours
En bref
Méthode d'enseignement
En présence
Forme d'enseignement
Cours magistral
Langue d'enseignement
Français
Date de début des cours
16 janvier 2017
Date de fin
25 juin 2017
Contact(s)
UFR, Écoles, Instituts
Responsable(s)
Lieu(x)
- Annecy-le-Vieux (74)