Télécharger le livre :  On the Foundations of Computing

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

Format(s) : PDF
49,51

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Reflections on Programming Systems

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

Format(s) : PDF, ePub
137,14

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  The Realism-Antirealism Debate in the Age of Alternative Logics

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
Format(s) : ePub
147,69

Téléchargement immédiat
Dès validation de votre commande