Logique

Méthodes pour l'informatique fondamentale - Volume 1

Pascal Gribomont, Paul Gochet

456 pages, parution le 21/10/1990

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Téléchargement immédiat

Format : PDF
Sans DRM

QUANTITÉ

Résumé

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

L'auteur - Pascal Gribomont

Pascal Gribomont est professeur d'informatique et intelligence artificielle a l'universite de Liege.

Autres livres de Pascal Gribomont

Logique

Méthodes pour l'intelligence artificielle

Découvrir tous les livres de Pascal Gribomont

L'auteur - Paul Gochet

Autres livres de Paul Gochet

Logique

Méthodes pour l'intelligence artificielle

Découvrir tous les livres de Paul Gochet

Caractéristiques techniques

	PAPIER	NUMERIQUE
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Pascal Gribomont, Paul Gochet
Parution	21/10/1990	01/06/2008
Nb. de pages	456	0
Format	15.5 x 23.5	-
Poids	820g	-
Contenu	-	PDF
EAN13	9782866012496	9782746235458