دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: جبر ویرایش: 2 Sub نویسندگان: Michael Barr. Charles Wells سری: Prentice-Hall International Series in Computer Science ISBN (شابک) : 9780133238099, 0133238091 ناشر: Prentice Hall سال نشر: 1996 تعداد صفحات: 107 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 533 کیلوبایت
در صورت تبدیل فایل کتاب A supplement for Category theory for computing science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مکمل تئوری رده برای محاسبات علمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مفاهیم اساسی نظریه مقوله در این متن توضیح داده شده است که به خواننده امکان می دهد درک خود را به تدریج توسعه دهد. با بیش از 300 تمرین، دانش آموزان تشویق می شوند تا پیشرفت خود را نظارت کنند. پوشش گسترده ای از موضوعات در نظریه مقوله ها و علوم کامپیوتر شامل درمان های مقدماتی مقوله های بسته دکارتی، طرح ها و نظریه مدل های طبقه بندی ابتدایی و سه گانه توسعه یافته است. این ارائه غیررسمی است و تنها زمانی که شواهد آموزنده باشد، ارائه می شود و پوشش وسیعی از متون رقیب در نظریه مقوله در علوم کامپیوتر ارائه می دهد.
The fundamental concepts of category theory are explained in this text which allows the reader to develop their understanding gradually. With over 300 exercises, students are encouraged to monitor their progression. A wide coverage of topics in category theory and computer science is developed including introductory treatments of cartesian closed categories, sketches and elementary categorical model theory, and triples. The presentation is informal with proofs included only when they are instructive, providing a broad coverage of the competing texts on category theory in computer science.