دانلود کتاب Principles of Logic and Logic Programming (به فارسی: اصول منطق و برنامه نویسی منطقی) نوشته شده توسط «G. Metakides and A. Nerode (Eds.)»
اطلاعات کتاب اصول منطق و برنامه نویسی منطقی
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: North Holland
نویسنده: G. Metakides and A. Nerode (Eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 1-329
حجم کتاب: 11 مگابایت
کد کتاب: 9780444816443 , 0444816445
توضیحات کتاب اصول منطق و برنامه نویسی منطقی
عناصر اساسی منطق در این کتاب آشکار شده است. رابطه و انتقال از برنامه نویسی منطقی به منطقی مورد تجزیه و تحلیل قرار می گیرد.
با استفاده و توسعه رایانه ها در آغاز دهه 1950، به زودی مشخص شد که رایانه ها می توانند نه تنها برای محاسبات حسابی استفاده شوند، بلکه همچنین برای محاسبات نمادین از این رو، اولین برنامه های محاسباتی محاسباتی، و اولین برنامه هایی که برای پاسخ به سؤالات ابتدایی و اثبات قضایای ساده ایجاد شدند، به طور همزمان نوشته شدند. گام های اساسی به سمت یک روش کلی مبتنی بر منطق، در سال 1965 توسط رابینسون و بعداً توسط کوالسکی و کولمراور انجام شد که مستقیماً از منطق به عنوان یک زبان برنامه نویسی منطقی استفاده کردند.
هر فصل شامل تمرین های حل شده و حل نشده ارائه شده برای کمک است. خواننده موضوعات مربوطه را جذب می کند. تمرین‌های حل‌شده نحوه کار روشمند را نشان می‌دهند، در حالی که تمرین‌های حل‌نشده با هدف تحریک ابتکار شخصی خواننده هستند. محتویات کتاب مستقل است. فقط دانش ابتدایی تحلیل مورد نیاز است. بنابراین، می تواند توسط دانش آموزان در هر سال تحصیلی، به عنوان مطالب خواندنی ساده، یا در زمینه یک دوره مورد استفاده قرار گیرد. همچنین می‌تواند توسط کسانی که از برنامه‌نویسی منطقی استفاده می‌کنند بدون داشتن دانش پیش‌زمینه نظری خاصی از منطق، یا کسانی که صرفاً به منطق و کاربردهای آن در برنامه‌نویسی منطقی علاقه دارند، استفاده شود.
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.
دانلود کتاب «اصول منطق و برنامه نویسی منطقی»
