|
|
|
|
|
Logique pour l'informatique
Publisher title : Logique pour l'informatique
COLLECTIF
|
|
|
LEARN MORE
Summary
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.
Details
|
Price:
|
$47.99
|
|
Category:
|
|
|
Author:
|
COLLECTIF
|
|
Title:
|
Logique pour l'informatique
|
|
Release date:
|
April 2026
|
|
|
|
|
|
Editor:
|
ELLIPSES
|
|
Collection:
|
RÉFÉRENCES SCIENCES
|
|
|
|
Subject:
|
Général
|
|
ISBN:
|
9782340044920 (2340044928)
|
|
Renaud-Bray Reference:
|
3280843
|
|
|
|
Item nb:
|
3280843
|
Digital rights
|
Format:
|
PDF
|
|
Availability :
|
Canada,
other authorized countries.
Logique pour l'informatique
By
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
|
|
Digital Rights Management :
|
Adobe DRM
|
|
Numeric warehouse :
|
NUMILOG
|
|
Number of authorized devices:
|
3
|
|
Number of copy-and-pastes:
|
0
|
|
Print:
|
0
|
|
|
|
Logique pour l'informatique
,
COLLECTIF
©
ELLIPSES
2026
|
|
1449 item(s) in your cart.
Renaud-Bray will pay
the shipping costs *
|