P eBooks
eBooks di P con argomento Logica
Che cos'è la verità. E-book. Formato EPUB Piergiorgio Odifreddi - Castelvecchi, 2016 -
Da dove arriva la "verità"? Con la sua consueta ironia e abilità di scrittura il logico Odifreddi scava nell'archeologia linguistica della parola facendo scaturire tre diverse significazioni: la verità matematica, che abbiamo già dentro di noi (aletheia, "non-dimenticanza"); la verità di fede o giuridica, demandata a qualcuno cui si conferisce potere (veritas); la verità scientifica, sollevamento di un velo che ricopre la realtà (apokalypsis). Un viaggio emozionante che dall'antico Egitto (la dea della verità Maat e il giudice Tot) ci conduce, attraverso la tradizione greca (Apollo ed Hermes) e romana (veritas e verdictum), al cristianesimo (Gesù e Pilato) e al Medioevo (Cristo e il demonio), sino ad arrivare al sorprendente concetto della scienza moderna, per cui verità è apokalypsis?
Mathematical Logic for Computer Science. E-book. Formato PDF Paola Spoletini - Società Editrice Esculapio, 2020 -
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.