Le jury de la 16e édition, présidé par Jean-Christophe Rufin, a délibéré
En associant philosophie et logique, cet ouvrage apporte un éclairage sur l'évolution de la logique de l'époque d'Aristote à nos jours.
Il présente les différents formalismes des logiques non-standard en expliquant tout d'abord les besoins de ces logiques puis leurs descriptions syntaxiques et sémantiques. A l'aide d'exercices, il offre un panorama de ces logiques qui sont complexes à " utiliser " pour modéliser des connaissances permettant ainsi aux lecteurs d'appréhender ce domaine.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Le jury de la 16e édition, présidé par Jean-Christophe Rufin, a délibéré
Une plongée dans la vie rurale d'hier et d'aujourd'hui, par des auteurs français et étrangers
Dans ce village normand peuplé de paysans taiseux et d’enfants-fées, une jeune vétérinaire découvre le cadavre d'un étalon sauvagement mutilé
Un roman graphique exceptionnel qui raconte l'incroyable parcours de George Lucas, le créateur de Star Wars