Dino Mandrioli & Paola Spoletini 
Mathematical Logic for Computer Science [EPUB ebook] 

Apoio

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.

€14.00
Métodos de Pagamento
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato EPUB ● ISBN 9788835861812 ● Tamanho do arquivo 14.8 MB ● Editora Società Editrice Esculapio ● Publicado 2020 ● Carregável 24 meses ● Moeda EUR ● ID 7525098 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

993 Ebooks nesta categoria

Franz Rothe: A Course in Old and New Geometry : Volume V
The present fifth volume  recalls Hilbert’s axioms from the Foundations of 
') jQuery('#virelinsocial').html('
'); jQuery('.virelinsocial-link').css('display','block').css('margin','0px').css('margin-bottom','5px'); jQuery('#virelinsocial').show(); }); // end of document ready // END wait until jQuery is available } }, 30); })();