Kontakt
Wie einkaufen
Versand
Kaufberater
99 b
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
27.89
€
/
Broschur
40.99
€
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.
Informationen zum Buch
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertDas könnte Sie auch interessieren
/
Broschur
32.49
€
/
Broschur
27.19
€
/
Broschur
17.59
€
/
Broschur
14.99
€
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?