Mathematical Logic for Computer Science

di

Dino Mandrioli , Paola Spoletini

Società Editrice Esculapio

Mathematical Logic for Computer Science - Bookrepublic

Mathematical Logic for Computer Science

di

Dino Mandrioli , Paola Spoletini

Società Editrice Esculapio

FORMATO

Adobe DRM

DISPOSITIVI SUPPORTATI

computer

e-reader/kobo

ios

android

kindle

€ 10,99

Descrizione

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.

Dettagli

Dimensioni del file

704,0 KB

Lingua

eng

Anno

2020

Isbn

9788835861812

Informativa e consenso per l'uso dei cookie
Questo sito utilizza, fra gli altri, cookie tecnici, cookie di marketing generico anche di terze parti, cookie di profilazione di terze parti. I cookie servono a migliorare il sito stesso e l'esperienza di navigazione degli utenti. Per conoscere tutti i dettagli, può consultare la nostra cookie policy qui. Cliccando sul pulsante "Ho capito", accetta l’uso dei cookie.