حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

عضو a در حلقه r خوش ترکیب نامیده می شود هر گاه به صورت مجموع یک عضو خودتوان و یک عضو یکه در r نوشته شود. در این نگارش به شرایطی که فضای توپولوژی x باید داشته باشد تا حلفه توابع پیوسته (c(x خوش ترکیب شود پرداخته می شود. همچنین ثابت می شود (c(x خوش ترکیب است اگر و تنها اگر (c(x قویاٌ صفربعدی باشد، اگر و تنها اگر (c(x شامل یک ایدآل اول خوش ترکیب باشد. همچنین ثابت می شود اگر e عضوی خودتوان در حلفه r...

در این پایان نامه با معرفی سیستم فارکاش-مینکوفسکی، سیستم موضعا فارکاش- مینکوفسکی شرط تعمیم شرط اسلیتر، شرایط بهینگی را برای مسایل برنامه ریزی نیم-نامتناهی بررسی می کنیم. مسیله برنامه ریزی نیم-نامتناهی یک مسیله بهینه سازی با تعداد متناهی متغیر و تعداد نامتناهی قید است. این کاربردهایی در زمینه های متفاوت از ریاضیات اقتصاد و مهندسی دارد.

اگر г یک گراف کیلی همبند موضعا اولیه روی یک گروه آبلی متناهی باشد آنگاه : г= kn, kn,n, kn,n-nk2,kn×....× kn 2) г یک پوشش نرمال دوتایی استاندارد از kn× …× kn است. 3) г یک گراف کیلی نرمال یا دو نرمال روی یک 2-گروه آبلی مقدماتی یا 2-گروه فرا آبلی می باشد.

ما در این مجموعه نشان خواهیم داد اگر l یک نیم مشبکه باشد آنگاه l^1(l) که با ضرب پیچشی یک جبر باناخ است ، دفیفا زمانی یکدست می شود که l بطور یکنواخت موضعا متناهی باشد آنگاه به عنوان یک جبر باناخ ، با فضای باناخ l^1(l) که به ضرب نقطه وار مجهز شده، یکریخت است و در نهایت نشان خواهیم داد که این تکنیک جطور می تواند به اثبات یکدستی جبر های نیم گروه کلیفورد توسیع پیدا بکند.

در این مقاله، در ابتدا، یک ساختار نواری یک بلور فونونی دو- بعدی با شبکۀ مربعی مشتمل ‌بر استوانه‌­های پلی­‌متیل متاکریلیت در ماده زمینۀ هوا در نظر گرفته شد. با احتساب گاف نواری این ساختار، شبیه­‌سازی موج‌بر صدا انجام شد. نتیجۀ مورد انتظار نیز مشاهده گردید، سپس، یک ساختار دیگر با شبکۀ شش‌گوشه مشتمل ‌بر استوانه­‌های آلومینیومی در مادۀ زمینه تنگستن مورد بررسی قرار گرفت. و با استفاده از روش محاسباتی...

mv-جبرهای مغلوب بولی تعمیم واضحی از mv-جبرهای ابرارشمیدسی است. در این پایان نامه با شناخت و معرفی mv-جبرهای خاص مانند mv-جبرهای موضعا متناهی، موضعی، کامل و ابرارشمیدسی گامی در جهت شناخت mv-جبرهای مغلوب بولی برداشته است و رابطه آنها را با mv-جبرهای مغلوب بولی در قضایایی بیان کرده است. نتایج مهم این پایاننامه درباره mv-جبرهای مغلوب بولی است.

مقالات متعددی وجود دارند که محتوی آنها بیانگر ارتباط قوی بین ساختار یک گروه متناهی مانند g با مجموعه ی طولهای کلاسهای تزویج g است. در این پایان نامه که بر اساس مرجع [2] تنظیم خواهد شد ساختار گروههای متناهی از رتبه ی تزویج 2 مورد مطالعه و بررسی قرار می گیرد.

گروه g را یک گروه موضعا دوری نامیم. اگر برای هر x و y در g ، زیر گروه < y و x> از g ، دوری باشد، در غیر اینصورت آن را غیر موضعا دوری نامیم. فرض کنیم g یک گروه غیر موضعا دوری باشد و { برای هر y?g ، < y و x> دوری است? x?g} = (g)yc c.گراف غیر دوری g که با g cنشان داده می شود. دارای رئوس (g)c yc gاست و دو رأس آن به هم وصل می شوند اگر یک زیر گروه دوری تولید نکنند. برای گراف ساده ?، (?) ? که عدد خوشه...