توضیحات
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.
————————————————————–
ترجمه ماشینی :
فلسفه علوم کامپیوتر به موضوعاتی می پردازد که از تأمل در ماهیت و عملکرد رشته علوم کامپیوتر ناشی می شود. این کتاب رویکردی به موضوع ارائه میکند که بر مفهوم مصنوعات محاسباتی متمرکز است. این تحلیلی از چیزهای علوم کامپیوتر به عنوان مصنوعات فنی ارائه می دهد. مشاهده آنها به این شکل، به کارگیری ابزارها و مفاهیم تحلیلی از فلسفه فناوری به مصنوعات فنی علوم رایانه را امکان پذیر می کند.
نویسنده با این چارچوب مفهومی، برخی از دغدغه های فلسفی محوری علوم رایانه از جمله مبانی را بررسی می کند. معناشناسی، نقش منطقی مشخصات، ماهیت صحت، هستی شناسی و انتزاع محاسباتی، روش های رسمی، معرفت شناسی و تبیین محاسباتی، روش شناسی علوم کامپیوتر و ماهیت محاسبات.
این کتاب برای فیلسوفان و دانشمندان کامپیوتر ارزشمند خواهد بود.
tag : دانلود کتاب مصنوعات محاسباتی , Download مصنوعات محاسباتی , دانلود مصنوعات محاسباتی , Download Computational Artifacts Book , مصنوعات محاسباتی دانلود , buy مصنوعات محاسباتی , خرید کتاب مصنوعات محاسباتی , دانلود کتاب Computational Artifacts , کتاب Computational Artifacts , دانلود Computational Artifacts , خرید Computational Artifacts , خرید کتاب Computational Artifacts ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.