39,99 €
Produit Neuf
Ou 10,00 € /mois
- Livraison : 9,29 €
- Livré entre le 24 et le 29 août
Pourquoi certains raisonnements sont-ils nécessaires, tandis que d'autres semblent plausibles sans être valides ? Ce livre propose une introduction à la logique formelle, de la logique propositionnelle et des prédicats à la logique modale et aux...
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Logique Formelle Format Auto édition - Livre Littérature française
0 avis sur Logique Formelle Format Auto édition - Livre Littérature française
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Logique formelle
Neuf dès 39,99 €
-
L?Idole Robert Merle
Occasion dès 0,90 €
-
Meteores. Les Rochers Sacres Et Leur Histoire
Neuf dès 11,50 €
Occasion dès 2,50 €
-
Comme Un Hibou Au Soleil
1 avis
Occasion dès 0,90 €
-
Le Roman De Renart
7 avis
Occasion dès 0,90 €
-
Rendez-Vous A Bagdad
Occasion dès 0,90 €
-
La Vanoise - Parc National
Occasion dès 2,20 €
-
L'envol Des Tourterelles
3 avis
Neuf dès 21,60 €
Occasion dès 0,90 €
Comparer à des produits similaires
|
Auteur
-
|
-
|
-
|
-
|
-
|
Agatha Christie
|
-
|
-
|
Auteur
-
|
|
Format
Auto édition
|
-
|
-
|
Poche
|
Poche
|
-
|
Relié
|
Grand format
|
Format
Auto édition
|
| Voir les prix | Voir le produit | Voir le produit | Voir le produit | Voir le produit | Voir le produit | Voir le produit | Voir le produit | Voir les prix |
Présentation Logique Formelle Format Auto édition
- Livre Littérature française
Pourquoi certains raisonnements sont-ils nécessaires, tandis que d'autres semblent plausibles sans être valides ? Ce livre propose une introduction à la logique formelle, de la logique propositionnelle et des prédicats à la logique modale et aux logiques non classiques. Le lecteur découvre les notions essentielles, les formes normales, la résolution et le raisonnement automatique. Une attention est accordée aux théorèmes d'incomplétude de Gà¿del, qui montrent les limites des systèmes formels. L'ouvrage aborde aussi la logique floue, la logique par défaut et la programmation par ensembles de réponses. Avec exercices, il s'adresse aux étudiants et enseignants pour comprendre le raisonnement mathématique et informatique.
Détails de conformité du produit
Personne responsable dans l'UE