دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A programming approach to computability
دانلود کتاب یک رویکرد برنامه نویسی برای محاسبه پذیری
مشخصات کتاب
A programming approach to computability
ویرایش: Softcover reprint of the original 1st ed. 1982 نویسندگان: Kfoury. A. J., Arbib. Michael A., Moll. Robert N سری: Texts and monographs in computer science ISBN (شابک) : 1461257514, 1461257492 ناشر: Springer New York سال نشر: 1982 تعداد صفحات: 259 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب یک رویکرد برنامه نویسی برای محاسبه پذیری: کاربردهای ریاضیات، محاسبات با دستگاه های انتزاعی، مهندسی نرم افزار
در صورت تبدیل فایل کتاب 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
