دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Type Theory and Functional Programming
دانلود کتاب تئوری و برنامه نویسی کاربردی را تایپ کنید
مشخصات کتاب
Type Theory and Functional Programming
ویرایش:
نویسندگان: Simon Thompson
سری: International Computer Science Series
ISBN (شابک) : 0201416670, 9780201416671
ناشر: Addison-Wesley
سال نشر: 1991
تعداد صفحات: 378
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 78,000
در صورت تبدیل فایل کتاب Type Theory and Functional Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری و برنامه نویسی کاربردی را تایپ کنید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری و برنامه نویسی کاربردی را تایپ کنید
این کتاب به بررسی نقش نظریه نوع سازنده مارتین-لوف در برنامه نویسی کامپیوتر می پردازد. تمرکز اصلی کتاب این است که چگونه می توان این نظریه را با موفقیت در عمل به کار برد. بخشهای مقدماتی پیشزمینه لازم در منطق، حساب دیفرانسیل و انتگرال و ریاضیات سازنده را فراهم میکنند و تمرینها و خلاصه فصلها برای تقویت درک گنجانده شدهاند.
توضیحاتی درمورد کتاب به خارجی
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Iowa state constitution
دانلود کتاب Handbook of optical design
دانلود کتاب Platinum, Gold, and Other Metal Chemotherapeutic Agents. Chemistry and Biochemistry
دانلود کتاب Memorie da una casa di morti e Memorie dal sottosuolo. Testo russo a fronte
