Principles of Logic and Logic Programming
شهریور ۱۹۹۶ · Studies in Computer Science and Artificial Intelligence کتاب 13 · Elsevier
۴٫۰star
۱ مرورreport
ای-کتاب
328
صفحه‌ها
family_home
واجد شرایط
info
reportرده‌بندی‌ها و مرورها به‌تأیید نمی‌رسند. بیشتر بدانید
درباره این ای-کتاب
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.
رتبه‌بندی‌ها و مرورها
۴٫۰
۱ مرور
رده‌بندی این کتاب الکترونیک
نظرات خود را به ما بگویید.
اطلاعات مطالعه
تلفن هوشمند و رایانه لوحی
برنامه «کتاب‌های Google Play» را برای Android و iPad/iPhone بارگیری کنید. به‌طور خودکار با حسابتان همگام‌سازی می‌شود و به شما امکان می‌دهد هر کجا که هستید به‌صورت آنلاین یا آفلاین بخوانید.
رایانه کیفی و رایانه
با استفاده از مرورگر وب رایانه‌تان می‌توانید به کتاب‌های صوتی خریداری‌شده در Google Play گوش دهید.
eReaderها و دستگاه‌های دیگر
برای خواندن در دستگاه‌های جوهر الکترونیکی مانند کتاب‌خوان‌های الکترونیکی Kobo، باید فایل مدنظرتان را بارگیری و به دستگاه منتقل کنید. برای انتقال فایل به کتاب‌خوان‌های الکترونیکی پشتیبانی‌شده، دستورالعمل‌های کامل مرکز راهنمایی را دنبال کنید.
