دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Symbolic computing with LISP and PROLOG
دانلود کتاب محاسبات نمادین با LISP و PROLOG
مشخصات کتاب
Symbolic computing with LISP and PROLOG
ویرایش: نویسندگان: Mueller. Robert A., Page. Rex L سری: ISBN (شابک) : 9780471607717, 0471607711 ناشر: John Wiley & Sons سال نشر: 1988 تعداد صفحات: 469 [483] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 58,000
در صورت تبدیل فایل کتاب Symbolic computing with LISP and PROLOG به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات نمادین با LISP و PROLOG نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات نمادین با LISP و PROLOG
مقدمه ای عملی بر محاسبات نمادین و برنامه نویسی معنایی. بخش اول کتاب برنامه نویسی را پوشش می دهد. بخش دوم به محاسبات نمادین در زمینه هایی مانند بازی، ترجمه زبان و اثبات قضیه می پردازد. برای هر مبحث، نمونه‌هایی از مسائل، با راه‌حل‌های پیشنهادی، و به دنبال آن برنامه‌های کاری با استفاده از تکنیک‌هایی که قبلاً در متن ارائه شد، وجود دارد. دو برنامه، با استفاده از یک رویکرد معنایی، هر یک از برنامه ها را در محاسبات نمادین همراهی می کنند - یکی در Lisp و دیگری در Prolog.
توضیحاتی درمورد کتاب به خارجی
A practical introduction to symbolic computing and denotational programming. First part of the book covers programming. Second part addresses symbolic computing in such areas as game playing, language translation, and theorem proving. For each topic there are example problems, with proposed solutions, followed by working programs using the techniques presented earlier in the text. Two programs, using a denotational approach, accompany each of the applications in symbolic computing—one in Lisp and one in Prolog.
فهرست مطالب
Content: LISP
PROLOG and denotational programming
LISP - notations for data in LISP
functions
building lists and extracting components
more list manipulation functions
a lenient function: "if"
naming partial results: "let"
recursion
debugging
more lenient functions: "and, or"
pumping
divide and conquer
input and output
higher order functions
numbers
PROLOG - notation for data and variables in PROLOG
propositional facts, rules, and queries
relations containing variables
unification: how the interpreter instantiates variables
recursion
propagation and accumulation of results
divide and conquer
"and/or" control flow
saving computation with embedded "or" control
"not"
backtracking
generating all solutions using "Bagof" and "Setof"
inhibiting backtracking
built-in relations for program file access and transformation of terms
program construction and debugging
numbers
input and output
declarative and procedural semantics of logic prog
