دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Computation, Hierarchies
دانلود کتاب منطق، محاسبات، سلسله مراتب
مشخصات کتاب
Logic, Computation, Hierarchies
ویرایش: نویسندگان: Vasco Brattka, Hannes Diener, Dieter Spreen سری: Ontos Mathematical Logic ISBN (شابک) : 1614517835, 9781614517832 ناشر: De Gruyter سال نشر: 2014 تعداد صفحات: 426 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب منطق، محاسبات، سلسله مراتب: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، نظریه مجموعه ها، ریاضیات محض، ریاضیات، علوم و ریاضیات، معرفت شناسی، فلسفه، سیاست و علوم اجتماعی، منطق و زبان، فلسفه، سیاست و علوم اجتماعی، معرفت شناسی، فلسفه، نیو , کتابهای درسی مستعمل و اجاره ای, بوتیک تخصصی, منطق, فلسفه, علوم انسانی, کتابهای درسی جدید, مستعمل و اجاره ای, بوتیک تخصصی, ریاضیات, جبر و مثلثات, حساب دیفرانسیل و انتگرال, هندسه, آمار, علوم و متون کاربردی, علوم و ریاضیات جدید
در صورت تبدیل فایل کتاب Logic, Computation, Hierarchies به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، محاسبات، سلسله مراتب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق، محاسبات، سلسله مراتب
که به افتخار ویکتور ال. سلیوانوف منتشر شده است، 17 مقاله گردآوری شده در این جلد، آخرین پیشرفت ها در تئوری محاسباتی و کاربردهای آن در تحلیل محاسباتی را ارائه می دهد. تئوری و توپولوژی مجموعه های توصیفی؛ و نظریه امگا زبانها. و همچنین منطق های غیر کلاسیک، مانند منطق زمانی و منطق پاراسازگار. این جلد مورد علاقه ریاضیدانان و منطق دانان و همچنین دانشمندان نظری کامپیوتر خواهد بود.
توضیحاتی درمورد کتاب به خارجی
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
