SOLDES

Jusqu'à -70% sur une sélection d'articles*

Logique : fondements et applications

Par : Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber
Formats :
Grand Format
26,80 €
E-book - PDF
18,99 €
Nous vous prions de nous excuser mais rencontrons momentanément des soucis d'approvisionnement. C’est le moment de vous laisser tenter par nos livres numériques et notre offre occasion.
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 16 novembre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages286
  • FormatGrand Format
  • PrésentationBroché
  • Poids0.495 kg
  • Dimensions17,0 cm × 24,0 cm × 1,5 cm
  • ISBN978-2-10-082158-7
  • EAN9782100821587
  • Date de parution05/01/2022
  • CollectionSciences Sup. Mathématiques
  • ÉditeurDunod

Résumé

Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique vue en Licence 2 et 3 d'informatique et de mathématiques appliquées à l'informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux exercices corrigés permettent au lecteur de s'entrainer. Il propose enfin une ouverture sur des applications pratiques de la logique : logique et base de données, structures automatiques, et jeux d'évaluation.
L'outil en ligne Pravda, développé pour le livre par les auteurs et accessible gratuitement, fournit des exercices en logique formelle, plus précisément pour les systèmes de preuve.

L'éditeur en parle

Les plus en ligne : retrouvez l'outil en ligne Pravda conçu par les auteurs.

A propos de Pierre Le Barbenchon

Découvrir l'auteur