rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Computational Artifacts
    sub title: Towards a Philosophy of Computer Science
  name:
    name part: Turner, Raymond.
    role:
      role term: creator
    role:
      role term: author.
    role:
      role term: aut
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XV, 255 p. online resource.
  abstract: 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.
  table of contents: Part I, Introduction -- Computer Science -- Towards a Philosophy of Computer Science -- Part II, Ontology -- Computational Artifacts -- Logic Machines as Technical Artifacts -- The Ontology of Programs -- Software Systems as Technical Artifacts -- Part III, Semantics -- The Languages of Computer Science -- Programming Languages -- Semantic Requirements -- Semantic Varieties -- Semantics and Implementation -- Specification Languages -- Part IV, Methodology: Software Development -- Software System Methodology -- Specification -- The Philosophy of Design -- Simplicity in Design -- Modularity -- Formal Methods -- Part V, Methodology II: The Design of Programming Languages -- Simplicity and Expressive Power -- Semantics and Design -- Computational Abstraction -- Part VI Epistemology -- Varieties of Correctness -- Program Correctness -- Types and Correctness -- Artifact Correctness -- Computational Explanation.
  note: by Raymond Turner.
  subject:
    topic: Computers
  subject:
    topic: Philosophy and science
  subject:
    topic: Mathematical logic
  subject:
    topic: Theory of Computation
  subject:
    topic: Philosophy of Science
  subject:
    topic: Mathematical Logic and Foundations
  classification: QA75.5-76.95
  classification: QA76.63
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  identifier: 9783662555651
  identifier: https://doi.org/10.1007/978-3-662-55565-1
  record info:
    record creation date: 180711
    record change date: 20191029011946.0
    record identifier: 978-3-662-55565-1