ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Principles of Logic and Logic Programming

دانلود کتاب اصول منطق و برنامه نویسی منطقی

Principles of Logic and Logic Programming

مشخصات کتاب

Principles of Logic and Logic Programming

دسته بندی: برنامه نويسي
ویرایش:  
نویسندگان:   
سری: Studies in Computer Science and Artificial Intelligence 13 
ISBN (شابک) : 9780444816443 
ناشر: North Holland 
سال نشر: 1996 
تعداد صفحات: 329 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Principles of Logic and Logic Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب اصول منطق و برنامه نویسی منطقی

عناصر اساسی منطق در این کتاب آشکار شده است. رابطه و انتقال از منطق به برنامه نویسی منطقی تجزیه و تحلیل می شود. با استفاده و توسعه رایانه ها در اوایل دهه 1950، به زودی مشخص شد که رایانه ها نه تنها برای محاسبات حسابی، بلکه برای محاسبات نمادین نیز قابل استفاده هستند. از این رو، اولین برنامه های محاسباتی محاسباتی، و اولین برنامه هایی که برای پاسخ به سؤالات ابتدایی و اثبات قضایای ساده ایجاد شدند، به طور همزمان نوشته شدند. گام های اساسی به سمت یک روش کلی مبتنی بر منطق، در سال 1965 توسط رابینسون و بعداً توسط کوالسکی و کولمراور انجام شد که مستقیماً از منطق به عنوان یک زبان برنامه نویسی منطقی استفاده کردند. هر فصل شامل تمرین های حل شده و حل نشده ارائه شده برای کمک به خواننده در جذب موضوعات مربوطه است. تمرین‌های حل‌شده نحوه کار روشمند را نشان می‌دهند، در حالی که تمرین‌های حل‌نشده با هدف تحریک ابتکار شخصی خواننده هستند. محتویات کتاب مستقل است. فقط دانش ابتدایی تحلیل مورد نیاز است. بنابراین، می تواند توسط دانش آموزان در هر سال تحصیلی، به عنوان مطالب خواندنی ساده، یا در زمینه یک دوره مورد استفاده قرار گیرد. همچنین می‌تواند توسط کسانی که از برنامه‌نویسی منطقی بدون داشتن دانش پیش‌زمینه نظری خاصی از منطق استفاده می‌کنند، یا کسانی که صرفاً به منطق و کاربردهای آن در برنامه‌نویسی منطقی علاقه‌مند هستند، استفاده شود.


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

Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming.



فهرست مطالب

Content: 
Foreword
Pages vii-ix
George Metakides, Anil Nerode

I Propositional logic Original Research Article
Pages 1-92

II Predicate logic Original Research Article
Pages 93-201

III Logic programming: The PROLOG paradigm Original Research Article
Pages 203-309

Bibliography
Pages 311-317

Index of symbols
Pages 319-320

Index of terms
Pages 321-329





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی