Alors que les logiques classiques s'attachent à formaliser et valider des raisonnements rigoureux, précis, et reposant sur des connaissances certaines, les logiques non classiques s'affranchissent de ces contraintes, pour se rapprocher des véritables modes de...
Editeur : Hermann
Parution : 2011-02-22
Collection : HORS COLLECTION
Format(s) : PDF
21,99
Télécharger le livre :  Introduction pratiqué aux Logiques classiques

Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques. Cet ouvrage, construit à...
Editeur : Hermann
Parution : 2010-09-09
Collection : HORS COLLECTION
Format(s) : PDF
26,99