Note moyenne : /5 (sur 0 notes)
Introductionà la logique formelle et symbolique: Avec des exercises et leurs corriges
Résumé :
Les apprentis logiciens et leurs enseignants avec eux se plaignaient jusqu'ici de ne disposer d'aucun ouvrage d'initiation à la logique formelle et symbolique ; aussi devaient-ils se rabattre sur des traités unanimement jugés trop difficiles pour satisfaire le débutant.Cet ouvrage se propose tout d'abord de présenter à l'étudiant les premières notions du calcul propositionnel et du calcul des prédicats. Il pr... >Voir plus