INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A) - Sciences à l'université - les editions ellipses
  • Les mathématiques au collège
  • lCollection Compétences attendues
  • Nouveautés géopolitique
  • Agrégation Lettres
  • Collection 24 jours
  • Collection Actu Concours
  • Collection Que faire quand on ne sait pas
    Voir panier
Rechercher     
Mon compte  |  Commander
  Accueil » Catalogue » SCIENCES » Sciences à l'université » Informatique » INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Matières
DROIT - ECO - GESTION->
HISTOIRE - GEO / GEOPOLITIQUE->
LANGUES->
LETTRES / SCIENCES HUMAINES->
MEDECINE / PARAMEDICAL->
SCIENCES->
  Culture scientifique->
  Sciences à l'université->
    Biologie / SVT
    Informatique
    Mathématiques
    Physique-Chimie
    Sciences industrielles
CONCOURS FONCTION PUBLIQUE->
CONCOURS GRANDES ECOLES->
PARASCOLAIRE (BTS, Collège, Lycée)->
LIVRES AVEC FICHIERS AUDIO MP3->
Collections
Les nouveautés plus
BTS Français - Culture générale et expression - Seuls avec tous - Examens 2019 et 2020
BTS Français - Culture générale et expression - Seuls avec tous - Examens 2019 et 2020
9.50€
Informations
Contactez-nous
Conditions d'utilisation

Loi du 8 juillet 2014
Droits d'auteur
Gestion de mes droits d'auteur

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

ISBN :   9782729872298

24.40€

Collection :  Technosup (Cliquez sur le nom de la collection pour visualiser tous les titres)

Auteur : Lafourcade Pascal, Levy Michel, Devismes Stéphane

Code : LAFOUR

Parution : 28-02-2012

Format : 17.5 x 26 cm

Poids : 0.423 kg

Pages : 216 pages

   
 Lire un Extrait du livre  
 Consulter la Table des Matières  

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.

 
Bulletin d'Information
Souscription NewsletterInscrivez-vous
à nos newsletters
Panier plus
vide
Les prochaines parutions plus
SOS allemand. Révision systématique de la grammaire et du vocabulaire. Niveau 1 (A1) - 2e édition revue et augmentée. (fichiers audio)
SOS allemand. Révision systématique de la grammaire et du vocabulaire. Niveau 1 (A1) - 2e édition revue et augmentée. (fichiers audio)
9.50€