دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نویسی: زبان های برنامه نویسی ویرایش: نویسندگان: Henderson P., Jones G.A., Jones S.B. سری: ISBN (شابک) : 013215871X, 0521245036 ناشر: Oxford سال نشر: 1983 تعداد صفحات: 263 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب The LispKit manual, vols.1 and 2 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتابچه راهنمای 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