دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Decision Problems for Equational Theories of Relation Algebras
دانلود کتاب مسائل تصمیم گیری برای نظریه های معادله جبرهای رابطه
مشخصات کتاب
Decision Problems for Equational Theories of Relation Algebras
ویرایش: نویسندگان: Hajnal Andreka, Steven R. Givant, Istvan Nemeti سری: Memoirs of the American Mathematical Society ISBN (شابک) : 0821805959, 9780821805954 ناشر: American Mathematical Society سال نشر: 1997 تعداد صفحات: 126 [148] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 Mb
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Decision Problems for Equational Theories of Relation Algebras به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مسائل تصمیم گیری برای نظریه های معادله جبرهای رابطه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مسائل تصمیم گیری برای نظریه های معادله جبرهای رابطه
این کار یک مطالعه سیستماتیک از مسائل تصمیم گیری برای نظریه های معادله جبرهای روابط دوتایی (جبرهای رابطه) ارائه می دهد. به عنوان مثال، یک روش به راحتی قابل اجرا اما عمیق، بر اساس قضیه هماهنگی فون نیومن، برای ایجاد نتایج غیرقابل تصمیم گیری توسعه داده شده است. این روش برای حل چندین مشکل برجسته مطرح شده توسط تارسکی استفاده می شود. علاوه بر این، پیچیدگی فواصل تئوری های معادلات جبرهای رابطه با توجه به سوالات تصمیم پذیری بررسی شده است. با استفاده از ایده هایی که به جانسون و لیندون برمی گردد، نویسندگان نشان می دهند که چنین بازه هایی می توانند همان پیچیدگی شبکه زیر مجموعه های مجموعه اعداد طبیعی را داشته باشند. در نهایت، چند مثال جدید و کاملاً جالب از تئوری های معادله قابل تصمیم گیری ارائه شده است.
روش های توسعه یافته در مونوگراف نوید کاربرد گسترده ای را نشان می دهد. آنها زرادخانه جدیدی از تکنیک ها را برای حل سوالات تصمیم گیری در حوزه های مختلف منطق جبری در اختیار محققان جبر و منطق قرار می دهند.
توضیحاتی درمورد کتاب به خارجی
This work presents a systematic study of decision problems for equational theories of algebras of binary relations (relation algebras). For example, an easily applicable but deep method, based on von Neumann's coordinatization theorem, is developed for establishing undecidability results. The method is used to solve several outstanding problems posed by Tarski. In addition, the complexity of intervals of equational theories of relation algebras with respect to questions of decidability is investigated. Using ideas that go back to Jónsson and Lyndon, the authors show that such intervals can have the same complexity as the lattice of subsets of the set of the natural numbers. Finally, some new and quite interesting examples of decidable equational theories are given.
The methods developed in the monograph show promise of broad applicability. They provide researchers in algebra and logic with a new arsenal of techniques for resolving decision questions in various domains of algebraic logic.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Catalunya-Espanya en desconnexió
دانلود کتاب Cyber Denial, Deception and Counter Deception: A Framework for Supporting Active Cyber Defense
دانلود کتاب Іншомовні запозичення як засоби поповнення інноваційного словникового фонду сучасної англійської мови
دانلود کتاب The physical universe
