Inicio > > Ciencias de la computación > Computational Artifacts
Computational Artifacts

Computational Artifacts

Raymond Turner

221,69 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2019
Materia
Ciencias de la computación
ISBN:
9783662585597
221,69 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.

Artículos relacionados

Otros libros del autor

  • Computational Artifacts
    Raymond Turner
    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 a...
  • Design Leadership
    Raymond Turner
    The fundamental tenet of this Design Leadership book is that design is a commercial and social imperative and its management and leadership are integral parts of what can make business successful, government effective and society safer and more enjoyable for everyone. The text draws on Raymond Turner’s extensive experience and insights into the effective use of design as a busi...
  • Computable Models
    Raymond Turner
    What is a Computable Model?.- Typed Predicate Logic.- Data Types.- Definability.- Specification.- Functions.- Preconditions.- Natural Numbers.- Typed Set Theory.- Systems Modeling.- A Type of Types.- Schemata.- Separation Types.- Recursive Schemata.- Inductive Types.- Recursive Functions.- Schema Definitions.- Computable Ontology.- Classes.- Classes of Functions.- Computable An...
    Disponible

    132,88 €

  • Computable Models
    raymond turner
    Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational mode...