دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Programming: Operational Semantics and Proof Theory
دانلود کتاب برنامه ریزی منطقی: معناشناسی عملیاتی و نظریه اثبات
مشخصات کتاب
Logic Programming: Operational Semantics and Proof Theory
ویرایش:
نویسندگان: James H. Andrews
سری: Distinguished Dissertations in Computer Science
ISBN (شابک) : 0521432197, 0511526539
ناشر: Cambridge University Press
سال نشر: 1992
تعداد صفحات: 120
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب برنامه ریزی منطقی: معناشناسی عملیاتی و نظریه اثبات: اثبات قضیه خودکار، برنامه نویسی منطقی، زبان های برنامه نویسی (کامپیوترهای الکترونیکی) -- معناشناسی
در صورت تبدیل فایل کتاب Logic Programming: Operational Semantics and Proof Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی منطقی: معناشناسی عملیاتی و نظریه اثبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی منطقی: معناشناسی عملیاتی و نظریه اثبات
دکتر اندروز در اینجا یک درمان همگن از معناشناسی (عملیاتی و منطقی) هر دو زبان برنامه نویسی منطق نظری و عملی ارائه می دهد. او نشان می دهد که چگونه می توان شکاف بین تئوری و عمل در برنامه نویسی منطقی را پل زد. این امر با مشخص کردن دقیق روشی به دست می‌آید که در آن جستجوی «اول در عمق» برای راه‌حل‌های یک فرمول منطقی - استراتژی معمول در بیشتر زبان‌های عملی - ناقص است. زبان‌هایی که جستجوهای «اول وسعت» را انجام می‌دهند، تئوری زیربنای زبان‌های برنامه‌نویسی منطقی را بیشتر منعکس می‌کنند. محققان علاقه مند به برنامه نویسی منطقی یا معناشناسی و همچنین استراتژی های جستجوی هوش مصنوعی، می خواهند از این کتاب به عنوان تنها منبع برای برخی ایده های ضروری و جدید در این زمینه استفاده کنند.
توضیحاتی درمورد کتاب به خارجی
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area
فهرست مطالب
Content: 1. Introduction
2. Operational semantics
3. Characterizing parallel systems
4. Characterizing sequential systems
5. Approaches to incompleteness
6. Summary and future directions
Examples
Index of definitions
Index.
