UNIT

Sommaire

cours / présentation

Approches fonctionnelles de la programmation

Fournir un panorama complet du paradigme de programmation fonctionnelle et de son positionnement par rapport aux autres paradigmes de programmation (en particulier de la programmation impérative). Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell....

Date de création :

07.01.2009

Auteur(s) :

Didier Verna

Accéder à la ressource :

Présentation

Informations pratiques

Langue du document : Français
Type : cours / présentation
Temps d'apprentissage : 14 heures
Niveau : licence
Public(s) cible(s) : apprenant
Document : Document HTML, Document PDF
Age attendu : 18 et +
Difficulté : facile
Droits d'auteur : pas libre de droits, gratuit
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Description de la ressource

Résumé

Fournir un panorama complet du paradigme de programmation fonctionnelle et de son positionnement par rapport aux autres paradigmes de programmation (en particulier de la programmation impérative). Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell.

  • Granularité : cours
  • Structure : collection

"Domaine(s)" et indice(s) Dewey

  • (005.1)
  • (005.11)

Domaine(s)

  • Génie logiciel : conception, qualité, documentation, maintenance
  • Informatique
  • Informatique
  • Informatique
  • Programmation : Algorithmique, langages, conception objet, programmes

Informations pédagogiques

  • Proposition d'utilisation : Cours de Programmation Fonctionnelle donné à l'EPITA en première année du cycle Ingénieur.

Informations techniques

  • Configuration conseillée : Nécessite Adobe Acrobat Reader ou tout autre logiciel permettant la lecture de documents au format PDF

Intervenants, édition et diffusion

Intervenants

Créateur(s) de la métadonnée : Isabelle Gilles-Gallet
Validateur(s) de la métadonnée : Isabelle Gilles-Gallet

Édition

  • Institut National de Recherche en Informatique et en Automatique

Diffusion

Cette ressource vous est proposée par :UNIT - accédez au site internetUNIT - accédez au site internet

Fiche technique

Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-1739
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-1739
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNIT

Publication : 23.02.2009

fuscia
Lisp
Haskell
preuve de programme

Voir aussi

UNIT
UNIT
01.08.2011
Du rêve à la réalité des preuves
Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
  • assistant de preuve
  • preuve formelle
  • preuve de programme
  • logique mathématique
  • démonstration
  • complexité
  • fuscia
UNIT
UNIT
11.12.2008
La vérité et la machine
Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
  • preuve de programme
  • preuve formelle
  • logique mathématique
  • démonstration
  • Coq
  • théorème des quatre couleurs
  • fuscia