Chargement...
Chargement...
  1. Auteur
  2. Lalement, René

Livres René Lalement

Auteur

Support

Série
Disponibilité

1
Logique, réduction, résolution
Logique, réduction, résolution
Auteur : René Lalement
É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 2025
40,00 €
Chargement...
La logique ou L'art de raisonner
La logique ou L'art de raisonner
Auteur : Yannis Delmas-Rigoutsos
É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