Informatique Théorique - Logique Et Démonstration Automatique, Introduction À La Logique Propositionnelle Et À La Logique Du Premier Ordre - Lafourcade Pascal
- Collection: TECHNOSUP
- Format: Broché
- 214 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre69,90 €
Occasion · Très Bon État
Ou 17,48 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Edition 2012. Ammareal reverse jusqu'à 15% du prix net de ce livre à des organisations caritatives.
Nos autres offres
-
69,90 €
Occasion · Très Bon État
Ou 17,48 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Edition 2012. Ammareal reverse jusqu'à 15% du prix net de ce livre à des organisations caritatives.
-
69,90 €
Occasion · Très Bon État
Ou 17,48 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Edition 2012. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
-
69,90 €
Occasion · Très Bon État
Ou 17,48 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2012. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
-
69,90 €
Occasion · Très Bon État
Ou 17,48 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
- Protection acheteurs :
- 0,00 €
Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2012. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
- 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 Informatique Théorique - Logique Et Démonstration Automatique, Introduction À La Logique Propositionnelle Et À La... - Livre Informatique
1 avis sur Informatique Théorique - Logique Et Démonstration Automatique, Introduction À La Logique Propositionnelle Et À La... - Livre Informatique
Donnez votre avis et cumulez 1
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Electrotechnique
Neuf dès 60,00 €
Occasion dès 54,01 €
-
Algorithmique - Cours Avec 957 Exercices Et 158 Problèmes
2 avis
Occasion dès 35,00 €
-
Analyse Et Régulation Des Processus Industriels - Tome 1, Régulation Continue
1 avis
Occasion dès 79,99 €
-
Html & Css, Design Et Création Web
3 avis
Occasion dès 36,00 €
-
Final Fantasy Vii : Crisis Core - Le Guide Officiel
12 avis
Occasion dès 54,54 €
-
Les Algorithmes De Base De L'informatique Quantique - Tome 2, Grover, Shor Et Métaheuristiques Quantiques
Neuf dès 39,00 €
Occasion dès 37,05 €
-
Electrotechnique - 3ème Édition
Occasion dès 60,00 €
-
Resident Evil 2
Occasion dès 49,90 €
-
Le Grand Livre Du Ms Dos 6.0
Occasion dès 55,50 €
-
Entraînements Électriques - Tome 1, Alimentations Des Machines Électriques Principe De La Conversion Électromécanique
Occasion dès 59,74 €
-
Hands-On Machine Learning With Scikit-Learn, Keras, And Tensorflow - Concepts, Tools, And Techniques To Build Intelligent Systems
Occasion dès 41,00 €
-
Les Secrets De L'image Vidéo - Colorimétrie, Éclairage, Optique, Caméra, Signal Vidéo, Compression Numérique, Formats D'enregistrement, Formats D'images
2 avis
Neuf dès 42,00 €
Occasion dès 37,81 €
-
Histoire De Nintendo (L') - Tome 1
6 avis
Occasion dès 39,85 €
-
Icnd - Guide De Certification 640-811 - (1 Cd-Rom)
Occasion dès 40,50 €
-
Powershell Core Et Windows Powershell - Les Fondamentaux Du Langage, Avec 1 Complément Vidéo : Automatisation Des Tâches, Création D'interfaces Et Outils Graphiques
Neuf dès 38,90 €
-
Du Binaire Au Processeur - Méthodes De Conception De Circuits Numériques Et Exercices
Neuf dès 39,00 €
-
Pki Sous Windows Server 2016 - Sécurité, Cryptographie Et Certificats
1 avis
Occasion dès 36,90 €
-
Les Antennes - Théorie Et Pratique, Émission Et Réception
4 avis
Occasion dès 44,55 €
-
Management De La Sécurité De L'information Et Iso 27001 - Principes Et Mise En Oeuvre De La Gouvernance
Occasion dès 36,92 €
-
Tout L'art De Death Stranding
1 avis
Occasion dès 69,90 €
Produits similaires
Présentation Informatique Théorique - Logique Et Démonstration Automatique, Introduction À La Logique Propositionnelle Et À La...
- Livre InformatiqueAuteur(s) : Lafourcade Pascal - Lévy Michel - Desvismes StéphaneEditeur : EllipsesCollection : TECHNOSUPParution : 05/03/2012Nombre de pages : 214Nombre de livres : 1Expédition :...
Résumé :
Destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner. L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérité, logique qui est celle des circuits combinatoires. Sont uniquement présentés des résultats et algorithmes dont il existe une réalisation logicielle permettant de les appliquer automatiquement sur des exemples. Dans une première partie consacrée à la logique propositionnelle sont présentés les définitions, les résultats de base, la résolution, la stratégie complète et l'algorithme DPLL, ainsi que la déduction naturelle. Dans la seconde partie l'ensemble des notions, résultats et techniques est revisité pour la logique du premier ordre. Enfin le livre comprend de nombreux exercices gradués avec leurs corrigés détaillés, qui permettent à chacun de tester ses connaissances et la compréhension des concepts présentés.
Biographie:
Stéphane Devismes est maître de conférences à l'université Joseph-Fourier de Grenoble où il est responsable du module introduction à la logique, à l'antenne Drôme-Ardèche. Pascal Lafourcade est maître de conférences à l'université Joseph- Fourier de Grenoble où il est responsable du module introduction à la logique. Michel Lévy est maître de conférences retraité de l'université Joseph-Fourier de Grenoble où il a enseigné la logique à tous les niveaux.
Sommaire:
["LOGIQUE PROPOSITIONNELLE","Logique propositionnelle","\r\nRésolution propositionnelle","Déduction naturelle","LOGIQUE \r\nDU PREMIER ORDRE","Logique du premier ordre","Base de la \r\ndémonstration automatique","Déduction naturelle au premier \r\nordre : quantificateurs, copie et égalité"]
©
Détails de conformité du produit
Personne responsable dans l'UE