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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب ML for the Working Programmer

دانلود کتاب ML برای برنامه نویس کار

مشخصات کتاب

ML for the Working Programmer

دسته بندی: برنامه نویسی: زبان های برنامه نویسی
ویرایش: 2 
نویسندگان: Larry C. Paulson  
سری:  
ISBN (شابک) : 9781107268494, 1107268494 
ناشر: Cambridge University Press 
سال نشر: 1996 
تعداد صفحات: 467 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

در صورت تبدیل فایل کتاب ML for the Working Programmer به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب ML برای برنامه نویس کار

نسخه جدید این کتاب درسی موفق و تثبیت شده، دو هدف اصلی خود را حفظ کرده است، توضیح نحوه برنامه نویسی به زبان ML، و آموزش اصول برنامه نویسی تابعی. تغییر عمده، پوشش اولیه و برجسته ماژول ها است که به طور گسترده در سراسر استفاده می شود. علاوه بر این، فصل اول به طور کامل بازنویسی شده است تا کتاب را برای کسانی که تجربه زبان های برنامه نویسی ندارند، قابل دسترسی تر باشد. ویژگی‌های اصلی کتابخانه استاندارد جدید برای نسخه اصلاح‌شده ML توضیح داده شده و نمونه‌های جدید بسیاری ارائه شده است، در حالی که مراجع نیز به‌روزرسانی شده‌اند. دکتر پالسون تجربه عملی گسترده ای از ML دارد و بر استفاده از آن به عنوان ابزاری برای مهندسی نرم افزار تاکید کرده است. این کتاب شامل بسیاری از کدهای مفید است که به صورت رایگان (از طریق اینترنت) توسط نویسنده در دسترس است. او نحوه استفاده از لیست ها، درختان، توابع مرتبه بالاتر و ساختارهای داده بی نهایت را نشان می دهد. بسیاری از مثال‌های گویا و عملی گنجانده شده‌اند. پیاده‌سازی‌های عملکردی کارآمد آرایه‌ها، صف‌ها، صف‌های اولویت، و غیره شرح داده شده‌اند. مثال‌های بزرگ‌تر شامل یک تجزیه‌کننده عمومی از بالا به پایین، یک کاهنده حساب لامبدا و یک اثبات قضیه است. ترکیبی از توضیحات دقیق و توصیه های عملی تضمین می کند که این کتاب درسی همچنان متن ترجیحی برای بسیاری از دوره های آموزشی ML است.

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

The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which are extensively used throughout. In addition, the first chapter has been totally rewritten to make the book more accessible to those without experience of programming languages. The main features of new Standard Library for the revised version of ML are described and many new examples are given, while references have also been updated. Dr Paulson has extensive practical experience of ML and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via the Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. Many illustrative and practical examples are included.. Efficient functional implementations of arrays, queues, priority queues, etc. are described. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML.

فهرست مطالب

Front matter
1 - Standard ML
2 - Names, functions and types
3 - Lists
4 - Trees and concrete data
5 - Functions and infinite data
6 - Reasoning about functional programs
7 - Modules
8 - Imperative programming in ML
9 - Writing interpreters for the lambda-calculus
10 - A tactical theorem prover
Bibliography