ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A programming approach to computability

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

A programming approach to computability

مشخصات کتاب

A programming approach to computability

ویرایش: Softcover reprint of the original 1st ed. 1982 
نویسندگان: , ,   
سری: Texts and monographs in computer science 
ISBN (شابک) : 1461257514, 1461257492 
ناشر: Springer New York 
سال نشر: 1982 
تعداد صفحات: 259 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب یک رویکرد برنامه نویسی برای محاسبه پذیری: کاربردهای ریاضیات، محاسبات با دستگاه های انتزاعی، مهندسی نرم افزار



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

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


در صورت تبدیل فایل کتاب A programming approach to computability به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

نظریه محاسبات در قلب علم کامپیوتر نظری است. با این حال، از قضا، بسیاری از نتایج اساسی آن قبل از توسعه اولین کامپیوتر با برنامه ذخیره شده توسط منطق دانان ریاضی کشف شد. در نتیجه، بسیاری از متون در مورد تئوری محاسبات، دانشجویان امروزی علوم کامپیوتر را بسیار دور از دغدغه‌های آنها می‌بینند. برای رفع این مشکل، ما رویکرد خود را به محاسبه‌پذیری بر اساس زبان برنامه‌های while، زیرمجموعه‌ای ناب از PASCAL، قرار می‌دهیم و بررسی مدل‌های کلاسیکی مانند ماشین‌های تورینگ، سیستم‌های بازنویسی رشته، و p را به تعویق می‌اندازیم. توابع بازگشتی تا فصل آخر. علاوه بر این، ما ارائه نتایج غیرقابل حل مانند حل نشدن مسئله توقف را با ارائه نتایج مثبت روش‌شناسی برنامه‌نویسی مدرن، از جمله استفاده از قوانین اثبات، و معناشناسی معنایی برنامه‌ها، متعادل می‌کنیم. علوم کامپیوتر به دنبال ارائه یک مبنای علمی برای مطالعه پردازش اطلاعات، حل مسائل توسط الگوریتم ها و طراحی و برنامه نویسی کامپیوترها است. در 40 سال گذشته شاهد پیشرفت روزافزون در علم، در میکروالکترونیک بوده‌ایم که ماشین‌های با پیچیدگی سرسام‌آور را از نظر اقتصادی امکان‌پذیر کرده است، در پیشرفت‌های روش‌شناسی برنامه‌نویسی که اجازه می‌دهد برنامه‌های عظیم با سرعت فزاینده و کاهش خطا طراحی شوند، و در توسعه. از تکنیک های ریاضی برای اجازه دادن به مشخصات دقیق برنامه، فرآیند و ماشین


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

Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer science students as far removed from their concerns. To remedy this, we base our approach to computability on the language of while-programs, a lean subset of PASCAL, and postpone consideration of such classic models as Turing machines, string-rewriting systems, and p. -recursive functions till the final chapter. Moreover, we balance the presentation of un solvability results such as the unsolvability of the Halting Problem with a presentation of the positive results of modern programming methodology, including the use of proof rules, and the denotational semantics of programs. Computer science seeks to provide a scientific basis for the study of information processing, the solution of problems by algorithms, and the design and programming of computers. The last 40 years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the develop­ ment of mathematical techniques to allow the rigorous specification of program, process, and machine



فهرست مطالب

Front Matter....Pages i-viii
Introduction....Pages 1-16
The Syntax and Semantics of while -Programs....Pages 17-44
Enumeration and Universality of the Computable Functions....Pages 45-74
Techniques of Elementary Computability Theory....Pages 75-94
Program Methodology....Pages 95-137
The Recursion Theorem and Properties of Enumerations....Pages 138-151
Computable Properties of Sets (Part 1)....Pages 152-175
Computable Properties of Sets (Part 2)....Pages 176-195
Alternative Approaches to Computability....Pages 196-234
Back Matter....Pages 235-253




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