Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Logique, réduction, résolution

Éditeur(s): Elsevier Masson
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. ©Electre 2024
40,00 €
Chargement...

La logique ou L'art de raisonner

Éditeur(s): le Pommier
Présente la logique comme une discipline à part entière. Longtemps du ressort des philosophes, elle a aujourd'hui pris sa place au sein des mathématiques. Ce livre explique comment lire des énoncés logiques, comment leur donner un sens et enfin comment les utiliser d...
14,20 €
Chargement...
1