Télécharger le livre :  Logique - Tome 2
Ajouter à ma liste d'envies
Feuilleter
La première partie est consacrée à la théorie des ensembles. Le premier chapitre est une introduction philosophique et historique, les aspects techniques étant exposés au chapitre deux.La théorie des ensembles constitue à la fois une application essentielle de la...

Editeur : Hermés science
Parution : 1994-02-15

PDF sans DRM

56,97
Télécharger le livre :  Logique - Tome 1
Ajouter à ma liste d'envies
Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en...

Editeur : Hermés science
Parution : 1990-10-15

PDF sans DRM

59,99