Téléchargez le livre : Logique pour l'informatique

Logique pour l'informatique

de

, , ,

Éditeur :

ELLIPSES


Collection :

Références sciences

Paru le : 2020-10-12

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
Prix papier : 32,00 € Économisez 5,01€ (-16%)
26,99 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complétude, théorème d'indécidabilité. Se tournant ensuite vers les rapports de la logique et de l'informatique, il présente les méthodes algorithmiques de démonstration automatique comme la résolution et l'unification ainsi que des applications plus directes des concepts logiques au domaine informatique (problème SAT, bases de données relationnelles, vérification de modèle, etc.)
Sa lecture ne demande aucun prérequis en la matière et peut s'adresser à tout étudiant débutant en logique (licence ou master d'informatique, élève ingénieur). L'exposé des notions de base de logique sont accompagnées de nombreux exercices corrigés.
Pages
342 pages
Collection
Références sciences
Parution
2020-10-12
Marque
ELLIPSES
EAN papier
9782340042612
EAN PDF
9782340044920
Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
illimité
Taille du fichier
4741 Ko
Prix
26,99 €

Suggestions personnalisées