找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Computational Artifacts; Towards a Philosophy Raymond Turner Book 2018 Springer-Verlag GmbH Germany, part of Springer Nature 2018 Philosoph

[復(fù)制鏈接]
查看: 38866|回復(fù): 55
樓主
發(fā)表于 2025-3-21 18:45:12 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Computational Artifacts
副標(biāo)題Towards a Philosophy
編輯Raymond Turner
視頻videohttp://file.papertrans.cn/233/232111/232111.mp4
概述Essential contribution to the philosophy of computer science.Advances the notion of a technical artifact.Appeals to computer scientists and philosophers
圖書封面Titlebook: Computational Artifacts; Towards a Philosophy Raymond Turner Book 2018 Springer-Verlag GmbH Germany, part of Springer Nature 2018 Philosoph
描述.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..
出版日期Book 2018
關(guān)鍵詞Philosophy of Computer Science; Ontology; Computational Artifacts; Logic Machines; Software Systems; Sema
版次1
doihttps://doi.org/10.1007/978-3-662-55565-1
isbn_softcover978-3-662-58559-7
isbn_ebook978-3-662-55565-1
copyrightSpringer-Verlag GmbH Germany, part of Springer Nature 2018
The information of publication is updating

書目名稱Computational Artifacts影響因子(影響力)




書目名稱Computational Artifacts影響因子(影響力)學(xué)科排名




書目名稱Computational Artifacts網(wǎng)絡(luò)公開度




書目名稱Computational Artifacts網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computational Artifacts被引頻次




書目名稱Computational Artifacts被引頻次學(xué)科排名




書目名稱Computational Artifacts年度引用




書目名稱Computational Artifacts年度引用學(xué)科排名




書目名稱Computational Artifacts讀者反饋




書目名稱Computational Artifacts讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

0票 0.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

1票 100.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:16:41 | 只看該作者
https://doi.org/10.1007/978-3-319-27252-8gy [75] stand to their respective disciplines. These are instances of what Stuart Shapiro [215] ., and any philosophical investigation of such subjects must begin with some discussion of the discipline itself. In particular, it must aim to expose its subject matter, uncover its core activities, and draw out its distinctive features.
板凳
發(fā)表于 2025-3-22 00:41:19 | 只看該作者
地板
發(fā)表于 2025-3-22 06:58:34 | 只看該作者
5#
發(fā)表于 2025-3-22 11:55:16 | 只看該作者
Physics and Chemistry of Materials with Anot compute by hand; without an implementation, there would be no mechanical computation. These three ingredients, syntax, semantics, and implementation, are all necessary, and work together to define a programming language.
6#
發(fā)表于 2025-3-22 13:25:30 | 只看該作者
Unified Limit Analysis of a Wellbore,51, 246]. These range from natural language accounts through to mathematical ones of various kinds and avors. We shall attempt to evaluate the various approaches to semantics against the criteria set out in the previous chapter. In this regard, we shall explore the di_erent roles of operational and denotational approaches.
7#
發(fā)表于 2025-3-22 17:30:37 | 只看該作者
Maohong Yu,Jianchun Li,Guowei Maementations are often separated into phases involving syntax analysis, compilation, and interpretation [8], and involve layers of translation before a concrete representation is reached through direct interpretation.
8#
發(fā)表于 2025-3-23 00:35:46 | 只看該作者
9#
發(fā)表于 2025-3-23 03:52:31 | 只看該作者
10#
發(fā)表于 2025-3-23 06:55:25 | 只看該作者
https://doi.org/10.1007/978-3-030-03270-8Technical artifacts are taken to include all the common objects of everyday life, such as chairs, televisions, paper clips, telephones, smartphones and dog collars. They are material objects, the engineered things of world that have been intentionally produced by humans in order to fulfill a practical function.
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-14 04:17
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
碌曲县| 乐清市| 英吉沙县| 浮梁县| 秭归县| 宝坻区| 隆尧县| 昌黎县| 兴国县| 西林县| 六枝特区| 奉新县| 丹巴县| 咸阳市| 平利县| 志丹县| 贡觉县| 昌都县| 高安市| 交城县| 柏乡县| 革吉县| 金山区| 塔城市| 加查县| 乌拉特后旗| 龙门县| 大丰市| 富川| 罗田县| 牡丹江市| 大港区| 昌吉市| 南漳县| 万山特区| 新营市| 颍上县| 延长县| 大埔区| 方正县| 禹州市|