| Título : |
Computational Artifacts : Towards a Philosophy of Computer Science |
| Tipo de documento: |
documento electrónico |
| Autores: |
Turner, Raymond, Autor |
| 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. |
| 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 |
| Índice Dewey: |
004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. |
| 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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Computational Artifacts : Towards a Philosophy of Computer Science [documento electrónico] / Turner, Raymond, Autor . - 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.
| 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 |
| Índice Dewey: |
004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. |
| 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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsqueda
