Get Free Shipping on orders over $79
Computational Artifacts : Towards a Philosophy of Computer Science - Raymond Turner

Computational Artifacts

Towards a Philosophy of Computer Science

By: Raymond Turner

Hardcover | 24 July 2018

At a Glance

Hardcover


$259.75

or 4 interest-free payments of $64.94 with

 or 

Ships in 5 to 7 business days

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science.



With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation.



The book will be of value to philosophers and computer scientists.

Industry Reviews
"This superb book addresses fundamental issues for developing insight into the nature of CS as distinct from other physical sciences, engineering, or mathematics." (Shapiro, Computing Reviews, July 15, 2019)

Other Editions and Formats

Paperback

Published: 30th January 2019

More in Mathematical Foundation

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Teaching Secondary Mathematics : 2nd Edition - Gregory Hine

RRP $80.95

$66.99

17%
OFF
Foundation Maths : 7th Edition - Anthony Croft

RRP $140.65

$111.75

21%
OFF
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Teaching Mathematics 3e & Open Ended Maths Activities Revised Ed Value Pack - Dianne Siemon
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul