دانلود کتاب Type theory & functional programming (به فارسی: تئوری نوع و برنامه نویسی تابعی) نوشته شده توسط «Simon Thompson»
اطلاعات کتاب تئوری نوع و برنامه نویسی تابعی
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Addison-Wesley
نویسنده: Simon Thompson
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 378
حجم کتاب: 2 مگابایت
کد کتاب: 9780201416671 , 0201416670
توضیحات کتاب تئوری نوع و برنامه نویسی تابعی
این کتاب به بررسی نقش نظریه نوع سازنده مارتین-لوف در برنامه نویسی کامپیوتر می پردازد. تمرکز اصلی کتاب این است که چگونه می توان این نظریه را با موفقیت در عمل به کار برد. بخشهای مقدماتی پیشزمینه لازم در منطق، حساب دیفرانسیل و انتگرال و ریاضیات سازنده را فراهم میکنند و تمرینها و خلاصه فصلها برای تقویت درک گنجانده شدهاند.
دانلود کتاب «تئوری نوع و برنامه نویسی تابعی»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.