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

در این پایان نامه الگوریتم هایی برای محاسبه سری هیلبرت؛ بعد و چندگانگی ایده آل های تک جمله ای را مطالعه می کنیم. این پایان نامه در راستای کارهای بایر و استیلمن ‎(????)‎، بیگاتی ‎(????)‎ ، بیگاتی، کابوارا،روبیانو‎(????)‎ و کروزر و روبیانو‎(????)‎ است‎.‎ هدف این پایانامه بررسی الگوریتم های مختلف برای محاسبه سری هیلبرت و چند گانگی ایده آل های تک جمله ای در حلقه چند جمله ایهااست. نشان داده می شود...

چکیده فرض کنید i ایده آلی از حلقه ی چندجمله ای r=[x_1,…,x_n]باشد. دو جبر وابسته ی مهم به ایده آل iجبر متقارن و جبر ریس می باشند . در این پایان نامه جبر ریس ایده آل های تک جمله ای خالی از مربع را مطالعه می کنیم. نشان می دهیم که ایده آل تعریف جبر ریس، ایده آل های یالی از نوع فیبره است برای ایده آل تک جمله ای دلخواه از درجه ی بزر گتر از?، یک گراف مولد نسبت می دهیم به این صورت که رأس های این گر...

در این پایان نامه نامساویهایی برای چندجمله ایهای خودمعکوس بدست می آوریم و ماکزیمم قدر مطلق این رده از چندجمله ای ها را بر روی دایره واحد تخمین میزنیم و همچنین موقعیت ریشه های آنها را اطراف دایره واحد بررسی میکنیم.

برای استدلال در مورد فرایندهای ناشی از عملکرد چندین مرکز منطق های مختلفی ایجاد شده استکه به صورت بندی گزاره ها در زبان های تخصص یافته و بررسی مدل های متناظر و صدق کذب احکام در این مدل ها می پردازد. همچنین نرم افزارهایی برای بررسی این موارد ایجاد شده است. منطق زمانی atl برای بیان گزاره هایی در مورد آن چه ائتلافی از بازیکن ها در یک همکاری استراتژیک می توانند بدان نایل شوند ارایه شده است. دراین پ...

چکیده ندارد.

امروزه تمایز میان جهات جمله ای ( de dicto ) وجهات شیئی ( de re ) از مباحث بسیار مهمی است که هم  در حوزه منطق موجهات و هم در قلمرو متافیزیک تحلیلی، جایگاه ویژه ای یافته است . برای مثال، پذیرش ضرورت شیئی یکی از مبانی اساسی پذیرش ذات گرائی(essentialism)  است.  در این مقاله پس از اشاره ای کوتاه به سابقه این تمایز در فلسفه غرب و اسلامی به تفاوت نحوی و معنائی این دوگونه جهت پرداخته می شود.  در ادامه ...

در این پایان نامه بعد از معرفی مغاهیم الگوریتمی چون پیچیدگی و مرتبه ,به تعریف مباحثی چون تابع هیلبرت وسری هیلبرت-پوانکاره پرداخته می شود.سپس سه الگوریتم جهت محاسبه صورت کسر اسن سری معرفی و مقایسه میشوند.

در این پایان نامه به بررسی اید ه آل های تک جمله ای خالی از مربعی می پردازیم که تابع عمق ثابت دارند. اید ه آل های یالی، اید ه آل های ماتریس وار و اید ه آل های رویه ای یک جنگل سادکی همبند از هم بعد یک، در این رده از اید ه آل ها قرار می گیرند.