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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Godel Programming Language (Logic Programming)

دانلود کتاب زبان برنامه نویسی گودل (برنامه نویسی منطقی)

مشخصات کتاب

The Godel Programming Language (Logic Programming)

دسته بندی: زبانشناسی
ویرایش:  
نویسندگان: Patricia Hill. John Lloyd  
سری:  
ISBN (شابک) : 0262082292, 9780262082297 
ناشر: The MIT Press 
سال نشر: 1994 
تعداد صفحات: 370 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

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

در صورت تبدیل فایل کتاب The Godel Programming Language (Logic Programming) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب زبان برنامه نویسی گودل (برنامه نویسی منطقی)

G?del یک زبان برنامه نویسی جدید، همه منظوره و اعلانی است که بر پارادایم برنامه نویسی منطقی مبتنی است و می تواند به عنوان جانشین Prolog در نظر گرفته شود. این کتاب یک مرور کلی آموزشی از G?del ارائه می‌کند، برنامه‌های مثالی را ارائه می‌دهد، یک تعریف رسمی از نحو و معنای زبان ارائه می‌دهد، و مطالب پس‌زمینه منطق را پوشش می‌دهد. زبان G?del از انواع و ماژول ها پشتیبانی می کند. دارای مجموعه ای غنی از ماژول های سیستم است و حل محدودیت ها را در چندین حوزه ارائه می دهد. همچنین امکانات متالوژیکی را ارائه می دهد که پشتیبانی قابل توجهی را برای متابرنامه هایی که تجزیه و تحلیل، تبدیل، کامپایل، تأیید، اشکال زدایی و موارد مشابه را انجام می دهند، ارائه می دهد. ماهیت اعلامی G?del آن را برای استفاده به عنوان یک زبان آموزشی مناسب می کند، شکافی را که در حال حاضر بین تئوری و عمل در برنامه نویسی منطقی وجود دارد کاهش می دهد، ابزارهای مهندسی نرم افزار پیشرفته مانند اشکال زداهای اعلامی و مولدهای کامپایلر را ممکن می کند، و تلاش درگیر را کاهش می دهد. در ارائه یک پیاده سازی موازی از زبان، و زمینه قابل توجهی برای موازی سازی در چنین پیاده سازی ها ارائه می دهد. سری برنامه نویسی منطقی

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

G?del is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. This book gives a tutorial overview of G?del, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic. The G?del language supports types and modules. It has a rich collection of system modules and provides constraint solving in several domains. It also offers metalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, debugging, and the like. The declarative nature of G?del makes it well suited for use as a teaching language, narrows the gap that currently exists between theory and practice in logic programming, makes possible advanced software engineering tools such as declarative debuggers and compiler generators, reduces the effort involved in providing a parallel implementation of the language, and offers substantial scope for parallelization in such implementations. Logic Programming series