Logique - Tome 1 - méthodes pour l'informatique fondamentale

Logique - Tome 1 - méthodes pour l'informatique fondamentale
59,99€
  • Pagination : 456
  • EAN : 9782746235458
  • Protection numérique : Digital watermarking
  • Langue du livre : Français

ebook

Achat immédiat, sans abonnement.

Le saviez vous ?

Lisez votre e-book sur ordinateur, tablette et mobile grâce aux applications :


Vivlio et Cultura
partenaires pour vos
lectures numériques
Tout est synchronisé
grâce à votre compte
Cultura
Une aide en ligne pour
vous accompagner

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et IA.Les nombreuses qualités didactiques de ce livre, le souci permanent de culture et d'histoire, la grande précision et la justesse technique de l'exposé, la volonté de traiter les aspects récents de la logique ayant donné lieu à des applications (telle la méthode de résolution qui est à la base du langage informatique Prolog) en feront un ouvrage de référence pour de longues années, utile à de nombreux étudiants. Pour la Science Voici l'ouvrage de logique qui manquait en français entre les manuels de vulgarisation et les traités spécialisés pour les troisièmes cycles de mathématiques... Ici, bien des éléments sont présents pour prétendre à la place de référence pour les cours de premier cycle universitaire. Bibliographie de la philosophie, septembre 1996
 
Logique - Tome 1 - méthodes pour l'informatique fondamentale

Logique - Tome 1 - méthodes pour l'informatique fondamentale


On vous recommande avec votre achat
Logique - Tome 1 - méthodes pour l'informatique fondamentale

Logique - Tome 1 - méthodes pour l'informatique fondamentale

59,99
+