Il s'agit d'un magasin de démonstration. Aucune commande ne sera honorée.
Informatique théorique. Logique et démonstration automatique, Introduction à la logique propositionn
Lafourcade Pascal - Lévy Michel - Desvismes Stépha
ELLIPSES
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.
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.
39,00 €
Impression à la demande
Impression à la demande
Certains ouvrages sont imprimés à la demande par les éditeurs.
Ils sont signalés dans le site de cette manière:
Pour ces titres, un délai supplémentaire de 5 à 10 jours peut être nécessaire.
Les commandes de ces ouvrages sont réputées ferme.
EAN
9782729872298

Caractéristiques
EAN | 9782729872298 |
---|---|
Titre | Informatique théorique. Logique et démonstration automatique, Introduction à la logique propositionn |
Auteur | Lafourcade Pascal - Lévy Michel - Desvismes Stépha |
Editeur | ELLIPSES |
Largeur | 175mm |
Poids | 423gr |
Date de parution | 28/02/2012 |
Nombre de pages | 214 |
Emprunter ce livre | Vente uniquement |
Autres livres par l'auteur de " Informatique théorique. Logique et démonstration automatique, Introduction à la logique propositionn " (Lafourcade Pascal - Lévy Michel - Desvismes Stépha)
-
Carrier Fabienne - Lafourcade Pascal - Mounier LauExercices de programmation fonctionnelle en OCaml. Une approche pédagogique par l'algorithmique, la39,00 €
-
-
Dumas Jean-Guillaume - Lafourcade Pascal - TichitLes blockchains en 50 questions. Comprendre le fonctionnement de cette technologie, 2e édition23,00 €En rupture de stock
-
Lafourcade Pascal - Le Brun Isabelle - Leclercq DiComment s'exercer à apprendre ? 2e édition22,90 €
Dans la même catégorie ( Intelligence artificielle )
-
-
Nadeau Philippe - Jobin KathleenIntelligence artificielle, génération générative, ChatGPT, Midjourney... S'approprier les nouvelles20,00 €
-
-
Desveaud KathleenL'intelligence artificielle décryptée. Comprendre les enjeux et risques éthiques de l'IA pour mieux24,50 €En rupture de stock
-
Diesbach Louis de - Brabandere Luc deBonjour ChatGPT. Comment l’intelligence artificielle change notre rapport aux autres24,90 €
Ma liste d’envies
Derniers articles ajoutés
Il n’y a aucun article dans votre liste d’envies.
- Commande avant 16h : Demain dans la boîte aux lettres !
- Livraison dès 3,50 €
- Retrait gratuit
- Paiement 100% sécurisé
4,6/5 - ⭐⭐⭐⭐⭐
2448 Avis - Source Google