Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Informatique théorique

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)

- 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 du livre "Informatique théorique"

  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
Sélection de Noël

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 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 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925