Télécharger le livre :  Logique pour l'informatique

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 : Editions Ellipses
Parution : 2020-10-12
Collection : Références sciences
Format(s) : PDF
26,99
Guide des formats