ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The LispKit manual, vols.1 and 2

دانلود کتاب کتابچه راهنمای LispKit ، جلد 1 و 2

The LispKit manual, vols.1 and 2

مشخصات کتاب

The LispKit manual, vols.1 and 2

دسته بندی: برنامه نویسی: زبان های برنامه نویسی
ویرایش:  
نویسندگان: , ,   
سری:  
ISBN (شابک) : 013215871X, 0521245036 
ناشر:  Oxford 
سال نشر: 1983 
تعداد صفحات: 263 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


در صورت تبدیل فایل کتاب The LispKit manual, vols.1 and 2 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کتابچه راهنمای LispKit ، جلد 1 و 2 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب کتابچه راهنمای LispKit ، جلد 1 و 2

انتزاع اجرایی; نقش زبان های برنامه نویسی؛ ایالت ها و توصیف آنها؛ توصیف معناشناسی؛ خصوصیات معنایی یک زبان برنامه نویسی؛ دو قضیه؛ در طراحی خاتمه مناسب؛ الگوریتم اقلیدس بازبینی شد. برخورد رسمی با چند نمونه کوچک؛ قضیه جستجوی خطی؛ مشکل جایگشت بعدی.


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

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.



فهرست مطالب

CONTENTS
FOREWORD
PREFACE
0 -  EXECUTIONAL ABSTRACTION
1 - THE ROLE OF PROGRAMMING LANGUAGES
2 - STATES AND THEIR CHARACTERIZATION
3 - THE CHARACTERIZATION OF SEMANTICS
4 - THE SEMANTIC CHARACTERIZATIONOF A PROGRAMMING LANGUAGE
5 - TWO THEOREMS
6 - ON THE DESIGN OF PROPERLY TERMINATING CONSTRUCTS
7 - EUCLID'S ALGORITHM REVISITED
8 - THE FORMAL TREATMENTOF SOME SMALL EXAMPLES
9 - ON NONDETERMINACY BEING BOUNDED
10 - AN ESSAY ON THE NOTION:"THE SCOPE OF VARIABLES"
11 - ARRAY VARIABLES
12 - THE LINEAR SEARCH THEOREM
13 - THE PROBLEMOF THE NEXT PERMUTATION
14 - THE PROBLEM OF THE DUTCH NATIONAL FLAG
15 - UPDATING A SEQUENTIAL FILE
MERGING PROBLEMS REVISITED
17 - AN EXERCISE ATTRIBUTED TO R.W. HAMMING
18 - THE PATTERN MATCHING PROBLEM
19 - WRITING A NUMBER AS THE SUM OF TWO SQUARES
20 - THE PROBLEMOF THE SMALLEST PRIME FACTOR OF A LARGE NUMBER
21 - THE PROBLEMOF THE MOSTISOLATED VILLAGES
22 - THE PROBLEMOF THE SHORTEST SUBSPANNING TREE
23 - REM'S ALGORITHMFOR THE RECORDINGOF EQUIVALENCE CLASSES
24 - THE PROBLEM OF THE CONVEX HULL IN THREE DIMENSIONS
25 - FINDING THE MAXIMAL STRONG COMPONENTS IN A DIRECTED GRAPH
26 - ON MANUALS AND IMPLEMENTATIONS
27 - IN RETROSPECT




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

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