000844139 000__ 05464cam\a2200493Ii\4500
000844139 001__ 844139
000844139 005__ 20230306144826.0
000844139 006__ m\\\\\o\\d\\\\\\\\
000844139 007__ cr\cn\nnnunnun
000844139 008__ 180716s2018\\\\gw\\\\\\ob\\\\001\0\eng\d
000844139 019__ $$a1044851372
000844139 020__ $$a9783662555651$$q(electronic book)
000844139 020__ $$a3662555654$$q(electronic book)
000844139 020__ $$z9783662555644
000844139 020__ $$z3662555646
000844139 035__ $$aSP(OCoLC)on1044733869
000844139 035__ $$aSP(OCoLC)1044733869$$z(OCoLC)1044851372
000844139 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dN$T$$dGW5XE$$dEBLCP$$dYDX$$dOCLCF
000844139 049__ $$aISEA
000844139 050_4 $$aQA76.167
000844139 08204 $$a004.01$$223
000844139 1001_ $$aTurner, Raymond,$$eauthor.
000844139 24510 $$aComputational artifacts :$$btowards a philosophy of computer science /$$cRaymond Turner.
000844139 264_1 $$aBerlin, Germany :$$bSpringer-Verlag GmbH,$$c[2018]
000844139 264_4 $$c©2018
000844139 300__ $$a1 online resource.
000844139 336__ $$atext$$btxt$$2rdacontent
000844139 337__ $$acomputer$$bc$$2rdamedia
000844139 338__ $$aonline resource$$bcr$$2rdacarrier
000844139 504__ $$aIncludes bibliographical references and index.
000844139 5050_ $$aIntro; Preface; Contents; Part I INTRODUCTION; Chapter 1: COMPUTER SCIENCE; 1.1 Machines; 1.2 Theoretical Computer Science; 1.3 Programs and Programming; 1.4 Computational Thinking; 1.5 The Discipline; Chapter 2: TOWARDS A PHILOSOPHY OF COMPUTER SCIENCE; 2.1 Semantics; 2.2 Ontology; 2.3 Methodology; 2.4 Epistemology; 2.5 Conclusion; Part II ONTOLOGY; Chapter 3: COMPUTATIONAL ARTIFACTS; 3.1 Function and Structure; 3.2 Design and Manufacture; 3.3 Theories of Function; 3.4 Computational Artifacts; Chapter 4: LOGIC MACHINES AS TECHNICAL ARTIFACTS; 4.1 Function; 4.2 Structure; 4.3 Design
000844139 5058_ $$a4.4 Correctness4.5 Implementation; 4.6 Logic Machines as Technical Artifacts; 4.7 The Abstract-Concrete Interface; 4.8 The von Neumann Computer as Artifact; 4.9 High-Level Functional Notation; 4.10 Conclusion; Chapter 5: THE ONTOLOGY OF PROGRAMS; 5.1 The Functional Specification of Programs; 5.2 Structure; 5.3 Implementation; 5.4 The Symbolic and the Physical; 5.6 Programs as Technical Artifacts; Chapter 6: SOFTWARE SYSTEMS AS TECHNICAL ARTIFACTS; 6.1 Requirements; 6.2 Structure and Design; 6.3 Implementation; 6.4 Software Systems as Artifacts; 6.5 Verification, Validation, and Malfunction
000844139 5058_ $$a6.6 ConclusionPart III SEMANTICS; Chapter 7: THE LANGUAGES OF COMPUTER SCIENCE; 7.1 Varieties of Languages; 7.2 Formal Languages; Chapter 8: PROGRAMMING LANGUAGES; 8.1 Imperative Languages; 8.2 Functional Languages; 8.3 Logical Languages; 8.4 Object Orientation; 8.5 Concurrency and Nondeterminism; 8.6 Theories of Representation and Computation; Chapter 9: SEMANTIC THEORIES; 9.1 The Roles of Semantics; 9.2 Normativity; 9.3 Compositionality; 9.4 Rigor; 9.5 Conclusion; Chapter 10: FORMAL SEMANTICS; 10.1 Vernacular Semantics; 10.2 Operational Semantics; 10.3 Denotational Semantics
000844139 5058_ $$a10.4 Definitional Priority10.5 Game-Theoretic Semantics; 10.6 Programming Languages as Mathematical Theories; Chapter 11: SEMANTICS AND IMPLEMENTATION; 11.1 Compilers, Interpreters, and Virtual Machines; 11.2 Compilation and Semantic Interpretation; 11.3 Semantics and Interpretation; 11.4 Programming Languages as Technical Artifacts; Chapter 12: SPECIFICATION LANGUAGES; 12.1 Typed Predicate Logic; 12.2 The Logic of TPL; 12.3 Definitions; 12.4 Z and Set Theory; 12.5 VDM and Three-Valued Logic; 12.6 Types, Not Sets; 12.7 Expressive Power; Part IV METHODOLOGY
000844139 5058_ $$aChapter 13: SOFTWARE SYSTEM METHODOLOGY13.1 The Waterfall Method; 13.2 The Spiral Method; 13.3 The Agile Method; 13.4 Methodology; Chapter 14: SPECIFICATION; 14.1 Requirements Analysis as Modeling; 14.2 Definition; 14.3 Intention; 14.4 Intentional Stance; 14.5 Precision and Information; Chapter 15: THE PHILOSOPHY OF DESIGN; 15.1 Correctness; 15.2 Simplicity; 15.3 Modularity; 15.4 Formal Methods; Chapter 16: SIMPLICITY; 16.1 Elegance; 16.2 Parsimony; 16.3 Justification; Chapter 17: MODULARITY; 17.1 Encapsulation; 17.2 Bundling; 17.3 Information Hiding; 17.4 Independence; 17.5 Single Function
000844139 506__ $$aAccess limited to authorized users.
000844139 520__ $$aThe 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.
000844139 588__ $$aVendor-supplied metadata.
000844139 650_0 $$aComputer science$$xPhilosophy.
000844139 77608 $$iPrint version: $$z3662555646$$z9783662555644$$w(OCoLC)992780772
000844139 852__ $$bebk
000844139 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-55565-1$$zOnline Access$$91397441.1
000844139 909CO $$ooai:library.usi.edu:844139$$pGLOBAL_SET
000844139 980__ $$aEBOOK
000844139 980__ $$aBIB
000844139 982__ $$aEbook
000844139 983__ $$aOnline
000844139 994__ $$a92$$bISE