ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب On the Foundations of Computing

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

On the Foundations of Computing

مشخصات کتاب

On the Foundations of Computing

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 0198835655, 9780198835653 
ناشر: Oxford University Press 
سال نشر: 2020 
تعداد صفحات: 317 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 31 مگابایت

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



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

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


در صورت تبدیل فایل کتاب On the Foundations of Computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

محاسبات، امروزه بیش از هر زمان دیگری، یک رشته چند وجهی است که چندین روش، حوزه‌های مورد علاقه و رویکردها را ترکیب می‌کند: ریاضیات، مهندسی، برنامه‌نویسی و برنامه‌های کاربردی. با توجه به تأثیر عظیم آن بر زندگی روزمره، ضروری است که ریشه های بحث شده آن درک شود و مبانی مختلف آن توضیح داده شود. On the Foundations of Computing مروری جامع و انتقادی از تولد و تکامل محاسبات ارائه می‌کند و برخی از مهم‌ترین نتایج فنی و مشکلات فلسفی این رشته را با ترکیب تحلیل‌های تاریخی و سیستماتیک ارائه می‌کند.

بحث‌هایی که این متن بررسی می‌کند از جدیدترین و فوری‌ترین موارد است: بحران مبانی در ریاضیات و تولد مسئله تصمیم‌گیری، ماهیت الگوریتم‌ها، بحث‌های مربوط به مصنوعات محاسباتی و عملکرد نادرست، و تجزیه و تحلیل آزمایش‌های محاسباتی. با پوشش دادن این موضوعات، On the Foundations of Computing منبع بسیار مورد نیازی را برای زمینه سازی این موضوعات اساسی فراهم می کند.

برای پزشکان، محققان و دانشجویان به طور یکسان، یک رویکرد تاریخی و فلسفی مانند آنچه این جلد ارائه می دهد. برای درک گذشته این رشته و کشف چالش های آینده آن ضروری می شود.


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

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are understood, and that its different foundations are explained. On the Foundations of Computing offers a comprehensive and critical overview of the birth and evolution of computing, and it presents some of the most important technical results and philosophical problems of the discipline, combining both historical and systematic analyses.

The debates this text surveys are among the latest and most urgent ones: the crisis of foundations in mathematics and the birth of the decision problem, the nature of algorithms, the debates on computational artefacts and malfunctioning, and the analysis of computational experiments. By covering these topics, On the Foundations of Computing provides a much-needed resource to contextualize these foundational issues.

For practitioners, researchers, and students alike, a historical and philosophical approach such as what this volume offers becomes essential to understand the past of the discipline and to figure out the challenges of its future.



فهرست مطالب

Cover
On the Foundations of Computing
Copy Right
Preface
Acknowledgements
Contents
1 Introduction
Part I The Mathematical Foundation
	2 A Fundamental Crisis
		Summary
		2.1 The Foundations of Mathematics Debated
		2.2 Logical Roots
		2.3 Logicism
		2.4 Finitism
		2.5 Intuitionism
		Exercises
	3 Computing and Deciding
		Summary
		3.1 Enumerability
		3.2 Encoding
		3.3 Diagonalization
		3.4 The Decision Problem
		Exercises
	4 What is Computable?
		Summary
		4.1 Mathematical Induction
		4.2 Primitive Recursion
		4.3 Partial Recursion
		4.4 Church’s Thesis
		Exercises
	5 Mechanical Computation
		Summary
		5.1 Turing Computability
		5.2 The Universal Machine
		5.3 The Halting Problem
		5.4 Turing’s Thesis
		Exercises
	6 On the Nature of Algorithms
		Summary
		6.1 Fast Backwards
		6.2 Intuitive Explanation
		6.3 Algorithms as Specifications
		6.4 Algorithms as Procedures
		6.5 Algorithms as Abstract Machines
		6.6 Equivalent Algorithms
		Exercises
	7 Computing as aMathematical Discipline
		Summary
		7.1 Proofs as Programs
		7.2 Program Correctness
		7.3 The Debate
		7.4 Formal Computational Validity
		Exercises
Part II The Engineering Foundation
	8 The First Generation of Computers
		Summary
		8.1 Shannon’s Circuits
		8.2 Early Memories
		8.3 von Neumann Design
		8.4 Universality and All-purposefulness
		Exercises
	9 The Laws of Evolution
		Summary
		9.1 Computing grows
		9.2 New Memories
		9.3 Miniaturization, Parallelism, and Compatibility
		9.4 The First Law
		9.5 Computational Growth
		Exercises
	10 Properties of Implemented Computations
		Summary
		10.1 Physical Computing
		10.2 Functionality
		10.3 Usability
		10.4 Efficiency
		10.5 Limits of the Church-Turing Thesis
		Exercises
	11 Specification and Implementation
		Summary
		11.1 The Debate on Implementation
		11.2 Correct Implementations
		11.3 Miscomputation
		Exercises
	12 Computing as anEngineering Discipline
		Summary
		12.1 Software Engineering
		12.2 The Debate
		12.3 Physical Computational Validity
		Exercises
Part III The Experimental Foundation
	13 Elements of Experimental Computing
		Summary
		13.1 Experimental Computer Science
		13.2 On Computational Hypotheses
		13.3 On Computational Experiments
		Exercises
	14 Models and Simulations
		Summary
		14.1 On Models
		14.2 On Computer Simulations
		14.3 Epistemic Role of Computer Simulations
		Exercises
	15 Formal Relations
		Summary
		15.1 Identity and Dependence
		15.2 Isomorphism
		15.3 Analogy and Similarity
		15.4 Variants of Simulationism
		Exercises
	16 Computing as anExperimental Discipline
		Summary
		16.1 A Balanced Approach
		16.2 Evaluation
		16.3 Maximal Criteria: Robustness and Reliability
		16.4 Minimal Criteria: Usability and Fitness
		16.5 Experimental Computational Validity
		Exercises
	17 Conclusion
Bibliography
Index




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

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