Logique pour l'informatique
eBook - PDF

Logique pour l'informatique

  1. French
  2. PDF
  3. Disponible sur iOS et Android
eBook - PDF

Logique pour l'informatique

À propos de ce livre

Cet ouvrage débute par une i ntroduction à 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 n ombreux exercices corrigés.

Foire aux questions

Oui, vous pouvez résilier à tout moment à partir de l'onglet Abonnement dans les paramètres de votre compte sur le site Web de Perlego. Votre abonnement restera actif jusqu'à la fin de votre période de facturation actuelle. Découvrez comment résilier votre abonnement.
Pour le moment, tous nos livres en format ePub adaptés aux mobiles peuvent être téléchargés via l'application. La plupart de nos PDF sont également disponibles en téléchargement et les autres seront téléchargeables très prochainement. Découvrez-en plus ici.
Perlego propose deux forfaits: Essentiel et Intégral
  • Essentiel est idéal pour les apprenants et professionnels qui aiment explorer un large éventail de sujets. Accédez à la Bibliothèque Essentielle avec plus de 800 000 titres fiables et best-sellers en business, développement personnel et sciences humaines. Comprend un temps de lecture illimité et une voix standard pour la fonction Écouter.
  • Intégral: Parfait pour les apprenants avancés et les chercheurs qui ont besoin d’un accès complet et sans restriction. Débloquez plus de 1,4 million de livres dans des centaines de sujets, y compris des titres académiques et spécialisés. Le forfait Intégral inclut également des fonctionnalités avancées comme la fonctionnalité Écouter Premium et Research Assistant.
Les deux forfaits sont disponibles avec des cycles de facturation mensuelle, de 4 mois ou annuelle.
Nous sommes un service d'abonnement à des ouvrages universitaires en ligne, où vous pouvez accéder à toute une bibliothèque pour un prix inférieur à celui d'un seul livre par mois. Avec plus d'un million de livres sur plus de 1 000 sujets, nous avons ce qu'il vous faut ! Découvrez-en plus ici.
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l'écouter. L'outil Écouter lit le texte à haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l'accélérer ou le ralentir. Découvrez-en plus ici.
Oui ! Vous pouvez utiliser l’application Perlego sur appareils iOS et Android pour lire à tout moment, n’importe où — même hors ligne. Parfait pour les trajets ou quand vous êtes en déplacement.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sous iOS 13 ou Android 7 ou versions antérieures. En savoir plus sur l’utilisation de l’application.
Oui, vous pouvez accéder à Logique pour l'informatique par Jaume Mathieu,Journault Matthieu,Lesot Marie-Jeanne,Manoury Pascal en format PDF et/ou ePUB ainsi qu'à d'autres livres populaires dans Ciencia de la computación et Ciencias computacionales general. Nous disposons de plus d'un million d'ouvrages à découvrir dans notre catalogue.

Table des matières

  1. Préface
  2. Table des matières
  3. Introduction
  4. CHAPITRE 1 - Langages logiques
  5. CHAPITRE 2 - Preuves formelles
  6. CHAPITRE 3 - Interprétation : fonctions, prédicats et connecteurs
  7. CHAPITRE 4 - Variables et quantificateurs
  8. CHAPITRE 5 - Correction et complétude
  9. CHAPITRE 6 - Calculabilité et décidabilité
  10. CHAPITRE 7 - Le fragment propositionnel
  11. CHAPITRE 8 - Résolution, unification
  12. CHAPITRE 9 - La correspondance preuves-programmes
  13. CHAPITRE 10 - Bases de données
  14. CHAPITRE 11 - Model checking et logiques temporelles
  15. ANNEXE A - Solution des exercices
  16. Bibliographie
  17. Index