دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Groups, Languages, Algorithms: Ams-asl Joint Special Session On Interactions Between Logic, Group Theory, And Computer Science, January 16-19, 2003, Baltimore, Maryland
دانلود کتاب گروه ها، زبان ها، الگوریتم ها: جلسه ویژه مشترک آمیزل در تعاملات بین منطق، نظریه گروه، و علوم رایانه، 16-19 ژانویه 2003، بالتیمور، مریلند
مشخصات کتاب
Groups, Languages, Algorithms: Ams-asl Joint Special Session On Interactions Between Logic, Group Theory, And Computer Science, January 16-19, 2003, Baltimore, Maryland
ویرایش:
نویسندگان: Ams-asl Joint Special Session on Interac. Alexandre Borovik (ed.)
سری: Contemporary Mathematics 378
ISBN (شابک) : 0821836188, 2419892232
ناشر: Amer Mathematical Society
سال نشر: 2005
تعداد صفحات: 360
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Groups, Languages, Algorithms: Ams-asl Joint Special Session On Interactions Between Logic, Group Theory, And Computer Science, January 16-19, 2003, Baltimore, Maryland به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب گروه ها، زبان ها، الگوریتم ها: جلسه ویژه مشترک آمیزل در تعاملات بین منطق، نظریه گروه، و علوم رایانه، 16-19 ژانویه 2003، بالتیمور، مریلند نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب گروه ها، زبان ها، الگوریتم ها: جلسه ویژه مشترک آمیزل در تعاملات بین منطق، نظریه گروه، و علوم رایانه، 16-19 ژانویه 2003، بالتیمور، مریلند
از زمان کارهای پیشگام نوویکوف و مالتسف، نظریه گروهی در مظاهر متعدد آن، از نظریه الگوریتم ها تا نظریه مدل، محل آزمایش منطق ریاضی بوده است. تعامل بین منطق و نظریه گروه منجر به نتایج برجسته بسیاری شد که هر دو رشته را غنی کرد. این جلد موضوعات اصلی انجمن ریاضی آمریکا / انجمن برای منطق نمادین جلسه مشترک مشترک (بالتیمور، MD)، تعاملات بین منطق، نظریه گروه و علوم کامپیوتر را منعکس می کند. شامل مقالاتی است که به توسعه تکنیک های مورد استفاده برای تعامل نظریه گروه و منطق اختصاص داده شده است. برای دانشجویان تحصیلات تکمیلی و محققان علاقه مند به نظریه گروه های الگوریتمی و ترکیبی مناسب است. مکمل این اثر جلد 349 در مجموعه \"\"AMS\"\"، \"\"معاصر ریاضیات، تئوری گروه محاسباتی و تجربی\"\" است که از همان جلسه برخاسته است و بر تعامل بین نظریه گروه و علوم کامپیوتر
توضیحاتی درمورد کتاب به خارجی
Since the pioneering works of Novikov and Maltsev, group theory has been a testing ground for mathematical logic in its many manifestations, from the theory of algorithms to model theory. The interaction between logic and group theory led to many prominent results which enriched both disciplines. This volume reflects the major themes of the American Mathematical Society/Association for Symbolic Logic Joint Special Session (Baltimore, MD), Interactions between Logic, Group Theory and Computer Science. Included are papers devoted to the development of techniques used for the interaction of group theory and logic. It is suitable for graduate students and researchers interested in algorithmic and combinatorial group theory. A complement to this work is Volume 349 in the ""AMS"" series, ""Contemporary Mathematics, Computational and Experimental Group Theory"", which arose from the same meeting and concentrates on the interaction of group theory and computer science
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Chemistry - The Molecular Nature of Matter and Change
دانلود کتاب The battle of Versailles : the night American fashion stumbled into the spotlight and made history
دانلود کتاب Marcia Langton: Welcome to Country: A Travel Guide to Indigenous Australia
