دانلود کتاب Lectures on constructive functional programming
کتاب سخنرانی در مورد برنامه نویسی عملکردی سازنده نسخه زبان اصلی
دانلود کتاب سخنرانی در مورد برنامه نویسی عملکردی سازنده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Lectures on constructive functional programming
نام کتاب : Lectures on constructive functional programming
عنوان ترجمه شده به فارسی : سخنرانی در مورد برنامه نویسی عملکردی سازنده
سری : Technical monograph (Oxford University Computing Laboratory. Programming Research Group) PRG-69.
نویسندگان : Bird, Richard
ناشر : Oxford University Computing Laboratory, Programming Research Group
سال نشر : 1988
تعداد صفحات : 70
ISBN (شابک) : 9780902928510 , 0902928511
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
موضوع این سخنرانی ها محاسبه توابع برای استخراج برنامه ها از مشخصات آنها است. این حساب شامل طیف وسیعی از مفاهیم و نمادها برای تعریف توابع بر روی انواع داده های مختلف است (شامل لیست ها، درختان و آرایه ها)، همراه با ویژگی های جبری و دیگر آنها. هر سخنرانی با یک مسئله خاص شروع می شود و تئوری لازم برای حل آن توسط شما ایجاد می شود. به این ترتیب ما امیدواریم نشان دهیم که یک رویکرد کاربردی به مسئله محاسبه سیستماتیک برنامه ها از روی مشخصات آنها می تواند در کنار سایر روش ها جای خود را بگیرد.
توضیحاتی در مورد کتاب به زبان اصلی :
The subject of these lectures is a calculus of functions for deriving programs from their specifications. This calculus consists of a range of concepts and notations for defining functions over various data types (including lists, trees and arrays), together with their algebraic and other properties. Each lecture begins with a specific problem, and the theory necessary to solve it is theu developed. In this way we hope to show that a functional approach to the problem of systematically calculating programs from their specifications can take its place alongside other methodologies.
پست ها تصادفی