دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Lectures on constructive functional programming
دانلود کتاب سخنرانی در مورد برنامه نویسی کاربردی سازنده
مشخصات کتاب
Lectures on constructive functional programming
ویرایش:
نویسندگان: Bird. Richard
سری: Technical monograph (Oxford University Computing Laboratory. Programming Research Group) PRG-69.
ISBN (شابک) : 9780902928510, 0902928511
ناشر: Oxford University Computing Laboratory, Programming Research Group
سال نشر: 1988
تعداد صفحات: 70
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Lectures on constructive functional programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخنرانی در مورد برنامه نویسی کاربردی سازنده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخنرانی در مورد برنامه نویسی کاربردی سازنده
موضوع این سخنرانی ها محاسبه توابع برای استخراج برنامه ها از مشخصات آنها است. این حساب شامل طیف وسیعی از مفاهیم و نمادها برای تعریف توابع بر روی انواع داده های مختلف است (شامل لیست ها، درختان و آرایه ها)، همراه با ویژگی های جبری و دیگر آنها. هر سخنرانی با یک مسئله خاص شروع می شود و تئوری لازم برای حل آن توسط شما ایجاد می شود. به این ترتیب ما امیدواریم نشان دهیم که یک رویکرد کاربردی به مسئله محاسبه سیستماتیک برنامه ها از روی مشخصات آنها می تواند در کنار سایر روش ها جای خود را بگیرد.
توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Social Science of the Syringe: A Sociology of Injecting Drug Use
دانلود کتاب A Companion to Women in the Ancient World
دانلود کتاب Artificial Organs: Proceedings of a seminar on the clinical applications of membrane oxygenators and sorbent-based systems in kidney and liver failure and drug overdose, held at the University of Strathclyde, Glasgow, in August, 1976
دانلود کتاب Guide Des Méthodes De Travail
