کتاب الکترونیکی

تئوری نوع و برنامه نویسی تابعی

Type theory & functional programming

دانلود کتاب Type theory & functional programming (به فارسی: تئوری نوع و برنامه نویسی تابعی) نوشته شده توسط «Simon Thompson»

اطلاعات کتاب تئوری نوع و برنامه نویسی تابعی

موضوع اصلی: برنامه نويسي

نوع: کتاب الکترونیکی

ناشر: Addison-Wesley

نویسنده: Simon Thompson

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1991

تعداد صفحه: 378

حجم کتاب: 2 مگابایت

کد کتاب: 9780201416671 , 0201416670

توضیحات کتاب تئوری نوع و برنامه نویسی تابعی

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

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.

دانلود کتاب «تئوری نوع و برنامه نویسی تابعی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان