Télécharger le livre :  Logique pour l'informatique
Ajouter à ma liste d'envies
Feuilleter
Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de...

Editeur : ELLIPSES
Parution : 2020-10-12
Collection : Références sciences
PDF

26,99