مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب برنامه ریزی منطقی: معناشناسی عملیاتی و نظریه اثبات: اثبات قضیه خودکار، برنامه نویسی منطقی، زبان های برنامه نویسی (کامپیوترهای الکترونیکی) -- معناشناسی

در صورت تبدیل فایل کتاب 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.

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

کتاب های تصادفی

دانلود کتاب The General Factor of Personality

دانلود کتاب You Can Profit From A Monetary Crisis

دانلود کتاب A Practical Guide to Using Qualitative Research with Randomized Controlled Trials

دانلود کتاب Einfuhrung in Das Deutsche Recht (Nomosstudium) (German Edition)

دانلود کتاب Feminist Evaluation and Research: Theory and Practice