Rayon Analyse mathématique
Fiche technique
Format : Cartonné
Nb de pages : 384 pages
Poids : 848 g
Dimensions : 16cm X 24cm
EAN : 9782225821042
Logique, réduction, résolution
Chez
Elsevier Masson
Collection(s) |
Etudes et recherches en informatique
Paru le 01/01/1990
Cartonné
384 pages
Quatrième de couverture
Présente deux paradigmes de calcul sous l'angle de la logique : la réduction, base de la programmation logique, est étudiée à travers le lambda-calcul; pour la résolution, ce sont la validité, la complétude, voire l'équité du calcul, qui importent.
