دانلود کتاب Categorical Methods in Computer Science With Aspects from Topology (به فارسی: روش‌های طبقه‌بندی در علوم کامپیوتر با جنبه‌هایی از توپولوژی) نوشته شده توسط «Hartmut Ehrig (auth.) – H. Ehrig – H. Herrlich – H. -J. Kreowski – G. Preuß (eds.)»
اطلاعات کتاب روش‌های طبقه‌بندی در علوم کامپیوتر با جنبه‌هایی از توپولوژی
موضوع اصلی: هندسه و توپولوژی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Hartmut Ehrig (auth.) – H. Ehrig – H. Herrlich – H. -J. Kreowski – G. Preuß (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 354
حجم کتاب: 4 مگابایت
کد کتاب: 3540517227 , 9783540517221
نوبت چاپ: 1
توضیحات کتاب روش‌های طبقه‌بندی در علوم کامپیوتر با جنبه‌هایی از توپولوژی
این جلد شامل مقالات منتخب کارگاه بین المللی “روش های طبقه بندی شده در علوم کامپیوتر – با جنبه هایی از توپولوژی” و “ششمین کارگاه بین المللی نوع داده” است که در اوت/سپتامبر 1988 در برلین برگزار شد. 23 مقاله این جلد در سه بخش دسته بندی شده است: قسمت 1 شامل مقالاتی در زمینه مبانی طبقه بندی و مفاهیم بنیادی از نظریه مقوله در علوم کامپیوتر است. قسمت 2 کاربردهای روش های طبقه بندی را برای زبان ها و تکنیک های مشخصات جبری، انواع داده ها، پایگاه های داده، برنامه نویسی و مشخصات فرآیند ارائه می دهد. قسمت 3 شامل مقالاتی در مورد جنبه‌های طبقه‌بندی توپولوژی است که عمدتاً بر موقعیت‌های الحاقی خاص مانند نزدیکی دکارتی، اتصالات گالوا، بازتاب‌ها و انعکاس‌ها متمرکز است که در توپولوژی طبقه‌بندی و علوم کامپیوتر مورد توجه فزاینده‌ای هستند.
This volume contains selected papers of the International Workshop on “Categorical Methods in Computer Science – with Aspects from Topology” and of the “6th International Data Type Workshop” held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
دانلود کتاب «روش‌های طبقه‌بندی در علوم کامپیوتر با جنبه‌هایی از توپولوژی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.