This book is concerned with the philosophical issues that surround computational artefacts, the technical artefacts of computer science with which computer scientists construct software, computers, tablets, embedded systems, chips, type inference frameworks, natural language systems, compilers, and interpreters.
The central theme in the book is specification and definition, and in this light the author examines central topics such as semantics, correctness, ontology of computational artefacts, abstraction, formal methods, the methodology of computer science, computational thinking, and the nature of computation. The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the academic discipline of computer science, and here the author provides a view of the content and personality of this subject. The book will be of value to philosophers and computer scientists.
- ISBN: 978-3-6625-5564-4
- Editorial: Springer
- Encuadernacion: Cartoné
- Fecha Publicación: 12/02/2018
- Nº Volúmenes: 1
- Idioma: Inglés