Logique pour l'informatique

Autor(en) : Jaume Mathieu, Journault Matthieu, Lesot Marie-Jeanne, Manoury Pascal, Mounier Isabelle

Références sciences 03.11.2020

Seiten : 342 Seiten

Sprache :

Format : 19 cm x 24 cm

Gewicht : 0,653 kg

Leseprobe Inhaltsverzeichnis ansehen

Buch

ISBN : 9782340042612

32,00€

Inkl. MwSt.

Verfügbar

E-Book

ISBN : 9782340044920

26,99€

Inkl. MwSt.

NEUES DIGITALFORMAT Erfahren Sie mehr über das digitale Format

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.

Sie müssen angemeldet sein, um auf diesen Inhalt zuzugreifen. Wenn Sie kein Konto haben, erstellen Sie kostenlos eines..

Der Verlag empfiehlt außerdem