10 résultats pour "lambda"
- lambda-calcul.
-
Lisp. langage de programmation créé et développé à partir de
est égale au produit des entiers non nuls inférieurs ou égaux à n, L'idée du lambda-calcul, qui est de traiter les fonctions comme les variables, se réalise directement dans le programme suivant « somme » qui admet en arguments une fonction f et deux entiers a et b , et qui effectue la somme des valeurs de la fonction pour tous les entiers compris entre a et b inclus : Complétez votre recherche en consultant : Les corrélats informatique - Histoire de l'informatique - La logique fo...
-
bhj
sophistes, que Platon nous présente pourtant comme ses adversaires dans ses dialogues. Les méthodes de la philosophie occidentale Étymologiquement, « philosophia » n'est pas une construction moderne à partir du grec1, mais bien un mot de la langue grecque elle-même, depuis l'Antiquité. Les termes φιλόσοφος (philosophos) et φιλοσοφεῖν (philosophein) apparaissent en quelques occurrences...
-
kymographe
kyste
L
1
et
2
la
labile
lacer
lacs
ladre
lagune
lainure
laïus
lambda
lamblie
lame
1
lampas
lance
land art
langon
lanoline
lapalissade
lapin, ine
laque
largo
lartif, larton
laser
latent, ente
latino-américain, aine
laudanum
laurier
laver
1
lécithine
légende
légitime
lemme
lentille
lèpre
lèse
léthargie
1
2
leur, leurs
le, la, les
lèvre
liane
libellule
libidineux, euse
3
licteur
liège
lice
1
lieu
ligament
1
ligoter
2
L 1 et 2 la la bile la ce r la cs la dre la gune la in ure la ïu s la m bd a la m blie la m e 1 la m pa s 1 la nce la nd a rt la ngo n la no lin e la pa lis sa de la pin , in e la que la rg o la rtif , la rto n la se r la te nt, e nte la tin o -a m éric a in , a in e la ud anum la urie r la ve r 1 le , la , le s lé cit h in e lé ge nd e lé git im e le m me le ntille lè pre lè se lé th a rg ie 2 le ur, le urs lè vre lia ne lib e llu le lib id in e ux, e use 3 lic e lic te ur liè ge 1...
-
LOUIS Louis Bernstein, dit Morris : Lambda
LOUIS Louis Bernstein , dit Morris Lambda Né à Baltimore, Maryland, 1912 Mort à Washington, D. C., 1962 Fidèle jusqu'en 1952, à un cubisme sans grande originalité , il subit un choc en découvrant l'œuvre de jackson Pollock et s'essaie, à sa manière, à un mode d'expression gestuel. La rencontre d'Helen Frankenthaler lui révèle une technique inédite : au lieu d'utiliser pinceaux et brosses ou, comme Pollock -qui avait repris le...
-
Christologie patristique
ενανθρωπήσεως τοΰ Λόγου » ou « Discours sur l'incarnation du Verbe », ou encore « De Incarnatione Verbi ». Il s'agira de penser la question du salut à partir de la christologie d'Athanase d'Alexandrie. D'où l'intitulé : « De la réception christologique athanasienne à la question christo-sotériologique en Afrique. Une herméneutique de «De Inarnatione Verbi» d'Athanase d'Alexan...
-
L'informatique a bouleversé notre pratique professionnelle, aussi bien que notre vie
quotidienne.
calculateur ordinateur - Introduction Les livres informatique - machine à calculer, page 2516, volume 5 La logique formelle L'informatique ne peut pas être réduite à une technique issue du calcul automatique ; elle trouve également ses origines dans la logique formelle. L'origine de la logique. Les sources de la logique du XX e siècle remontent au moins à Aristote (notion de syllogisme). Euclide et Ératosthène formulèrent des algorithmes ; le mathématicien arabe al-Khārazmi (vers 780-...
-
Astrologie
(λογία est un suffixe désignant d'une manière générale une discipline ou une matière d'enseignement). Étymologiquement, l'astrologie est donc le « discours sur les astres » : elle s'intéresse principalement au soleil et aux planètes du système solaire et, dans une moindre mesure, aux étoiles (Spica, Antarès, Regulus, par exemple) et aux nébulosités (Andromède), appelés astres fixes ou étoiles fixes. Définition[modifier] Il existe un grand nombre de pratiques astro...
-
-
Rappels Microéconomies
La productivité marginale d'un input correspond à la dérivée partielle de la fonction de production par rapport à cet input. Exercice 1 : Fonction de production, rendements d'échelle et productivité Q1. La fonction de production est à facteurs substituables car elle est de type Cobb Douglas. Deux facteurs sont substituables lorsqu'il est possible de remplacer un bien par un autre. ≠ Facteurs complémentaires. Q2. q = f(q1,q2) = q1alpha q2beta k = alpha + beta k = 2/ 3 → décroissa...
-
virus (biologie) (faune & Flore).
À la suite de l’assemblage de leurs composants, les virus s’agglomèrent dans le cytoplasme, sous la surface de la membrane cellulaire. Pour certains, le processus delibération s’accompagne d’une destruction de la cellule infectée. C’est le cas des bactériophages, dont la sortie provoque la lyse des bactéries infectées. Pour d’autres, des bourgeons se forment sur la membrane cellulaire sans détruire la cellule, et les virus sortent, emportant le bout de membrane plasmique qui les entoure. L’infe...