ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

دانلود کتاب روش های سنتز برنامه رایانه ای: مجموعه مقالات موسسه مطالعات پیشرفته ناتو که در بوناس ، فرانسه ، از 28 سپتامبر تا 10 اکتبر 1981 برگزار شد

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

مشخصات کتاب

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

ویرایش: 1 
نویسندگان: , ,   
سری: NATO Advanced Study Institutes Series 95 
ISBN (شابک) : 9789400970212, 9789400970199 
ناشر: Springer Netherlands 
سال نشر: 1983 
تعداد صفحات: 378 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 18 مگابایت 

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



کلمات کلیدی مربوط به کتاب روش های سنتز برنامه رایانه ای: مجموعه مقالات موسسه مطالعات پیشرفته ناتو که در بوناس ، فرانسه ، از 28 سپتامبر تا 10 اکتبر 1981 برگزار شد: ریاضیات عمومی



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

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


در صورت تبدیل فایل کتاب Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های سنتز برنامه رایانه ای: مجموعه مقالات موسسه مطالعات پیشرفته ناتو که در بوناس ، فرانسه ، از 28 سپتامبر تا 10 اکتبر 1981 برگزار شد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش های سنتز برنامه رایانه ای: مجموعه مقالات موسسه مطالعات پیشرفته ناتو که در بوناس ، فرانسه ، از 28 سپتامبر تا 10 اکتبر 1981 برگزار شد



عملیات قدرتمند بر روی آنها. گام اولیه در این مسیر، توسعه APl بود، و نمونه‌های جدیدتر SETl است که کاربر را قادر می‌سازد بر حسب موجودیت‌های ریاضی مانند مجموعه‌ها و BDl کدنویسی کند که به کاربر، احتمالاً یک تاجر، اجازه می‌دهد تا یک محاسبات را مشخص کند. اصطلاحات یک سری اشکال جدولی و یک سری مسیرهای پردازشی که داده ها از طریق آنها جریان می یابد. طراحی و اجرای چنین زبان هایی در فصل هایی توسط P. GOLDBERG مورد بررسی قرار گرفته است. گسترش دیگری برای روش‌های سنتی توسط سیستم‌هایی که برای کنترل خودکار تصمیم‌های کنترل جریان در سطح پایین طراحی شده‌اند ممکن می‌شود. تمام زبان های سطح بالاتر بالا این کار را به طور ضمنی با عملگرهای داخلی خود انجام می دهند. PROLOG زبانی است که این کار را با مکانیزم اثبات قضیه انجام می دهد که عمدتاً از یکسان سازی و عقب نشینی استفاده می کند. برنامه نویس مسئله ای را که باید با مجموعه ای از گزاره های منطقی رسمی از جمله یک قضیه برای اثبات حل شود، مشخص می کند. سیستم اثبات قضیه راهی برای ترکیب بدیهیات برای اثبات قضیه پیدا می کند و در این فرآیند، محاسبه مورد نظر را تکمیل می کند. H. GALLAIRE فصلی را ارائه کرده است که در آن PROLOG مثال‌های زیادی از استفاده از آن ارائه می‌کند.


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

powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti­ ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of a series of tabular forms and a series of processing paths through which data flows. The design and implementation of such languages are examined in chapters by P. GOLDBERG. Another extension to traditional methods is made possible by systems designed to automatically handle low level flow-of­ control decisions. All the above higher level languages do this implicitly with their built in operators. PROLOG is a language which does this with a theorem proving mechanism employing primarily unification and backtracking. The programmer specifies the problem to be solved with a set of formal logic statements including a theorem to be proved. The theorem proving system finds a way to combine the axioms to prove the theorem, and in the process, it completes the desired calculation. H. GAllAIRE has contributed a chapter describing PROLOG giving many examples of its usage.



فهرست مطالب

Front Matter....Pages i-ix
Program Construction by Transformations: A Family Tree of Sorting Programs....Pages 1-49
Issues in the Methodical Design of Concurrent Programs....Pages 51-78
An Analysis of Choice in Program Design....Pages 79-124
The Design of Very High Level Languages....Pages 125-145
Implementation Considerations in Very High Level Languages....Pages 147-172
A Study of Prolog....Pages 173-212
Program Synthesis from Examples of Behavior....Pages 213-250
Deductive Synthesis of the Unification Algorithm....Pages 251-307
The Synthesis of Implementations for Abstract Data Types....Pages 309-334
Natural Language Programming....Pages 335-368
Back Matter....Pages 369-374




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