دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 سخنرانی های تجدید نظر شده
مشخصات کتاب
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
دسته بندی: ریاضیات ویرایش: 1 نویسندگان: Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.) سری: Lecture Notes in Computer Science 2297 ISBN (شابک) : 3540436138, 9783540436133 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 400 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب روشهای جبری و زغال سنگ در ریاضیات ساخت برنامه: مدرسه تابستانی بین المللی و کارگاه آکسفورد، انگلستان، آوریل 10-14، 2000 سخنرانی های تجدید نظر شده: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای جبری و زغال سنگ در ریاضیات ساخت برنامه: مدرسه تابستانی بین المللی و کارگاه آکسفورد، انگلستان، آوریل 10-14، 2000 سخنرانی های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای جبری و زغال سنگ در ریاضیات ساخت برنامه: مدرسه تابستانی بین المللی و کارگاه آکسفورد، انگلستان، آوریل 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.
فهرست مطالب
Introduction....Pages 1-19
Ordered Sets and Complete Lattices....Pages 21-78
Algebras and Coalgebras....Pages 79-88
Galois Connections and Fixed Point Calculus....Pages 89-150
Calculating Functional Programs....Pages 151-203
Algebra of Program Termination....Pages 204-236
Exercises in Coalgebraic Specification....Pages 237-281
Algebraic Methods for Optimization Problems....Pages 282-309
Temporal Algebra....Pages 310-386
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Linear Integral Equations
دانلود کتاب Minilessons for Math Practice, Grades 3-5
دانلود کتاب Differential Geometric Methods in Mathematical Physics: Proceedings of an International Conference Held at the Technical University of Clausthal, FRG, August 30–September 2, 1983
دانلود کتاب MTEL Communication and Literacy Skills 01 Teacher Certification, 2nd Edition (XAM MTEL)
دانلود کتاب Transform methods in applied mathematics: An introduction
دانلود کتاب Metric spaces
دانلود کتاب 2D Coordinate Geometry Course in Mathematics for the IIT-JEE and other Engineering Entrance Exams
دانلود کتاب Inspired by S S Chern: A Memorial Volume in Honor of a Great Mathematician (Nankai Tracts in Mathematics (Paperback)) (Nankai Tracts in Mathematics)
دانلود کتاب Applied partial differential equations. An introduction
