39,99 €
Produit Neuf
Ou 10,00 € /mois
- Livraison : 9,29 €
- Livré entre le 26 et le 31 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 €
-
Mes Apprentissages
1 avis
Occasion dès 0,90 €
-
Le Noeud De Viperes
1 avis
Occasion dès 0,90 €
-
Bonjour Tristesse
1 avis
Occasion dès 1,40 €
-
Histoire D'ernestine - 1762
1 avis
Occasion dès 8,80 €
-
La Nuit Du Sérail
6 avis
Occasion dès 0,90 €
-
L'empire Immobile Ou Le Choc Des Mondes L'empire Immobile Ou Le Choc Des Mondes
Occasion dès 4,70 €
-
Les Atlantes
4 avis
Occasion dès 0,90 €
Comparer à des produits similaires
|
Auteur
-
|
-
|
-
|
-
|
-
|
-
|
-
|
-
|
Auteur
-
|
|
Format
Auto édition
|
Broché
|
Broché
|
-
|
Grand format
|
-
|
-
|
Broché
|
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