Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability) - Tapa blanda

Turner, Raymond

 
9783662585597: Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Raymond Turner is an emeritus professor of the School of Computer Science and Electronic Engineering of the University of Essex. His research interests include theoretical computer science, mathematical logic, philosophical logic, philosophy of mathematics, and the philosophy of computer science.

De la contraportada

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.


"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783662555644: Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)

Edición Destacada

ISBN 10:  3662555646 ISBN 13:  9783662555644
Editorial: Springer, 2018
Tapa dura