دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: جبر ویرایش: نویسندگان: Andrea Asperti. Giuseppe Longo سری: Foundations of Computing Series ISBN (شابک) : 9780262011259, 0262011255 ناشر: The MIT Press سال نشر: 1991 تعداد صفحات: 295 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Categories, types, and structures. Introduction to category theory for computer scientists به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ردهها، انواع و ساختارها. مقدمه ای بر نظریه مجموعه دانشمندان کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
نظریه مقوله یک موضوع ریاضی است که اهمیت آن در چندین حوزه علوم کامپیوتر، به ویژه معناشناسی زبانهای برنامهنویسی و طراحی برنامهها با استفاده از انواع دادههای انتزاعی، به طور گسترده تایید شده است. این کتاب تئوری دسته بندی را در سطحی مناسب برای دانشمندان کامپیوتر معرفی می کند و مثال های کاربردی در زمینه طراحی زبان برنامه نویسی ارائه می دهد.
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.