نتایج جستجو برای: مدول max
تعداد نتایج: 51836 فیلتر نتایج به سال:
We prove that the sharply bounded arithmetic T 0 2 in a language containing the function symbol ⌊ x 2y ⌋ (often denoted by MSP) is equivalent to PV1.
مفهوم یک مدول بالارنده ریشه در نظریه حلقه های کامل (نیمه کامل) و مدول های با پوشش تصویری دارد. در این پایان نامه به بررسی مدول های بالارنده و توسعه ای و بیان خواصی از آنها در قالب قضایایی خواهیم پرداخت. مدول های بالارنده در واقع تعمیمی از مدول های مکمل پذیر و دوگان مدول های توسعه ای هستند و نیز مدول های توسعه ای خود، تعمیمی از مدول های تزریقی می باشند و همچنین به مطالعه و بررسی تجزیه مدول های ب...
فصل اول را به یادآوری برخی تعاریف و قضیه های مورد استفاده در فصل های دیگر اختصاص داده ایم.در فصل دوم، ابتدا مفهوم مدول های خودتوان، به طورکامل خودتوان و نیم اول طبیعی را تعریف و مدول های به طورکامل خودتوان را توصیف می کنیم. در ادامه بعد از معرفی مدول های پوچ توان، زیرمدول اول، مدول هم ضربی و مدول هم نیم ساده، ارتباط مدول های به طورکامل خودتوان را با این مدول ها بیان می کنیم. سپس با معرفی زی...
We define a number of original encodings that map MaxCSP instances into partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into SAT. Then, we report on an experimental investigation that was conducted to compare the performance profile of our encodings on random binary Max-CSP instances. Moreover, we define a new variant of the support encoding...
فرض کنید $r$ حلقه ی تعویض پذیر, یکدار و $m$ یک $r$-مدول یکانی است. مدول $m$ را مدول ضربی می نامند, هرگاه برای هر زیرمدول $n$ از مدول $m$ ایده آل $i$ از حلقه ی $r$ وجود داشته باشد به طوری که $mi=n$. در این پایان نامه برای $r$-مدول ضربی $m$ حلقه ی $m^{ast}$ شامل درون ریختی های $m$ بررسی می شود. رابطه بین زیرمدول های اول(ماکسیمال) از مدول $m$ ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید