ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Goedel Programming Language

دانلود کتاب زبان برنامه نویسی گودل

The Goedel Programming Language

مشخصات کتاب

The Goedel Programming Language

ویرایش:  
نویسندگان: ,   
سری:  
ISBN (شابک) : 9780262082297 
ناشر: MIT 
سال نشر: 1994 
تعداد صفحات: 370 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



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

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


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

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


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

این کتاب یک مرور کلی آموزشی از گودل ارائه می‌کند، برنامه‌های مثالی را ارائه می‌دهد، یک تعریف رسمی از نحو و معنای زبان ارائه می‌دهد، و مطالب پس‌زمینه‌ای در مورد منطق را پوشش می‌دهد. گودل یک زبان برنامه نویسی جدید، همه منظوره و اعلانی است که بر پارادایم برنامه نویسی منطقی مبتنی است و می تواند به عنوان جانشین 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. 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





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