EUR 26,50
  • Tous les prix incluent la TVA.
Il ne reste plus que 4 exemplaire(s) en stock (d'autres exemplaires sont en cours d'acheminement).
Expédié et vendu par Amazon. Emballage cadeau disponible.
Logique pour l'informatiq... a été ajouté à votre Panier
Vous l'avez déjà ?
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir cette image

Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique Broché – 6 octobre 2008

Envie d'offrir un livre ? Découvrez les succès de l'année 2017, que nous avons sélectionnés spécialement pour vous !


Voir les formats et éditions Masquer les autres formats et éditions
Prix Amazon
Neuf à partir de Occasion à partir de
Broché
EUR 26,50
EUR 26,50 EUR 49,65
Note: Cet article est éligible à la livraison en points de collecte. Détails
Récupérer votre colis où vous voulez quand vous voulez.
  • Choisissez parmi 17 000 points de collecte en France
  • Les membres du programme Amazon Prime bénéficient de livraison gratuites illimitées
Comment commander vers un point de collecte ?
  1. Trouvez votre point de collecte et ajoutez-le à votre carnet d’adresses
  2. Sélectionnez cette adresse lors de votre commande
Plus d’informations

nouveautés livres nouveautés livres

click to open popover

Offres spéciales et liens associés

  • Gratuit : téléchargez l'application Amazon pour iPhone, iPad, Android ou Windows Phone ou découvrez la nouvelle application Amazon pour Tablette Android !

  • Outlet Anciennes collections, fin de séries, articles commandés en trop grande quantité, … découvrez notre sélection de produits à petits prix Profitez-en !

  • Tout à moins de 5 euros ! Découvrez notre sélection de produits à petits prix... Profitez-en !

  • Publiez votre livre sur Kindle Direct Publishing en format papier ou numérique : C'est simple et gratuit et vous pourrez toucher des millions de lecteurs. En savoir plus ici .
  • Plus de 10 000 ebooks indés à moins de 3 euros à télécharger en moins de 60 secondes .


Produits fréquemment achetés ensemble

  • Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique
  • +
  • Mathématiques pour l'informatique - Licence 1 & 2 Informatique
Prix total: EUR 66,50
Acheter les articles sélectionnés ensemble

Description du produit

Présentation de l'éditeur

Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique.

Biographie de l'auteur

Professeur à l'université d'Evry / Val d'Essonne, Serenella Cerrito appartient au laboratoire IBISC (Informatique, biologie intégrative et systèmes complexes, FRE CNRS.3190, Genopole). Sa double formation en informatique et en philosophie des sciences l'a conduite à enseigner la logique tant aux informaticiens qu'aux étudiants en philosophie. Ses recherches portent principalement sur les applications de la théorie de la preuve et la déduction automatique à la programmation et aux bases de données.

Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.

  • Apple
  • Android
  • Windows Phone
  • Android

Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.



Détails sur le produit


Quels sont les autres articles que les clients achètent après avoir regardé cet article?


Commentaires client

Il n'y a pour l'instant aucun commentaire client.
Partagez votre opinion avec les autres clients

Où en sont vos commandes ?

Livraison et retours

Besoin d'aide ?