دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Goedel Programming Language
دانلود کتاب زبان برنامه نویسی گودل
مشخصات کتاب
The Goedel Programming Language
ویرایش: نویسندگان: Hill P., Lloyd J. سری: ISBN (شابک) : 9780262082297 ناشر: MIT سال نشر: 1994 تعداد صفحات: 370 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Mitosis Facts and Questions: Proceedings of a Workshop Held at the Deutsches Krebsforschungszentrum, Heidelberg, Germany, April 25–29, 1977
دانلود کتاب La Banda Di via Panisperna: Fermi, Majorana E I Fisici Che Hanno Cambiato La Storia
دانلود کتاب The Corruption of Capitalism: Why Rentiers Thrive and Work Does Not Pay
