Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
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 !
Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
Alice a quatorze ans quand elle est hospitalisée : un premier roman foudroyant
Yeong-ju est l’heureuse propriétaire d’une nouvelle librairie, située dans un quartier résidentiel de Séoul...
Un moment privilégié avec l’auteur de la bande dessinée "Azur Asphalte" : attention, places limitées !