|
|
|
|
|
Logique pour l'informatique
Titre de l'éditeur : Logique pour l'informatique
COLLECTIF
|
|
|
EN SAVOIR PLUS
Résumé
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.
Détails
|
Prix :
|
47,99 $
|
|
Catégorie :
|
|
|
Auteur :
|
COLLECTIF
|
|
Titre :
|
Logique pour l'informatique
|
|
Date de parution :
|
avril 2026
|
|
|
|
|
|
Éditeur :
|
ELLIPSES
|
|
Collection :
|
RÉFÉRENCES SCIENCES
|
|
|
|
Sujet :
|
Général
|
|
ISBN :
|
9782340044920 (2340044928)
|
|
Référence Renaud-Bray :
|
3280843
|
|
|
|
No de produit :
|
3280843
|
Droits numériques
|
Format :
|
PDF
|
|
Disponibilité :
|
Canada,
consultez la liste des pays autorisés.
Logique pour l'informatique
De
COLLECTIF
ANDORRE
ÉMIRATS ARABES UNIS
ALBANIE
ARMÉNIE
ANTARCTIQUE
ARGENTINE
SAMOA AMÉRICAINES
AUTRICHE
AUSTRALIE
AZERBAÏDJAN
BOSNIE-HERZÉGOVINE
BARBADE
BELGIQUE
BURKINA FASO
BULGARIE
BAHREÏN
BURUNDI
BÉNIN
BERMUDES
BRUNÉI DARUSSALAM
BOLIVIE
BRÉSIL
BAHAMAS
BOUVET, ÎLE
BELIZE
Canada
CONGO, LA RÉPUBLIQUE DÉMOCRATIQUE DU
CONGO
SUISSE
CÔTE D'IVOIRE
COOK, ÎLES
CHILI
CAMEROUN
CHINE
COLOMBIE
COSTA RICA
CUBA
CAP-VERT
CHRISTMAS, ÎLE
CHYPRE
TCHÈQUE, RÉPUBLIQUE
ALLEMAGNE
DJIBOUTI
DANEMARK
DOMINIQUE
DOMINICAINE, RÉPUBLIQUE
ALGÉRIE
ÉQUATEUR
ESTONIE
ÉGYPTE
ESPAGNE
FINLANDE
FALKLAND, ÎLES (MALVINAS)
FÉROÉ, ÎLES
FRANCE
GABON
GRENADE
GÉORGIE
GUYANE FRANÇAISE
GIBRALTAR
GROENLAND
GUINÉE
GUADELOUPE
GUINÉE ÉQUATORIALE
GRÈCE
GUATEMALA
GUINÉE-BISSAU
GUYANA
HONG-KONG
HEARD, ÎLE ET MCDONALD, ÎLES
HONDURAS
CROATIE
HAÏTI
HONGRIE
INDONÉSIE
IRLANDE
ISRAËL
|
|
Gestion des droits numériques :
|
Adobe DRM
|
|
Entrepôt numérique :
|
NUMILOG
|
|
Nombre d'appareils autorisés :
|
3
|
|
Nombre de copier/coller :
|
0
|
|
Impression :
|
0
|
|
|
|
Logique pour l'informatique
,
COLLECTIF
©
ELLIPSES
2026
|
|
|