Logique pour l'informatique
- French
- PDF
- Disponible sur iOS et Android
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.
Tools to learn more effectively
Saving Books
Keyword Search
Annotating Text
Listen to it instead
Informations
Table des matières
- Préface
- Table des matières
- Introduction
- CHAPITRE 1 - Langages logiques
- CHAPITRE 2 - Preuves formelles
- CHAPITRE 3 - Interprétation : fonctions, prédicats et connecteurs
- CHAPITRE 4 - Variables et quantificateurs
- CHAPITRE 5 - Correction et complétude
- CHAPITRE 6 - Calculabilité et décidabilité
- CHAPITRE 7 - Le fragment propositionnel
- CHAPITRE 8 - Résolution, unification
- CHAPITRE 9 - La correspondance preuves-programmes
- CHAPITRE 10 - Bases de données
- CHAPITRE 11 - Model checking et logiques temporelles
- ANNEXE A - Solution des exercices
- Bibliographie
- Index
Foire aux questions
- Essentiel est idéal pour les étudiants et les professionnels qui aiment explorer un large éventail de sujets. Accédez à la bibliothèque Essentiel comprenant plus de 800 000 titres de référence et best-sellers dans les domaines du commerce, du développement personnel et des sciences humaines. Il comprend un temps de lecture illimité et la voix standard de la fonction Écouter.
- Complet est parfait pour les étudiants avancés et les chercheurs qui ont besoin d'un accès complet et illimité. Accédez à plus de 1,4 million de livres sur des centaines de sujets, y compris des titres académiques et spécialisés. L'abonnement Complet comprend également des fonctionnalités avancées telles que la fonction Écouter Premium et l'Assistant de recherche.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sur iOS 13 et Android 7 ou versions antérieures. En savoir plus sur l'utilisation de l'application