Computational Artifacts Towards a Philosophy of Computer Science /

• Κύριος συγγραφέας: Turner, Raymond (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Computers.; Philosophy and science.; Mathematical logic.; Theory of Computation.; Philosophy of Science.; Mathematical Logic and Foundations.

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 o...

Πίνακας περιεχομένων:

• 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.