Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logique pour l'informatique
Consulter un extrait

Librairie Eyrolles - Paris 5e
Disponible en magasin

Logique pour l'informatique

Logique pour l'informatique

Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot - Collection Références sciences

342 pages, parution le 03/11/2020

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.

Extrait du livre : Logique pour l'informatique

L'auteur Mathieu Jaume

Autres livres de Mathieu Jaume

Caractéristiques techniques du livre "Logique pour l'informatique"

  PAPIER
Éditeur(s) Ellipses
Auteur(s) Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot
Collection Références sciences
Parution 03/11/2020
Nb. de pages 342
Format 19 x 24
Couverture Broché
Poids 653g
Intérieur Noir et Blanc
EAN13 9782340042612

Avantages Eyrolles.com

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

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ d'un million de 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