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

چکیده ندارد.

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

آنالیز رگرسیون بطور گسترده ای برای مطالعه رابطه بین یک متغیر پاسخ و برداری از متغیرهای وروردی (عوامل x =) x x () بکار میرود. فرض میشود رابطه بصورت y = f) x (0 + باشد که در آن f برداری از توابع معلوم، 0 برداری از پارامترهای نامعلوم و خطای تصادفی است . برای برآورد 0، تعداد n مشاهده y y را بازای نقاط x x اختیار کرده و با استفاده از روش کمترین مربعات 0 را برآورد میکنیم . مسئله طرح ریزی بهینه چگونگی...

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

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

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