Mathematical Logic for Computer Science - Couverture souple

Mandrioli, Dino ; Spoletini, Paola

9788874883738: Mathematical Logic for Computer Science

Couverture souple

ISBN 10 : 8874883730 ISBN 13 : 9788874883738

Editeur : Societ� Editrice Esculapio, 2010

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

2 Neuf

De EUR 17,10

In the recent decades mathematical logic has become more and more important in computer science and, in general, in system engineering. In fact, by definition, it is the wey of expressing our reasoning in terms of mathematical formalism, thus supplying it with the typical rigor and precision of mathematics. Not by chance, automatic information processing is now pervasive and we find it practically in any human activity and artefact, from embedded, safety-critical systems, to e-commerce, to social networks, etc. Such a pervasiveness and the consequent heterogeneity of the involved systems mandate much more generality in the formalism supporting the engineering activity than traditional specialized models such as, e.g., those for electric circuits and mechanical engines: mathematical logic, paired with computer applications, provides such generality.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

� propos de l?auteur

DINO MANDRIOLI - e Professore Ordinario presso il Dipartimento di Elettronica al Politecnico di Milano PAOLA SPOLETINI - e Ricercatore presso il Dipartimento di Elettronica al Politecnico di Milano

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.