دانلود کتاب Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures (به فارسی: روش‌های جبری و کوالجبری در ریاضیات ساخت برنامه: مدرسه و کارگاه تابستانی بین‌المللی آکسفورد، بریتانیا، 10-14 آوریل، 2000 سخنرانی‌های اصلاح‌شده) نوشته شده توسط «Roy Crole (auth.) – Roland Backhouse – Roy Crole – Jeremy Gibbons (eds.)»
اطلاعات کتاب روش‌های جبری و کوالجبری در ریاضیات ساخت برنامه: مدرسه و کارگاه تابستانی بین‌المللی آکسفورد، بریتانیا، 10-14 آوریل، 2000 سخنرانی‌های اصلاح‌شده
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Roy Crole (auth.) – Roland Backhouse – Roy Crole – Jeremy Gibbons (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 390
حجم کتاب: 3 مگابایت
کد کتاب: 3540436138 , 9783540436133
نوبت چاپ: 1
توضیحات کتاب روش‌های جبری و کوالجبری در ریاضیات ساخت برنامه: مدرسه و کارگاه تابستانی بین‌المللی آکسفورد، بریتانیا، 10-14 آوریل، 2000 سخنرانی‌های اصلاح‌شده
ساخت برنامه در مورد تبدیل مشخصات نرم افزار کامپیوتر به پیاده سازی است. تحقیقات اخیر با هدف بهبود فرآیند ساخت برنامه از بینش‌های ابزارهای جبری انتزاعی مانند نظریه شبکه، حساب نقطه ثابت، جبر جهانی، نظریه دسته‌بندی و نظریه تمثیل بهره می‌برد.
این آموزش مانند کتاب درسی، علاوه بر مقدمه، هشت مورد را به طور منسجم ارائه می‌کند. فصول نوشته شده توسط مقامات برجسته در مورد مجموعه های مرتب شده و شبکه های کامل، جبرها و جبرهای ذغالی، اتصالات گالوا و حساب نقطه ثابت، محاسبه برنامه های تابعی، جبر خاتمه برنامه، تمرینات در مشخصات جبری، روش های جبری برای مسائل بهینه سازی، و جبر زمانی.
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.
This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.