ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Combinatory logic in programming. Computations with ob- jects through examples and exercises

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

Combinatory logic in programming. Computations with ob- jects through examples and exercises

مشخصات کتاب

Combinatory logic in programming. Computations with ob- jects through examples and exercises

دسته بندی: ریاضیات محاسباتی
ویرایش: 2 
نویسندگان:   
سری: Computer Science and Information Technologies 
ISBN (شابک) : 5891581019 
ناشر: Center “JurInfoR” 
سال نشر: 2003 
تعداد صفحات: 347 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Combinatory logic in programming. Computations with ob- jects through examples and exercises به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق ترکیبی در برنامه نویسی محاسبات با اشیاء از طریق مثال و تمرین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق ترکیبی در برنامه نویسی محاسبات با اشیاء از طریق مثال و تمرین

این کتاب برای دانشجویان علوم کامپیوتر، برنامه نویسان و متخصصانی است که قبلاً با دروس پایه و پیشینه ریاضیات گسسته آشنا شده اند. ممکن است به عنوان یک کتاب درسی برای دوره تحصیلات تکمیلی در علوم کامپیوتر نظری استفاده شود. این کتاب خواننده را با چارچوب مفهومی تفکر در مورد محاسبات با اشیاء آشنا می کند. حوزه های متعددی از علم کامپیوتر نظری پوشش داده شده است، از جمله موارد زیر: نوع آزاد و تایپ λ-حساب و منطق ترکیبی با برنامه های کاربردی، ارزیابی عبارات، محاسبات در یک دسته. موضوعات پوشش داده شده در این کتاب تجربه زیادی در آموزش این موضوعات در دوره های تحصیلات تکمیلی علوم کامپیوتر به دست آورد. مجموعه‌ای غنی از مثال‌ها و تمرین‌ها شامل راه‌حل‌ها برای تحریک خودآموزی و آسان‌تر کردن کار مربی تهیه شده است.


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

The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science. The book introduces a reader to the conceptual framework for thinking about computations with the objects. The several areas of theoretical computer science are covered, including the following: type free and typed λ-calculus and combinatory logic with applications, evaluation of expressions, computations in a category. The topics, covered in the book accumulated much experience in teaching these subjects in graduate computer science courses. A rich set of examples and exercises, including solutions, has been prepared to stimulate the self studying and to make easier the job of instructor.





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