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

Téléchargement immédiat
Dès validation de votre commande