Logique pour l'informatique

Name: Logique pour l'informatique
SKU: 9782340042612
Price: 13547 HUF
Availability: InStock

Szerző: Jaume, Journault, Lesot, Manoury, Mounier

Nyelv:

Kötés: Puha kötésű

Elérhetőség: Beszállítói készleten

Küldés 14-17 napon belül

13 547 Ft

Cet ouvrage débute par une introduction à la logique des prédicats du premier o...

Információk a könyvről

Szerző

Jaume, Journault, Lesot, Manoury, Mounier

Kötés

Könyv - Puha kötésű

EAN

9782340042612

Enbook ID

34249260

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logique pour l'informatique

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták