ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Computational Artifacts

دانلود کتاب مصنوعات محاسباتی

Computational Artifacts

مشخصات کتاب

Computational Artifacts

ویرایش: 1st ed. 
نویسندگان:   
سری:  
ISBN (شابک) : 9783662555644, 9783662555651 
ناشر: Springer Berlin Heidelberg 
سال نشر: 2018 
تعداد صفحات: 248 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 38,000



کلمات کلیدی مربوط به کتاب مصنوعات محاسباتی: علوم کامپیوتر، نظریه محاسبات، فلسفه علم، منطق ریاضی و مبانی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 4


در صورت تبدیل فایل کتاب Computational Artifacts به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مصنوعات محاسباتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مصنوعات محاسباتی



فلسفه علوم کامپیوتر به مسائلی مربوط می شود که از تأمل در ماهیت و عملکرد رشته علوم کامپیوتر ناشی می شود. این کتاب رویکردی به موضوع ارائه می‌کند که بر مفهوم مصنوعات محاسباتی متمرکز است. این تحلیلی از چیزهای علوم کامپیوتر به عنوان مصنوعات فنی ارائه می دهد. مشاهده آنها به این شکل، به کارگیری ابزارها و مفاهیم تحلیلی از فلسفه فناوری تا مصنوعات فنی علوم رایانه را امکان پذیر می کند.

نویسنده با این چارچوب مفهومی به بررسی برخی از دغدغه های فلسفی محوری علوم رایانه از جمله مبانی می پردازد. معناشناسی، نقش منطقی مشخصات، ماهیت صحت، هستی شناسی و انتزاع محاسباتی، روش های صوری، معرفت شناسی و تبیین محاسباتی، روش شناسی علوم کامپیوتر، و ماهیت محاسبات.

این کتاب برای فیلسوفان و دانشمندان کامپیوتر ارزشمند خواهد بود.


توضیحاتی درمورد کتاب به خارجی

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.



فهرست مطالب

Front Matter ....Pages i-xv
Front Matter ....Pages 1-3
 Computer Science  (Raymond Turner)....Pages 5-11
 Towards a Philosophy of Computer Science  (Raymond Turner)....Pages 13-19
Front Matter ....Pages 21-23
 Computational Artifacts  (Raymond Turner)....Pages 25-29
 Logic Machines as Technical Artifacts  (Raymond Turner)....Pages 31-41
 The Ontology of Programs  (Raymond Turner)....Pages 43-52
 Software Systems as Technical Artifacts  (Raymond Turner)....Pages 53-57
Front Matter ....Pages 59-61
 The Languages of Computer Science  (Raymond Turner)....Pages 63-66
 Programming Languages  (Raymond Turner)....Pages 67-76
 Semantic Theories  (Raymond Turner)....Pages 77-83
 Formal Semantics  (Raymond Turner)....Pages 85-94
 Semantics and Implementation  (Raymond Turner)....Pages 95-103
 Specification Languages  (Raymond Turner)....Pages 105-112
Front Matter ....Pages 113-115
 Software System Methodology  (Raymond Turner)....Pages 117-120
 Specification  (Raymond Turner)....Pages 121-127
 The Philosophy of Design  (Raymond Turner)....Pages 129-132
 Simplicity  (Raymond Turner)....Pages 133-139
 Modularity  (Raymond Turner)....Pages 141-149
 Formal Methods  (Raymond Turner)....Pages 151-160
 The Design of Programming Languages  (Raymond Turner)....Pages 161-167
 Semantics and Design  (Raymond Turner)....Pages 169-174
 Data Abstraction  (Raymond Turner)....Pages 175-183
Front Matter ....Pages 185-187
 Computability  (Raymond Turner)....Pages 189-195
 Feasible Computations  (Raymond Turner)....Pages 197-199
 Varieties of Correctness  (Raymond Turner)....Pages 201-204
 Program Correctness  (Raymond Turner)....Pages 205-212
 Types and Correctness  (Raymond Turner)....Pages 213-218
 The Simple Mapping Account  (Raymond Turner)....Pages 219-224
 Computational Explanation  (Raymond Turner)....Pages 225-230
 Intention and Correctness  (Raymond Turner)....Pages 231-233
 Rule Following and Correctness  (Raymond Turner)....Pages 235-239
Back Matter ....Pages 241-255




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی