• SERVICES INFORMATIQUE
• Depannage Informatique
• Maintenance Informatique
• Formation Informatique
• Installation Internet
• Recuperation de Donnees
• Reparation Ordinateur Portable
• Reseau Local sans fil
• Nettoyage Disque Dur
• Assistance Informatique
• Sauvegarde de donnees
• Recuperation Mot de Passe
• Reparation Fichiers Corrompus
• Nettoyage et Depoussierage

• OUTILS DEPANNAGE PC
• Live CD Depannage Informatique
• Mot de passe windows xp vista
• Ultmate boot cd
• BartPE

• VIE PRATIQUE
• La Bonne Semence
• La Meteo
• La Recette du Jour
• Programme TV
• Sortie Cinema
• Carte Anniversaire

• SERVICES EN LIGNE
• Forum Informatique
• Formation Windows XP
• Formation Word
• Formation Excel
• Formation Powerpoint
• Commentcamarche
• Dictionnaire Informatique
• Annuaire Internet
• Telecharger Logiciels
• Antivirus en Ligne
• Sauvegarde en Ligne
• Fond Ecran Gratuit
• Petites Annonces
• Actualites Informatique
• Je cree mon Blog
• Jeux
• Musique
• Lecture

• BOUTIQUE
• Ordinateurs Neufs
• Ordinateurs Occasion
• Guide d'achat
• Peripheriques
• Pieces Detachees
• Consommables

• FOCUS TECHNICIENS
• Toulouse
• Strasbourg
• Marseille

• Xhtml valid
• Css valid

Dictionnaire Informatique

lambda calcul

np. m.

Articles liés à celui-ci :  curryfication, Haskell.

[mathématique] Branche de la logique développée par Church, Alonzo à la fin des années 1930. Le problème est d'étudier les fonctions lorsqu'elles sont appliquées à leurs propres arguments. Les langage fonctionnels sont des extensions du lambda calcul (on y ajoute les constantes et les types).

S'écrit avec un lambda grec, normalement.

 

 

Articles voisins :  lacet < lâcher la rampe < LAD < LADT < lag < lambda calcul > lame > lamer > LAMP > LAN > lance-flammes .

Dern. modif. : 13-06-2000.