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)

Richard Dapoigny

Tél : +33 4 50 09 23 58

Email : Richard.Dapoigny @ univ-savoie.fr

Lieu(x)

  • Annecy-le-Vieux (74)