Kenmerken

ConditieGebruikt

Beschrijving

Logique - Méthodes pour l'informatique fondamentale
(volume 1)

Paul Gochet & Pascal Gribomont
Éditions Hermes, 1997 (456 pages)
ISBN - 2-86601-249-6

Présente les calculs des propositions et prédicats, et introduit les théories du premier ordre, avec un accent sur les aspects calculatoires utiles en informatique et en IA .

Il est considéré comme le premier manuel complet de logique en langue française, combinant dimension pratique et rigueur conceptuelle .

La couverture est légèrement abîmée mais le contenu est en très bon état.
Zoekertjesnummer: m2301758368100sinds 20 aug. '25, 15:40