- EAN13
- 9782340042612
- Éditeur
- Editions Ellipses
- Date de publication
- 3 novembre 2020
- Collection
- REFERENCES SCIE
- Nombre de pages
- 331
- Dimensions
- 24 x 19 x 1,8 cm
- Poids
- 653 g
- Langue
- fre
Logique Pour L'Informatique
Mathieu Jaume
Editions Ellipses
Prix public : 32,00 €
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.
Offres
Redirection vers
Vous allez être redirigé vers , membre du portail leslibraires.fr, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Canal BD, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Réseau Sorcières, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires Ensemble, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libr'Aire, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail ALIP, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies Initiales, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Paris Librairies, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires à Nice, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies en Nouvelle-Aquitaine, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Chez Mon Libraire, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Place des libraires, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Lalibrairie.com, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librest, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires du Sud, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies 93, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires de l'Est, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Association des Librairies Indépendantes d'Occitanie, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.