دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات محاسباتی ویرایش: 2 نویسندگان: Wolfengagen V.E. سری: Computer Science and Information Technologies ISBN (شابک) : 5891581019 ناشر: Center “JurInfoR” سال نشر: 2003 تعداد صفحات: 347 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب 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.