Computational Artifacts / Turner, Raymond  

Público ISBD Ningún comentario para este registro. Título : Computational Artifacts : Towards a Philosophy of Computer Science Tipo de documento: documento electrónico Autores: Turner, Raymond, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2018 Número de páginas: XV, 255 p. ISBN/ISSN/DL: 978-3-662-55565-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación  Lógica matemática  Teoría de la Computación  Filosofía de la Ciencia  Lógica Matemática y Fundamentos Clasificación: 004.0151 Resumen: La filosofía de la informática se ocupa de cuestiones que surgen de la reflexión sobre la naturaleza y la práctica de la disciplina de la informática. Este libro presenta una aproximación al tema que se centra en la noción de artefacto computacional. Proporciona un análisis de las cosas de la informática como artefactos técnicos. Verlos de esta manera permite la aplicación de herramientas y conceptos analíticos de la filosofía de la tecnología a los artefactos técnicos de la informática. Con este marco conceptual, el autor examina algunas de las preocupaciones filosóficas centrales de la informática, incluidos los fundamentos de la semántica, el papel lógico de la especificación, la naturaleza de la corrección, la ontología y la abstracción computacionales, los métodos formales, la epistemología y explicación computacional, la metodología de la informática. ciencia y la naturaleza de la computación. El libro será valioso para filósofos e informáticos. Nota de contenido: 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. Tipo de medio : Computadora Summary : 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computational Artifacts : Towards a Philosophy of Computer Science [documento electrónico] / Turner, Raymond,  . -  1 ed.  . - Berlin [Alemania] : Springer, 2018 . - XV, 255 p. ISBN : 978-3-662-55565-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación  Lógica matemática  Teoría de la Computación  Filosofía de la Ciencia  Lógica Matemática y Fundamentos Clasificación: 004.0151 Resumen: La filosofía de la informática se ocupa de cuestiones que surgen de la reflexión sobre la naturaleza y la práctica de la disciplina de la informática. Este libro presenta una aproximación al tema que se centra en la noción de artefacto computacional. Proporciona un análisis de las cosas de la informática como artefactos técnicos. Verlos de esta manera permite la aplicación de herramientas y conceptos analíticos de la filosofía de la tecnología a los artefactos técnicos de la informática. Con este marco conceptual, el autor examina algunas de las preocupaciones filosóficas centrales de la informática, incluidos los fundamentos de la semántica, el papel lógico de la especificación, la naturaleza de la corrección, la ontología y la abstracción computacionales, los métodos formales, la epistemología y explicación computacional, la metodología de la informática. ciencia y la naturaleza de la computación. El libro será valioso para filósofos e informáticos. Nota de contenido: 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. Tipo de medio : Computadora Summary : 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200