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
Format(s) : PDF
26,99