東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Computational artifacts = towards a ...

Turner, Raymond.

Linked to FindBook

Google Book

Amazon

博客來

Computational artifacts = towards a philosophy of computer science /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Computational artifacts/ by Raymond Turner.
Reminder of title:	towards a philosophy of computer science /
Author:	Turner, Raymond.
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2018.,
Description:	xv, 255 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	Computer science - Philosophy. -
Online resource:	http://dx.doi.org/10.1007/978-3-662-55565-1
ISBN:	9783662555651

Computational artifacts = towards a philosophy of computer science /
Turner, Raymond.

Computational artifactstowards a philosophy of computer science /[electronic resource] :by Raymond Turner. - Berlin, Heidelberg :Springer Berlin Heidelberg :2018. - xv, 255 p. :ill., digital ;24 cm.

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.

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.

ISBN: 9783662555651

Standard No.: 10.1007/978-3-662-55565-1doiSubjects--Topical Terms:

1966968
Computer science
--Philosophy.

LC Class. No.: QA76.167

Dewey Class. No.: 004.01

Computational artifacts = towards a philosophy of computer science /
LDR:02893nmm a2200337 a 4500 001 2152175
003 DE-He213
005 20180711151642.0
006 m d
007 cr nn 008maaau
008 190403s2018 gw s 0 eng d
020 $a 9783662555651 $q (electronic bk.)
020 $a 9783662555644 $q (paper)
024 7 $a 10.1007/978-3-662-55565-1 $2 doi
035 $a 978-3-662-55565-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.167
072 7 $a UY $2 bicssc
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a COM031000 $2 bisacsh
082 0 4 $a 004.01 $2 23
090 $a QA76.167 $b .T951 2018
100 1 $a Turner, Raymond. $3 1084535
245 1 0 $a Computational artifacts $h [electronic resource] : $b towards a philosophy of computer science / $c by Raymond Turner.
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2018.
300 $a xv, 255 p. : $b ill., digital ; $c 24 cm.
505 0 $a 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.
520 $a 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.
650 0 $a Computer science $x Philosophy. $3 1966968
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Philosophy of Science. $3 894954
650 2 4 $a Mathematical Logic and Foundations. $3 892656
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-55565-1
950 $a Computer Science (Springer-11645)