دانلود کتاب Categories, types, and structures. Introduction to category theory for computer scientists
دسته: جبر
کتاب دسته ها، انواع و ساختارها. مقدمه ای بر نظریه مقوله برای دانشمندان کامپیوتر نسخه زبان اصلی
دانلود کتاب دسته ها، انواع و ساختارها. مقدمه ای بر نظریه مقوله برای دانشمندان کامپیوتر بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Categories, types, and structures. Introduction to category theory for computer scientists
نام کتاب : Categories, types, and structures. Introduction to category theory for computer scientists
عنوان ترجمه شده به فارسی : دسته ها، انواع و ساختارها. مقدمه ای بر نظریه مقوله برای دانشمندان کامپیوتر
سری : Foundations of Computing Series
نویسندگان : Andrea Asperti, Giuseppe Longo
ناشر : The MIT Press
سال نشر : 1991
تعداد صفحات : 295
ISBN (شابک) : 9780262011259 , 0262011255
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
نظریه مقوله یک موضوع ریاضی است که اهمیت آن در چندین حوزه علوم کامپیوتر، به ویژه معناشناسی زبان‌های برنامه‌نویسی و طراحی برنامه‌ها با استفاده از انواع داده‌های انتزاعی، به طور گسترده تایید شده است. این کتاب تئوری دسته بندی را در سطحی مناسب برای دانشمندان کامپیوتر معرفی می کند و مثال های کاربردی در زمینه طراحی زبان برنامه نویسی ارائه می دهد.
توضیحاتی در مورد کتاب به زبان اصلی :
Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programs using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.
پست ها تصادفی