Logique Pour L'informatique de Isabelle Mounier Format Grand format

Logique Pour L'informatique - Isabelle Mounier

Collection: Références Sciences
Format: Grand format

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

32,00 €

Produit Neuf

Ou 8,00 € /mois

Livraison : 5,00 €
Livré entre le 27 mai et le 1 juin

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Exp¿di¿ en 7 jours ouvr¿s

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Produits similaires

Présentation Logique Pour L'informatique de Isabelle Mounier Format Grand format
- Livre Informatique

Livre Informatique - Isabelle Mounier - 03/11/2020 - Grand format - Langue : Français

Auteur(s) : Isabelle Mounier - Marie-Jeanne Lesot - Mathieu Jaume - Matthieu Journault - Pascal Manoury

Editeur : Ellipses

Collection : Références Sciences

Langue : Français

Parution : 03/11/2020

Nombre de pages : 331

Expédition : 653

Dimensions : 24 x 19 x 1.8

ISBN : 9782340042612

Résumé :
Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique. Le lecteur pourra s'assurer de sa bonne compréhension des notions techniques exposées gràce aux nombreux exercices corrigés qui les accompagnent. Ce socle est ensuite développé selon trois axes : un approfondissement des notions de logique pour elles-mêmes (théorèmes de correction et de complétude, théorèmes d'indécidabilité) . des exemples détaillés de l'informatisation de la logique, comme le problème de la satisfiabilité des formules propositionnelles et sa complexité (problème Sat) ou des algorithmes pour la recherche automatique de preuves (résolution, unification) . enfin, une illustration de quelques applications informatiques directes de la logique : programmation logique, programmation par preuve, langages de requêtes des bases de données relationnelles, model checking. Les auteurs se sont attachés à ce que, au-delà de l'exposé des éléments de base de la logique des prédicats (syntaxe, sémantique, preuves), l'ensemble du contenu de ce livre reste abordable aux étudiants de licence d'informatique sans prérequis. Ce livre pourra donc également intéresser tout étudiant en informatique (master, école d'ingénieurs, concours, etc.), voire tout informaticien en activité curieux de découvrir le bénéfice que l'on peut tirer de la logique pour l'informatique.

Biographie:
Les auteurs de cet ouvrage sont enseignants-chercheurs en informatique au LIP6 à Sorbonne Université.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Avis sur Logique Pour L'informatique de Isabelle Mounier Format Grand format - Livre Informatique

Note : 0 0 avis sur Logique Pour L'informatique de Isabelle Mounier Format Grand format - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Logique Pour L'informatique - Isabelle Mounier

Présentation Logique Pour L'informatique de Isabelle Mounier Format Grand format - Livre Informatique

Avis sur Logique Pour L'informatique de Isabelle Mounier Format Grand format - Livre Informatique

Présentation Logique Pour L'informatique de Isabelle Mounier Format Grand format
- Livre Informatique