語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Computational Artifacts = Towards a ...
~
SpringerLink (Online service)
Computational Artifacts = Towards a Philosophy of Computer Science /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Computational Artifacts/ by Raymond Turner.
其他題名:
Towards a Philosophy of Computer Science /
作者:
Turner, Raymond.
面頁冊數:
XV, 255 p.online resource. :
Contained By:
Springer Nature eBook
標題:
Computers. -
電子資源:
https://doi.org/10.1007/978-3-662-55565-1
ISBN:
9783662555651
Computational Artifacts = Towards a Philosophy of Computer Science /
Turner, Raymond.
Computational Artifacts
Towards a Philosophy of Computer Science /[electronic resource] :by Raymond Turner. - 1st ed. 2018. - XV, 255 p.online resource.
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:
565115
Computers.
LC Class. No.: QA75.5-76.95
Dewey Class. No.: 004.0151
Computational Artifacts = Towards a Philosophy of Computer Science /
LDR
:03263nam a22004215i 4500
001
998541
003
DE-He213
005
20200706120933.0
007
cr nn 008mamaa
008
201225s2018 gw | s |||| 0|eng d
020
$a
9783662555651
$9
978-3-662-55565-1
024
7
$a
10.1007/978-3-662-55565-1
$2
doi
035
$a
978-3-662-55565-1
050
4
$a
QA75.5-76.95
050
4
$a
QA76.63
072
7
$a
UY
$2
bicssc
072
7
$a
COM014000
$2
bisacsh
072
7
$a
UY
$2
thema
072
7
$a
UYA
$2
thema
082
0 4
$a
004.0151
$2
23
100
1
$a
Turner, Raymond.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
768712
245
1 0
$a
Computational Artifacts
$h
[electronic resource] :
$b
Towards a Philosophy of Computer Science /
$c
by Raymond Turner.
250
$a
1st ed. 2018.
264
1
$a
Berlin, Heidelberg :
$b
Springer Berlin Heidelberg :
$b
Imprint: Springer,
$c
2018.
300
$a
XV, 255 p.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
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
Computers.
$3
565115
650
0
$a
Philosophy and science.
$3
555818
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
1 4
$a
Theory of Computation.
$3
669322
650
2 4
$a
Philosophy of Science.
$3
668204
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783662555644
776
0 8
$i
Printed edition:
$z
9783662555668
776
0 8
$i
Printed edition:
$z
9783662585597
856
4 0
$u
https://doi.org/10.1007/978-3-662-55565-1
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入