Télécharger le livre :  On the Foundations of Computing
Ajouter à ma liste d'envies
Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its...

Editeur : OUP Oxford
Parution : 2019-11-19

PDF

49,89
Télécharger le livre :  Reflections on Programming Systems
Ajouter à ma liste d'envies
This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of...

Editeur : Springer
Parution : 2019-01-10

PDF, ePub

137,14
Télécharger le livre :  The Realism-Antirealism Debate in the Age of Alternative Logics
Ajouter à ma liste d'envies
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to...

Editeur : Springer
Parution : 2011-09-22
Collection : Logic, Epistemology, and the Unity of Science
ePub

147,69