Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Informatique théorique
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Informatique théorique

Informatique théorique

Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)

Pascal Lafourcade, Stéphane Devismes, Michel Lévy - Collection Technosup

192 pages, parution le 28/02/2012

Résumé

Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.

L'auteur - Pascal Lafourcade

Autres livres de Pascal Lafourcade

Sommaire

  • Logique propositionnelle
    • Logique propositionnelle
    • Résolution propositionnelle
    • Déduction Naturelle
  • Logique du premier ordre
    • Logique du premier ordre
    • Base de la démonstration automatique
    • Déduction naturelle au premier ordre : quantificateurs, copie et égalité
  • Annexes
    • Corrigés
    • Bibliographie
    • Index
Voir tout
Replier

Caractéristiques techniques

  PAPIER
Éditeur(s) Ellipses
Auteur(s) Pascal Lafourcade, Stéphane Devismes, Michel Lévy
Collection Technosup
Parution 28/02/2012
Nb. de pages 192
Format 18 x 26
Couverture Broché
Poids 420g
Intérieur Noir et Blanc
EAN13 9782729872298
ISBN13 978-2-7298-7229-8

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription