0
Logique pour l'informatique

Logique pour l'informatique

Editeur(s) : Ellipses

Collection(s) : Références sciences

Logique pour l'informatique

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.

N'est pas en stock. Nous vous le commandons.
Envoi sous 3 à 8 jours
32.00 €
Ean : 9782340042612
Date de parution : 2020-11-03
Format et Reliure : Livre
Retrait
RETRAIT EN MAGASIN
GRATUIT
frais de port 2€x
FRAIS DE PORT 2 €
DÈS 35 € D'ACHAT
Livres en stock
LIVRES EN STOCK
retirés à la librairie ou expédiés sous 24 à 48h
Livre sur commande
LIVRES SUR COMMANDE
retirés à la librairie ou expédiés sous 3 à 8j
Retrait
RETRAIT EN MAGASIN
GRATUIT
frais de port 2€x
FRAIS DE PORT 2 €
DÈS 35 € D'ACHAT
chèques cadeaux
CHÈQUES CADEAUX
OMBRES BLANCHES
Livres en stock
LIVRES EN STOCK
retirés à la librairie ou expédiés sous 24 à 48h
Livre sur commande
LIVRES SUR COMMANDE
retirés à la librairie ou expédiés sous 3 à 8j

Librairie Ombres Blanches - Toulouse

50 rue Gambetta, Tél. 05 34 45 53 33
Cinéma : 33 rue Gambetta
Voyage : 48 rue Gambetta, Tél. 05 34 45 53 38
Langues Etrangères : 3 rue Mirepoix, Tél. 05 34 45 55 32

Suivez-nous

Newsletters

Abonnement
avec le support du CNL
France Relance
Mentions légales - CGV - RGPD - © Librairie Ombres Blanches 2025